Showing 981 - 1,000 results of 1,266 for search '"Logic."', query time: 0.04s Refine Results
  1. 981
    Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  2. 982
    Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings
    by Liskiewicz, Maciej
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  3. 983
    Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
    by Gorrieri, Roberto
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 984
    Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 985
    Transactions on Rough Sets IX
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  6. 986
    Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  7. 987
    Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /
    by Bernardo, Marco
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  8. 988
    Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
    by Reussner, Ralf H.
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 989
    SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27–29, 2001 Proceedings /
    by Reed, Rick
    Published 2006
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 990
    Hybrid Systems: Computation and Control (vol. # 3927) 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
    by Hespanha, Joao
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 991
    Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings
    by Abrahamsson, Pekka
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 992
    Distributed Applications and Interoperable Systems (vol. # 4025) 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006
    by Eliassen, Frank
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  13. 993
    Modeling and Retrieval of Context Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  14. 994
    Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    by Bonsangue, Marcello M.
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  15. 995
    Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings /
    by Kokinov, Boicho
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  16. 996
    Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
    by Indulska, Jadwiga
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 997
    Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    by Steffen, Martin
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 998
    Transactions on Rough Sets III
    by Peters, James F.
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  19. 999
    Hybrid Systems: Computation and Control (vol. # 3414) 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
    by Morari, Manfred
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 1000
    Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
Search Tools: Get RSS Feed