Your search returned 9085 results.

Results
	8761.	Automated Deduction - CADE-16 [electronic resource] : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings / by Ganzinger, Harald [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1632 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8762.	Advances in Natural Language Processing [electronic resource] : Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings / by Ranchod, Elisabete [editor.] Mamede, Nuno J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2389 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8763.	Advances in Artificial Intelligence - SBIA 2004 [electronic resource] : 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-October 1, 2004, Proceedings / by Bazzan, Ana L. C [editor.] Labidi, Sofiane [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3171 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8764.	The World Wide Web and Databases [electronic resource] : Third International Workshop WebDB2000, Dallas, TX, USA, May 18-19, 2000. Selected Papers / by Suciu, Dan [editor.] Vossen, Gottfried [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1997 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8765.	Evolvable Systems: From Biology to Hardware [electronic resource] : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings / by Tyrrell, Andy M [editor.] Haddow, Pauline C [editor.] Torresen, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2606 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8766.	Algorithm Engineering [electronic resource] : 5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings / by Brodal, Gerd Stoelting [editor.] Frigioni, Daniele [editor.] Marchetti-Spaccamela, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2141 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8767.	STACS 98 [electronic resource] : 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings / by Morvan, Michel [editor.] Meinel, Christoph [editor.] Krob, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1373 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8768.	Discovery Science [electronic resource] : 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings / by Grieser, Gunter [editor.] Tanaka, Yuzuru [editor.] Yamamoto, Akihiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2843 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8769.	Functional and Logic Programming [electronic resource] : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / by Middeldorp, Aart [editor.] Sato, Taisuke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1722 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8770.	Spatial Cognition II [electronic resource] : Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications / by Freksa, Christian [editor.] Brauer, Wilfried [editor.] Habel, Christopher [editor.] Wender, Karl F [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1849 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8771.	Evolvable Systems: From Biology to Hardware [electronic resource] : First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers / by Higuchi, Tetsuya [editor.] Iwata, Masaya [editor.] Weixin, Liu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1259 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8772.	Algorithmic Number Theory [electronic resource] : 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings / by Buell, Duncan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3076 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8773.	Inductive Logic Programming [electronic resource] : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / by Matwin, Stan [editor.] Sammut, Claude [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2583 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8774.	High Performance Computing - HiPC 2000 [electronic resource] : 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings / by Valero, Mateo [editor.] Prasanna, Viktor K [editor.] Vajapeyam, Sriram [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1970 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8775.	Fundamentals of Computation Theory [electronic resource] : 12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings / by Ciobanu, Gabriel [editor.] Paun, Gheorghe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1684 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8776.	Conceptual Modeling - ER '98 [electronic resource] : 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings / by Ling, Tok Wang [editor.] Ram, Sudha [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1507 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8777.	Web-Age Information Management [electronic resource] : First International Conference, WAIM 2000 Shanghai, China, June 21-23, 2000 Proceedings / by Lu, Hongjun [editor.] Zhou, Aoying [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1846 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8778.	Multiple Classifier Systems [electronic resource] : 4th International Workshop, MCS 2003, Guilford, UK, June 11-13, 2003, Proceedings / by Windeatt, Terry [editor.] Roli, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2709 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8779.	Advanced Lectures on Machine Learning [electronic resource] : ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures / by Bousquet, Olivier [editor.] Luxburg, Ulrike von [editor.] Rätsch, Gunnar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3176 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8780.	Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / by Bachmair, Leo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1833 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9085 results.