Your search returned 532 results.

Results
	101.		Logic for Programming, Artificial Intelligence, and Reasoning by Ken McMillan, Aart Middeldorp, Andrei Voronkov 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.
	102.		Combinatorial Algorithms by Thierry Lecroq, Laurent Mouchard 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.
	103.		Graph Structures for Knowledge Representation and Reasoning by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	104.		Structured Object-Oriented Formal Language and Method by Shaoying Liu, Zhenhua Duan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	105.		Language and Automata Theory and Applications by Adrian-Horia Dediu, Carlos Mart�n-Vide, Jos�-Luis Sierra-Rodr�guez, Bianca Truthe Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	106.		Foundations of Information and Knowledge Systems by Christoph Beierle, Carlo Meghini Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	107.		Trustworthy Global Computing by Mart�n Abadi, Alberto Lluch Lafuente Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	108.		Theory and Applications of Models of Computation by T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	109.		Relational and Algebraic Methods in Computer Science by Peter H�fner, Peter Jipsen, Wolfram Kahl, Martin Eric M�ller Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	110.		FM 2014: Formal Methods by Cliff Jones, Pekka Pihlajasaari, Jun Sun Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	111.		Computer Science - Theory and Applications by Edward A. Hirsch, Sergei O. Kuznetsov, Jean-�ric Pin, Nikolay K. Vereshchagin Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	112.		Horizons of the Mind. A Tribute to Prakash Panangaden by Franck Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	113.		Functional and Logic Programming by Michael Codish, Eijiro Sumii Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	114.		Formal Concept Analysis by Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	115.		Formal Aspects of Component Software by Jos� Luiz Fiadeiro, Zhiming Liu, Jinyun Xue Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	116.		Reliable Software Technologies � Ada-Europe 2014 by Laurent George, Tullio Vardanega Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	117.		Intelligent Computer Mathematics by Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	118.		Reversible Computation by Shigeru Yamashita, Shin-ichi Minato Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	119.		Automated Reasoning by St�phane Demri, Deepak Kapur, Christoph Weidenbach Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	120.		Deontic Logic and Normative Systems by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.