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

	1521.	Program Construction by F.L. Bauer, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner, F.L. Bauer, M. Broy. Series: Lecture Notes in Computer ScienceEdition: 1979Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1979Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1522.	Methods of Programming by Manfred Broy, Martin Wirsing. 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)
	1523.	Software Agents and Soft Computing: Towards Enhancing Machine Intelligence by Hyacinth S. Nwana, Nader Azarmi. 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)
	1524.	Spatial Data Types for Database Systems by Markus Schneider. 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)
	1525.	Simple Program Schemes and Formal Languages by J. Engelfriet. Series: Lecture Notes in Computer ScienceEdition: 1974Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1974Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1526.	Recent Trends in Data Type Specification by Hartmut Ehrig, Fernando Orejas. 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)
	1527.	STACS 85 by K. Mehlhorn. 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)
	1528.	LATIN '92 by Imre Simon. 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)
	1529.	Over-Constrained Systems by Michael Jampel, Eugene Freuder, Michael Maher. 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)
	1530.	Universal Routing Strategies for Interconnection Networks by Christian Scheideler. 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)
	1531.	Management and Processing of Complex Data Structures by Kai v. Luck, Heinz Marburger. 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)
	1532.	PARLE '94 Parallel Architectures and Languages Europe by Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis. 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)
	1533.	Mathematical Foundations of Computer Science 1992 by Ivan M. Havel, Vaclav Koubek. 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)
	1534.	Theorem Proving in Higher Order Logics by Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery. 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)
	1535.	Logic of Programs by E. Engeler. 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)
	1536.	Programming Languages and Systems by Chris Hankin. 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)
	1537.	Static Analysis by Agostino Cortesi, Gilberto File. 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)
	1538.	Uncertainty in Knowledge-Based Systems by Bernadette Bouchon, Ronald R. Yager. 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)
	1539.	Theory of Computing and Systems by Danny Dolev, Zvi Galil, Michael Rodeh. 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)
	1540.	Machine Learning - EWSL-91 by Yves Kodratoff. 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1706 results.