Search Results
Results 1 - 10 of 20
(page 1 of 2)
Personal Author
Topic Subject
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
E-book
E-book
| Publisher: | Milano : Springer Milan, 2008. |
| ISBN: | 9788847007840 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Mathematics of Discrete Structures for Computer Science
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642298400 |
| Phys. Desc.: | XVI, 293 p. 15 illus. online resource. |
| Electronic resource | Texto completo |
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642017483 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783540926870 |
| Phys. Desc.: | XI, 469 p. online resource. |
| Electronic resource | Texto completo |
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
E-book
E-book
| Publisher: | Cham : Springer International Publishing : 2013. |
| ISBN: | 9783319009667 |
| Phys. Desc.: | VII, 113 p. 35 illus. online resource. |
| Electronic resource | Texto completo |
Apartness and Uniformity A Constructive Development
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642224157 |
| Phys. Desc.: | XIV, 198p. 3 illus. digital. |
| Electronic resource | Texto Completo |
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642357220 |
| Phys. Desc.: | X, 415 p. 49 illus. online resource. |
| Electronic resource | Texto completo |
The Complexity of Valued Constraint Satisfaction Problems
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642339745 |
| Phys. Desc.: | XVII, 170 p. 23 illus. online resource. |
| Electronic resource | Texto completo |
Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642006593 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642376351 |
| Phys. Desc.: | X, 283 p. 71 illus. online resource. |
| Electronic resource | Texto completo |
Personal Author
Topic Subject
