Showing 121 - 140 results of 635 for search '"Logic design."', query time: 0.06s Refine Results
  1. 121
    Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  2. 122
    Rapid Integration of Software Engineering Techniques (vol. # 3943) Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
    by Guelfi, Nicolas
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 123
    Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 124
    Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
    by Hudak, Paul
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 125
    Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
    by Virbitskaite, Irina
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 126
    Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /
    by Guelfi, Nicolas
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 127
    Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
    by Hanus, Michael
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  8. 128
    Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition /
    by Liblit, Ben
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 129
    Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers /
    by Meuter, Wolfgang
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 130
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    by Artemov, Sergei N.
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 131
    Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
    by Davies, Jim
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 132
    Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
    by Rocca, Simona Ronchi
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  13. 133
    Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /
    by Miguel, Ian
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  14. 134
    Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings
    by Saitta, Lorenza
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  15. 135
    Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
    by Sakaibara, Yasibumi
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  16. 136
    Integrated Formal Methods Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings /
    by Butler, Michael
    Published 2006
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 137
    Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  18. 138
    Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  19. 139
    Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  20. 140
    Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
Search Tools: Get RSS Feed