Search Results
Results 581 - 590 of 922
(page 59 of 93)
Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642250118 |
| Phys. Desc.: | XI, 387 p. online resource. |
| Electronic resource | Texto completo |
Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642237867 |
| Phys. Desc.: | XXIV, 836p. 170 illus. online resource. |
| Electronic resource | Texto completo |
Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642153969 |
| Phys. Desc.: | XX, 650p. 145 illus. online resource. |
| Electronic resource | Texto completo |
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642415784 |
| Phys. Desc.: | XII, 179 p. 30 illus. online resource. |
| Electronic resource | Texto completo |
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642024245 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Computable Models
E-book
E-book
| Publisher: | London : Springer London, 2009. |
| ISBN: | 9781848820524 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642294495 |
| Phys. Desc.: | VII, 209 p. 77 illus. online resource. |
| Electronic resource | Texto completo |
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540329237 |
| Phys. Desc.: | IX, 181 p. 72 illus. online resource. |
| Electronic resource | Texto completo |
Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540887331 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
E-book
E-book
| Publisher: | Cham : Springer International Publishing : 2013. |
| ISBN: | 9783319030777 |
| Phys. Desc.: | XX, 366 p. 147 illus. online resource. |
| Electronic resource | Texto completo |
