Search Results
Results 101 - 110 of 922
(page 11 of 93)
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 |
Abstraction, Refinement and Proof for Probabilistic Systems
E-book
E-book
| Publisher: | New York, NY : Springer New York, 2005. |
| ISBN: | 9780387270067 |
| Phys. Desc.: | XIX, 383 p. 63 illus. online resource. |
| Electronic resource | Texto completo |
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540747826 |
| Phys. Desc.: | XVII, 859 p. online resource. |
| Electronic resource | Texto completo |
Current Topics in Artificial Intelligence 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540752714 |
| Phys. Desc.: | XI, 282 p. online resource. |
| Electronic resource | Texto completo |
Current Topics in Artificial Intelligence 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540459156 |
| Phys. Desc.: | XV, 482 p. Also available online. online resource. |
| Electronic resource | Texto completo |
AI*IA 2005: Advances in Artificial Intelligence 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540317333 |
| Phys. Desc.: | XIV, 614 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540305002 |
| Phys. Desc.: | XII, 336 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Handbook of Weighted Automata
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642014925 |
| Phys. Desc.: | XVII, 608 p. online resource. |
| Electronic resource | Texto completo |
Computation Engineering Applied Automata Theory and Logic
E-book
E-book
| Publisher: | Boston, MA : Springer US, 2006. |
| ISBN: | 9780387325200 |
| Phys. Desc.: | XXXV, 471 p. online resource. |
| Electronic resource | Texto completo |
Computation, Cooperation, and Life Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642200007 |
| Phys. Desc.: | XII, 217p. online resource. |
| Electronic resource | Texto completo |
