Search Results
Results 521 - 530 of 922
(page 53 of 93)
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642309823 |
| Phys. Desc.: | VII, 439 p. 158 illus. online resource. |
| Electronic resource | Texto completo |
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642381645 |
| Phys. Desc.: | XX, 363 p. 26 illus. online resource. |
| Electronic resource | Texto completo |
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642115127 |
| Phys. Desc.: | 377p. 94 illus. online resource. |
| Electronic resource | Texto completo |
Advanced Language Technologies for Digital Libraries International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642231605 |
| Phys. Desc.: | XI, 171p. online resource. |
| Electronic resource | Texto completo |
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642215810 |
| Phys. Desc.: | XIII, 371p. online resource. |
| Electronic resource | Texto completo |
Fundamentals of Algebraic Graph Transformation
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540311881 |
| Phys. Desc.: | XIII, 388 p. 41 illus. online resource. |
| Electronic resource | Texto completo |
Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642229534 |
| Phys. Desc.: | XIII, 373 p. online resource. |
| Electronic resource | Texto completo |
Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642034091 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Transactions on Rough Sets XVI
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642365058 |
| Phys. Desc.: | X, 221 p. 77 illus. online resource. |
| Electronic resource | Texto completo |
Specification and Verification of Multi-agent Systems
E-book
E-book
| Publisher: | Boston, MA : Springer US, 2010. |
| ISBN: | 9781441969842 |
| Phys. Desc.: | XVII, 405p. 100 illus. online resource. |
| Electronic resource | Texto completo |
