Search Results
Results 571 - 580 of 922
(page 58 of 93)
Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642306426 |
| Phys. Desc.: | XXIII, 327 p. 25 illus. online resource. |
| Electronic resource | Texto completo |
Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642207129 |
| Phys. Desc.: | XI, 471 p. online resource. |
| Electronic resource | Texto completo |
Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642131820 |
| Phys. Desc.: | XI, 397p. 49 illus. online resource. |
| Electronic resource | Texto completo |
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642118814 |
| Phys. Desc.: | 206p. 41 illus. online resource. |
| Electronic resource | Texto completo |
Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540732082 |
| Phys. Desc.: | XI, 423 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540354307 |
| Phys. Desc.: | XII, 456 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642220128 |
| Phys. Desc.: | XXVI, 666 p. online resource. |
| Electronic resource | Texto completo |
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642152405 |
| Phys. Desc.: | XII, 387p. 62 illus. online resource. |
| Electronic resource | Texto completo |
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642223594 |
| Phys. Desc.: | XV, 383 p. online resource. |
| Electronic resource | Texto completo |
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642149771 |
| Phys. Desc.: | XIV, 257p. 42 illus. online resource. |
| Electronic resource | Texto completo |
