Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=su:"Computer Science"'

	1641.	Knowledge Acquisition, Modeling and Management by Enric Plaza, Richard Benjamins. 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)
	1642.	Principles and Practice of Constraint Programming - CP'99 by Joxan Jaffar. 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)
	1643.	Symbolic and Quantitative Approaches to Reasoning and Uncertainty by Michael Clarke, Rudolf Kruse, Serafin Moral. 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)
	1644.	The MOSIX Distributed Operating System by Amnon Barak, Shai Guday, Richard G. Wheeler. 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)
	1645.	Knowledge Acquisition for Knowledge-Based Systems by Nathalie Aussenac, Guy Boy, Brian Gaines, Jean-Gabriel Ganascia, Yves Kodratoff, Marc Linster. 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)
	1646.	Logic Programming and Nonmonotonic Reasoning by V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski. 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)
	1647.	Multimodal Human-Computer Communication by Harry Bunt, Robbert-Jan Beun, Tijn Borghuis. 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)
	1648.	VDM '90. VDM and Z - Formal Methods in Software Development by Dines Bjørner, C.A.R. Hoare, Hans Langmaack. 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)
	1649.	Managing Information Highways by Kim Berquist, Andrew Berquist. 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)
	1650.	Parallel Symbolic Languages and Systems by Takayasu Ito, Robert H. Jr. Halstead, Christian Queinnec. 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)
	1651.	Types for Proofs and Programs by Peter Dybjer, Bengt Nordström, Jan Smith. 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)
	1652.	Natural Language Processing by Miguel Filgueiras, Luis Damas, Nelma Moreira, Ana P. Tomas. 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)
	1653.	Knowledge Based Computer Systems by S. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu. 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)
	1654.	Termination Proofs for Logic Programs by Lutz Plümer. 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)
	1655.	PARLE '89 - Parallel Architectures and Languages Europe by Eddy Odijk, Martin Rem, Jean-Claude Syre. 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)
	1656.	Text, Speech and Dialogue by Vaclav Matousek, Pavel Mautner, Jana Ocelikova, Petr Sojka. 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)
	1657.	Specification and Design of Software Systems by Elöd Knuth, E.J. Neuhold. Series: Lecture Notes in Computer ScienceEdition: 1983Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1983Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	1658.	Simulated Evolution and Learning by Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi. 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)
	1659.	Object-Oriented Technology: ECOOP ’97 Workshop Reader by Jan Bosch, Stuart Mitchell. 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)
	1660.	Visualization in Biomedical Computing by Karl H. Höhne, Ron Kikinis. 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)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 1734 results.