Your search returned 5301 results.

Results
	641.		Fundamentals of Computation Theory by Leszek Gasieniec, Frank Wolter Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	642.		CONCUR 2013 � Concurrency Theory by Pedro R. D�Argenio, Hern�n Melgratti Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	643.		Quantitative Evaluation of Systems by Kaustubh Joshi, Markus Siegle, Mari�lle Stoelinga, Pedro R. D�Argenio Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	644.		Formal Modeling and Analysis of Timed Systems by V�ctor Braberman, Laurent Fribourg Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	645.		Advances in Spatial and Temporal Databases by Mario A. Nascimento, Timos Sellis, Reynold Cheng, J�rg Sander, Yu Zheng, Hans-Peter Kriegel, Matthias Renz, Christian Sengstock Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	646.		Computer Analysis of Images and Patterns by Richard Wilson, Edwin Hancock, Adrian Bors, William Smith Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	647.		Computer Analysis of Images and Patterns by Richard Wilson, Edwin Hancock, Adrian Bors, William Smith Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	648.		Space-Efficient Data Structures, Streams, and Algorithms by Andrej Brodnik, Alejandro L�pez-Ortiz, Venkatesh Raman, Alfredo Viola Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	649.		Advances in Depth Image Analysis and Applications by Xiaoyi Jiang, Olga Regina Pereira Bellon, Dmitry Goldgof, Takeshi Oishi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	650.		Mathematical Foundations of Computer Science 2013 by Krishnendu Chatterjee, Jir� Sgall Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	651.		Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques by Prasad Raghavendra, Sofya Raskhodnikova, Klaus Jansen, Jos� D. P. Rolim Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	652.		Algorithms � ESA 2013 by Hans L. Bodlaender, Giuseppe F. Italiano Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	653.		Algorithms in Bioinformatics by Aaron Darling, Jens Stoye Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	654.		Automated Reasoning with Analytic Tableaux and Related Methods by Didier Galmiche, Dominique Larchey-Wendling Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	655.		Logic Programming and Nonmonotonic Reasoning by Pedro Cabalar, Tran Cao Son Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	656.		Principles and Practice of Constraint Programming by Christian Schulte Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	657.		Algebraic Informatics by Traian Muntean, Dimitrios Poulakis, Robert Rolland Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	658.		Automated Deduction in Geometry by Tetsuo Ida, Jacques Fleuriot Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	659.		Cellular Automata and Discrete Complex Systems by Jarkko Kari, Martin Kutrib, Andreas Malcher Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	660.		Programming Languages by Andr� Rauber Bois, Phil Trinder Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.