Search Results
Results 641 - 650 of 922
(page 65 of 93)
Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642048203 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642151552 |
| Phys. Desc.: | XVII, 714p. 71 illus. online resource. |
| Electronic resource | Texto completo |
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642314247 |
| Phys. Desc.: | XVI, 789p. 192 illus. online resource. |
| Electronic resource | Texto completo |
Formal Concept Analysis Foundations and Applications
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540318811 |
| Phys. Desc.: | X, 349 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Integration of World Knowledge for Natural Language Understanding
E-book
E-book
| Publisher: | Paris : Atlantis Press, 2012. |
| ISBN: | 9789491216534 |
| Phys. Desc.: | XVII, 242p. 16 illus., 2 illus. in color. online resource. |
| Electronic resource | Texto completo |
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642382369 |
| Phys. Desc.: | XV, 356 p. 37 illus. online resource. |
| Electronic resource | Texto completo |
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642299520 |
| Phys. Desc.: | XV, 622 p. 91 illus. online resource. |
| Electronic resource | Texto completo |
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642141836 |
| Phys. Desc.: | VIII, 323p. 33 illus. online resource. |
| Electronic resource | Texto completo |
e-Business and Telecommunications 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642200779 |
| Phys. Desc.: | XVII, 359p. digital. |
| Electronic resource | Texto Completo |
e-Business and Telecommunications International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642051975 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
