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

	1301.	Networking in Open Systems by Günter Müller, Robert P. Blanc. 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)
	1302.	Mathematical Foundations of Computer Science 1999 by Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki. 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)
	1303.	SOFSEM'99: Theory and Practice of Informatics by Jan Pavelka, Gerard Tel, Miroslav Bartosek. 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)
	1304.	Mathematical Foundations of Computer Science 1996 by Wojciech Penczek, Andrzej Szalas. 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)
	1305.	Tools and Algorithms for the Construction of Analysis of Systems by W. Rance Cleaveland. 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)
	1306.	ZUM '98: The Z Formal Specification Notation by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey. 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)
	1307.	LOGLAN '88 - Report on the Programming Language by Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski. 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)
	1308.	A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems by Masakazu Kojima, Nimrod Megiddo, Toshihito Noma, Akiko Yoshise. Series: Lecture Notes in Computer ScienceEdition: 1991Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1991Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1309.	Towards a Pan-European Telecommunication Service Infrastructure - IS&N '94 by Hans-Jürgen Kugler, Al Mullery, Norbert Niebert. 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)
	1310.	Mathematical Foundations of Computer Science 1974 by A. Blikle. 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)
	1311.	Specifying Message Passing and Time-Critical Systems with Temporal Logic by Ron Koymans. 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)
	1312.	Theoretical Aspects of Computer Software by Takayasu Ito, Albert R. Meyer. Series: Lecture Notes in Computer ScienceEdition: 1991Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1991Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1313.	Job Scheduling Strategies for Parallel Processing by Dror G. Feitelson, Larry Rudolph. 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)
	1314.	System Configuration Management by Boris Magnusson. 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)
	1315.	Programming Languages: Implementations, Logics, and Programs by Hugh Glaser, Peter Hartel, Herbert Kuchen. 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)
	1316.	WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology by Jörg D. Becker, Ignaz Eisele. 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)
	1317.	Towards Dynamic Randomized Algorithms in Computational Geometry by Monique Teillaud. 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)
	1318.	Progress in Artificial Intelligence by Ernesto Costa, Amilcar Cardoso. 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)
	1319.	Symbolic and Quantitative Approaches to Reasoning and Uncertainty by Anthony Hunter, Simon D. Parsons. 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)
	1320.	Logics in Artificial Intelligence by Craig MacNish, David Pearce, Luis M. Pereira. 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1706 results.