Your search returned 1142 results.

Results
801.	Image from Amazon.com	Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings / edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori. by Fisher, Michael [editor.] Torre, Leon van der [editor.] Dastani, Mehdi [editor.] Governatori, Guido [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7486Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
802.	Image from Amazon.com	Datalog in Academia and Industry [electronic resource] : Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings / edited by Pablo Barceló, Reinhard Pichler. by Barceló, Pablo [editor.] Pichler, Reinhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7494Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
803.	Image from Amazon.com	CONCUR 2012 – Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings / edited by Maciej Koutny, Irek Ulidowski. by Koutny, Maciej [editor.] Ulidowski, Irek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7454Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
804.	Image from Amazon.com	Theoretical Aspects of Computing – ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / edited by Abhik Roychoudhury, Meenakshi D’Souza. by Roychoudhury, Abhik [editor.] D’Souza, Meenakshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7521Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
805.	Image from Amazon.com	Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / edited by Antoine Miné, David Schmidt. by Miné, Antoine [editor.] Schmidt, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7460Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
806.	Image from Amazon.com	Argumentation in Multi-Agent Systems [electronic resource] : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers / edited by Peter McBurney, Simon Parsons, Iyad Rahwan. by McBurney, Peter [editor.] Parsons, Simon [editor.] Rahwan, Iyad [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7543Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
807.	Image from Amazon.com	Reasoning Web. Semantic Technologies for Advanced Query Answering [electronic resource] : 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings / edited by Thomas Eiter, Thomas Krennwallner. by Eiter, Thomas [editor.] Krennwallner, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7487Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
808.	Image from Amazon.com	Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Rohit Gheyi, David Naumann. by Gheyi, Rohit [editor.] Naumann, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7498Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
809.	Image from Amazon.com	Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / edited by Wolfram Kahl, Timothy G. Griffin. by Kahl, Wolfram [editor.] Griffin, Timothy G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7560Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
810.	Image from Amazon.com	KI 2012: Advances in Artificial Intelligence [electronic resource] : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings / edited by Birte Glimm, Antonio Krüger. by Glimm, Birte [editor.] Krüger, Antonio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7526Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
811.	Image from Amazon.com	Logics in Artificial Intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / edited by Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin. by Cerro, Luis Fariñas del [editor.] Herzig, Andreas [editor.] Mengin, Jérôme [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7519Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
812.	Image from Amazon.com	Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / edited by Marcin Jurdziński, Dejan Ničković. by Jurdziński, Marcin [editor.] Ničković, Dejan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7595Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
813.	Image from Amazon.com	Theoretical Computer Science [electronic resource] : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings / edited by Jos C. M. Baeten, Tom Ball, Frank S. de Boer. by Baeten, Jos C. M [editor.] Ball, Tom [editor.] Boer, Frank S. de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7604Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
814.	Image from Amazon.com	Reachability Problems [electronic resource] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / edited by Alain Finkel, Jérôme Leroux, Igor Potapov. by Finkel, Alain [editor.] Leroux, Jérôme [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7550Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
815.	Image from Amazon.com	Principles and Practice of Constraint Programming [electronic resource] : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings / edited by Michela Milano. by Milano, Michela [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7514Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
816.	Image from Amazon.com	Graph Transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg. by Ehrig, Hartmut [editor.] Engels, Gregor [editor.] Kreowski, Hans-Jörg [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7562Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
817.	Image from Amazon.com	Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe. by Eleftherakis, George [editor.] Hinchey, Mike [editor.] Holcombe, Mike [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7504Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
818.	Image from Amazon.com	Advances in Natural Language Processing [electronic resource] : 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012. Proceedings / edited by Hitoshi Isahara, Kyoko Kanzaki. by Isahara, Hitoshi [editor.] Kanzaki, Kyoko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7614Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
819.	Image from Amazon.com	Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / edited by Franciso Durán. by Durán, Franciso [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7571Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
820.	Image from Amazon.com	Algorithmic Learning Theory [electronic resource] : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings / edited by Nader H. Bshouty, Gilles Stoltz, Nicolas Vayatis, Thomas Zeugmann. by Bshouty, Nader H [editor.] Stoltz, Gilles [editor.] Vayatis, Nicolas [editor.] Zeugmann, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7568Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)