Search Results
Results 601 - 610 of 922
(page 61 of 93)
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642406638 |
| Phys. Desc.: | X, 275 p. 14 illus. online resource. |
| Electronic resource | Texto completo |
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642214936 |
| Phys. Desc.: | X, 261p. online resource. |
| Electronic resource | Texto completo |
Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642035647 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642383175 |
| Phys. Desc.: | X, 267 p. 57 illus. online resource. |
| Electronic resource | Texto completo |
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642152054 |
| Phys. Desc.: | XIV, 548p. 64 illus. online resource. |
| Electronic resource | Texto completo |
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642210464 |
| Phys. Desc.: | IX, 225p. online resource. |
| Electronic resource | Texto completo |
Programming Logics Essays in Memory of Harald Ganzinger
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642376511 |
| Phys. Desc.: | X, 447 p. 69 illus. online resource. |
| Electronic resource | Texto completo |
Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540755630 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540472278 |
| Phys. Desc.: | XVI, 590 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540320685 |
| Phys. Desc.: | XVI, 498 p. Also available online. online resource. |
| Electronic resource | Texto completo |
