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

	421.	Computer Aided Systems Theory - EUROCAST '97 by Franz Pichler, Roberto Moreno-Diaz. 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)
	422.	Computer Aided Verification by Orna Grumberg. 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)
	423.	Computer Aided Verification by Pierre Wolper. 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)
	424.	Computer Aided Verification by Alan J. Hu, Moshe Y. Vardi. 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)
	425.	Computer Aided Verification by Kim G. Larsen, Arne Skou. 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)
	426.	Computer Aided Verification by David L. Dill. 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)
	427.	Computer Aided Verification by Rajeev Alur, Thomas Henzinger. 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)
	428.	Computer-Aided Verification by Edmund M. Clarke, Robert P. Kurshan. 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)
	429.	Computer Aided Verification by Gregor von Bochmann, David K. Probst. 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)
	430.	Computer Aided Verification by Costas Courcoubetis. 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)
	431.	Computer Aided Verification by Nicolas Halbwachs, Doron Peled. 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)
	432.	Computer Algebra by J. Calmet. Series: Lecture Notes in Computer ScienceEdition: 1982Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1982Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	433.	Computer Algebra by J. A. van Hulzen. 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)
	434.	Computer Algebra and Parallelism by Richard E. Zippel. 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)
	435.	Computer Analysis of Images and Patterns by Vaclav Hlavac, Radim Sara. 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)
	436.	Computer Analysis of Images and Patterns by Dmitry Chetverikov, Walter Kropatsch. 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)
	437.	Computer Analysis of Images and Patterns by Franc Solina, Ales Leonardis. 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)
	438.	Computer Analysis of Images and Patterns by Gerald Sommer, Kostas Daniilidis, Josef Pauli. 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)
	439.	Computer Assisted Learning by Hermann Maurer. 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)
	440.	Computer Assisted Learning by Douglas H. Norrie, Hans-Werner Six. 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1706 results.