Search Results
Results 301 - 310 of 922
(page 31 of 93)
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540482826 |
| Phys. Desc.: | XIII, 588 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540316503 |
| Phys. Desc.: | XIV, 744 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642214554 |
| Phys. Desc.: | VIII, 527p. online resource. |
| Electronic resource | Texto completo |
Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540320722 |
| Phys. Desc.: | XIV, 614 p. Also available online. online resource. |
| Electronic resource | Texto completo |
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642298257 |
| Phys. Desc.: | IX, 106 p. 98 illus. online resource. |
| Electronic resource | Texto completo |
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642399985 |
| Phys. Desc.: | X, 293 p. 58 illus. online resource. |
| Electronic resource | Texto completo |
Complexity Theory Exploring the Limits of Efficient Algorithms
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540274773 |
| Phys. Desc.: | XII, 308 p. 31 illus. online resource. |
| Electronic resource | Texto completo |
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642157691 |
| Phys. Desc.: | XI, 473p. 131 illus. online resource. |
| Electronic resource | Texto completo |
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642237027 |
| Phys. Desc.: | XII, 387 p. online resource. |
| Electronic resource | Texto completo |
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642221194 |
| Phys. Desc.: | VIII, 279p. online resource. |
| Electronic resource | Texto completo |
