Showing 161 - 180 results of 635 for search '"Logic design."', query time: 0.05s Refine Results
  1. 161
    CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings /
    by Caires, Luís
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 162
    Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
    by Suzuki, Kenji
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 163
    Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
    by Najm, Elie
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 164
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    by Puebla, Germán
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 165
    Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
    by Derrick, John
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 166
    Logics of Specification Languages
    by Bjørner, Dines
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 167
    Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
    by Wang, Farn
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  8. 168
    Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    by Romijn, Judi M. T.
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 169
    Practical Aspects of Declarative Languages (vol. # 3819) 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
    by Van Hentenryck, Pascal
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 170
    Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
    by Urzyczyn, Paweł
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 171
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  12. 172
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  13. 173
    Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  14. 174
    Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  15. 175
    Verification of Business Rules Programs
    by Berstel-Da Silva, Bruno
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  16. 176
    Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  17. 177
    Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  18. 178
    Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
    by Dignum, Frank
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 179
    Parameterized Complexity Theory
    by Flum, Jörg
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 180
    Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
Search Tools: Get RSS Feed