Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=se,phr:"Lecture Notes in Computer Science"'

	1441.	The Munich Project CIP Series: Lecture Notes in Computer ScienceEdition: 1985Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1985Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1442.	Trends in Information Processing Systems by A.J.W. Duijvestijn, P.C. Lockemann. Series: Lecture Notes in Computer ScienceEdition: 1981Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1981Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1443.	Static Analysis by Baudouin LeCharlier. Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1444.	Relational Matching by George Vosselman. Series: Lecture Notes in Computer ScienceEdition: 1992Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1992Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1445.	Mathematical Foundation of Programming Semantics by Austin Melton. Series: Lecture Notes in Computer ScienceEdition: 1986Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1986Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1446.	Trees in Algebra and Programming - CAAP '96 by Helene Kirchner. Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1447.	Visualization of Scientific Parallel Programs by Gerald Tomas, Christoph W. Ueberhuber. Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1448.	SOFSEM '98: Theory and Practice of Informatics by Branislav Rovan. Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1449.	Research and Advanced Technology for Digital Libraries by Costantino Thanos. Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1450.	A Methodology for Uncertainty in Knowledge-Based Systems by Kurt Weichselberger, Sigrid Pöhlmann. Series: Lecture Notes in Computer ScienceEdition: 1990Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1451.	Orders, Algorithms and Applications by Vincent Bouchitte, Michel Morvan. Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1452.	Tractable Reasoning in Aritificial Intelligence by Marco Cadoli. Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1453.	Logic Programming in Action by Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe. Series: Lecture Notes in Computer ScienceEdition: 1992Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1992Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1454.	KI-99: Advances in Artificial Intelligence by Wolfram Burgard, Thomas Christaller, Armin B. Cremers. Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1455.	Logic Programming and Knowledge Representation by Luis Moniz Pereira, Teodor C. Przymusinski. Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1456.	Typed Lambda Calculi and Applications by Philippe de Groote, J. Roger Hindley. Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1457.	Parallel Computer Routing and Communication by Sudhakar Yalamanchili, Jose Duato. Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1458.	Mathematics of Program Construction by Johan Jeuring. Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1459.	KI-96: Advances in Artificial Intelligence by Günther Görz, Steffen Hölldobler. Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1460.	A Perspective of Constraint-Based Reasoning by Hans W. Guesgen, Joachim Hertzberg. Series: Lecture Notes in Computer ScienceEdition: 1992Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1992Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1706 results.