Your search returned 85 results.

Results
1.	Image from Amazon.com	Agent-Oriented Software Engineering V [electronic resource] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers / edited by James Odell, Paolo Giorgini, Jörg P. Müller. by Odell, James [editor.] Giorgini, Paolo [editor.] Müller, Jörg P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3382Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
2.	Image from Amazon.com	Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers / edited by Uwe Aßmann, Mehmet Aksit, Arend Rensink. by Aßmann, Uwe [editor.] Aksit, Mehmet [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3599Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3.	Image from Amazon.com	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina. by Baral, Chitta [editor.] Greco, Gianluigi [editor.] Leone, Nicola [editor.] Terracina, Giorgio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3662Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
4.	Image from Amazon.com	Computer Aided Systems Theory – EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia. by Moreno Díaz, Roberto [editor.] Pichler, Franz [editor.] Quesada Arencibia, Alexis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3643Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
5.	Image from Amazon.com	Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta. by Zucker, Jean-Daniel [editor.] Saitta, Lorenza [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3607Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
6.	Image from Amazon.com	Natural Language Processing and Information Systems [electronic resource] : 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings / edited by Andrés Montoyo, Rafael Muńoz, Elisabeth Métais. by Montoyo, Andrés [editor.] Muńoz, Rafael [editor.] Métais, Elisabeth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3513Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
7.	Image from Amazon.com	FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / edited by Sundar Sarukkai, Sandeep Sen. by Sarukkai, Sundar [editor.] Sen, Sandeep [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3821Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
8.	Image from Amazon.com	Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by Mills, Bruce [author.] SpringerLink (Online service) Publisher: London : Springer London, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
9.	Image from Amazon.com	Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni. by Baldoni, Matteo [editor.] Endriss, Ulle [editor.] Omicini, Andrea [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3904Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
10.	Image from Amazon.com	Software Engineering 3 [electronic resource] : Domains, Requirements, and Software Design / by Dines Bjøner. by Bjøner, Dines [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATC SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
11.	Image from Amazon.com	Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison. by Gilroy, Stephen W [editor.] Harrison, Michael D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3941Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
12.	Image from Amazon.com	Automated Reasoning [electronic resource] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Ulrich Furbach, Natarajan Shankar. by Furbach, Ulrich [editor.] Shankar, Natarajan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4130Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
13.	Image from Amazon.com	Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings / edited by Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende. by Sichman, Jaime Simão [editor.] Coelho, Helder [editor.] Rezende, Solange Oliveira [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4140Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
14.	Image from Amazon.com	Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings / edited by Janusz Górski. by Górski, Janusz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4166Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
15.	Image from Amazon.com	Quality of Software Architectures [electronic resource] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers / edited by Christine Hofmeister, Ivica Crnkovic, Ralf Reussner. by Hofmeister, Christine [editor.] Crnkovic, Ivica [editor.] Reussner, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4214Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
16.	Image from Amazon.com	Perspectives of Systems Informatics [electronic resource] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov. by Virbitskaite, Irina [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4378Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
17.	Image from Amazon.com	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode. by Artemov, Sergei N [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4514Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
18.	Image from Amazon.com	Human-Computer Interaction. Interaction Design and Usability [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Julie A. Jacko. by Jacko, Julie A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4550Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
19.	Image from Amazon.com	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Dershowitz, Nachum [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4790Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
20.	Image from Amazon.com	Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings / edited by Adrian Paschke, Yevgen Biletskiy. by Paschke, Adrian [editor.] Biletskiy, Yevgen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4824Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

1
2
3
4
5
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 85 results.