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

	1561.	System Development and Ada by A. Nico Habermann, Ugo Montanari. Series: Lecture Notes in Computer ScienceEdition: 1987Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1562.	Ray Shooting, Depth Orders and Hidden Surface Removal by Mark de Berg. Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1563.	Logic Programming and Automated Reasoning by Frank Pfenning. 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)
	1564.	Programming Languages and Systems - ESOP '96 by Hanne R. Nielson. 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)
	1565.	Parallel Processing by Feng Tse-Yun. Series: Lecture Notes in Computer ScienceEdition: 1975Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1975Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1566.	Temporal Logic by Dov M. Gabbay, Hans J. Ohlbach. 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)
	1567.	Mathematical Foundations of Programming Semantics by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. 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)
	1568.	Modelling and Motion Capture Techniques for Virtual Environments by Nadia Magnenat-Thalmann, Daniel Thalmann. 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)
	1569.	Types in Compilation by Xavier Leroy, Atsushi Ohori. 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)
	1570.	Principles and Practice of Constraint Programming - CP98 by Michael Maher, Jean-Francois Puget. 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)
	1571.	Symbolic and Algebraic Computation by Patrizia Gianni. Series: Lecture Notes in Computer ScienceEdition: 1989Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1572.	LATIN'98: Theoretical Informatics by Claudio L. Lucchesi, Arnaldo V. Moura. 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)
	1573.	Theory and Practice of Parallel Programming by Takayasu Ito, Akinori Yonezawa. 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)
	1574.	Object-Oriented Methodologies and Systems by Elisa Bertino, Susan Urban. 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)
	1575.	PASCAL User Manual and Report by Kathleen Jensen, Niklaus Wirth. Series: Lecture Notes in Computer ScienceEdition: 2nd ed. 1975Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1975Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1576.	Logics of Programs by Rohit Parikh. 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)
	1577.	SCI: Scalable Coherent Interface by Hermann Hellwagner, Alexander Reinefeld. 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)
	1578.	Natural Language and Logic by Rudi Studer. 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)
	1579.	Tasks and Methods in Applied Artificial Intelligence by Angel P. del Pobil, Jose Mira, Ali Moonis. 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)
	1580.	Spatial Information Theory: A Theoretical Basis for GIS by Andrew U. Frank, Irene Campari. Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online 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.