Search Results
Results 701 - 710 of 922
(page 71 of 93)
Advances in Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642317156 |
| Phys. Desc.: | XVI, 600p. online resource. |
| Electronic resource | Texto completo |
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642180262 |
| Phys. Desc.: | X, 219p. online resource. |
| Electronic resource | Texto completo |
Formal Correctness of Security Protocols With 62 Figures and 4 Tables
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540681366 |
| Phys. Desc.: | XIX, 274 p. 62 illus. online resource. |
| Electronic resource | Texto completo |
Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540759898 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540709183 |
| Phys. Desc.: | XVIII, 708 p. Also available online. online resource. |
| Electronic resource | Texto completo |
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540322887 |
| Phys. Desc.: | XIX, 714 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642333538 |
| Phys. Desc.: | XIV, 498 p. 49 illus. online resource. |
| Electronic resource | Texto completo |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642390913 |
| Phys. Desc.: | XII, 536 p. 62 illus. online resource. |
| Electronic resource | Texto completo |
Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540859581 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540749707 |
| Phys. Desc.: | XV, 890 p. online resource. |
| Electronic resource | Texto completo |
