Select All Results 1 - 100 of 1155 1 2 3 4 5 6 7 8 9 10 Next >>
	1. Title: Programming Sudoku by Wei-Meng Lee. Author: Lee, Wei-Meng. Publication: Wei-Meng Lee, Berkeley, CA : 2006.
	2. Title: Formal Languages and Compilation by Stefano Crespi Reghizzi. Texts in Computer Science, Texts in computer science, Author: Crespi Reghizzi, Stefano. Publication: Springer London, London : 2009.
	3. Title: Formal Languages and Compilation by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. Texts in Computer Science, Texts in computer science, Author: Crespi Reghizzi, Stefano. Publication: Springer London : Imprint: Springer, London : 2013. Edition: 2nd ed. 2013.
	4. Title: A Proof Theory for Description Logics by Alexandre Rademaker. SpringerBriefs in Computer Science, SpringerBriefs in Computer Science, Author: Rademaker, Alexandre. Publication: Springer London : Imprint: Springer, London : 2012.
	5. Title: Type Systems for Distributed Programs: Components and Sessions by Ornela Dardha. Atlantis Studies in Computing, Atlantis Studies in Computing, Author: Dardha, Ornela. Publication: Atlantis Press : Imprint: Atlantis Press, Paris : 2016.
	6. Title: Agent Technology from a Formal Perspective edited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears. NASA Monographs in Systems and Software Engineering, Author: Rouff, Christopher A. Publication: Springer-Verlag London Limited, London : 2006.
	7. Title: Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings edited by Lluis Godo. Lecture notes in computer science, Author: Godo, Lluis. Publication: Springer-Verlag GmbH., Berlin Heidelberg : 2005
	8. Title: Notes on Set Theory by Yiannis Moschovakis. Undergraduate Texts in Mathematics, Author: Moschovakis, Yiannis. Publication: Springer Science+Business Media, Inc., New York, NY : 2006. Edition: Second Edition.
	9. Title: Finite Model Theory by Heinz-Dieter Ebbinghaus, Jörg Flum. Springer monographs in mathematics, Author: Ebbinghaus, Heinz-Dieter. Publication: Springer-Verlag Berlin Heidelberg, Berlin, Heidelberg : 2006. Edition: Second Revised and Enlarged Edition 1999.
	10. Title: Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers edited by Gabriele Kern-Isberner, Friedhelm Kulmann, Wilhelm Rödder. Lecture notes in computer science, Author: Kern-Isberner, Gabriele. Publication: Springer-Verlag GmbH., Berlin Heidelberg : 2005
	Results 1 - 100 of 1155 1 2 3 4 5 6 7 8 9 10 Next >>

Duplicate Items

Add to My List

Print

Sorts and Limits

Sorts:  None Author Publication Date Publisher Subject Title