Search Results
Results 321 - 330 of 922
(page 33 of 93)
Decision Procedures An Algorithmic Point of View
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540741053 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540880592 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Transactions on Petri Nets and Other Models of Concurrency III
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642048562 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642327599 |
| Phys. Desc.: | XVI, 488 p. 142 illus. online resource. |
| Electronic resource | Texto completo |
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642359927 |
| Phys. Desc.: | XII, 449 p. 112 illus. online resource. |
| Electronic resource | Texto completo |
Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642180231 |
| Phys. Desc.: | X, 499 p. online resource. |
| Electronic resource | Texto completo |
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642141867 |
| Phys. Desc.: | XIII, 400p. 74 illus. online resource. |
| Electronic resource | Texto completo |
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642328978 |
| Phys. Desc.: | Approx. 230 p. 50 illus. online resource. |
| Electronic resource | Texto completo |
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642119996 |
| Phys. Desc.: | IX, 179p. 35 illus. online resource. |
| Electronic resource | Texto completo |
Using Event-B for Critical Device Software Systems
E-book
E-book
| Publisher: | London : Springer London : 2013. |
| ISBN: | 9781447152606 |
| Phys. Desc.: | XVIII, 326 p. 45 illus. online resource. |
| Electronic resource | Texto completo |
