Horizons of the Mind. A Tribute to Prakash Panangaden
Jan Rutten, Catuscia Palamidessi, Elham Kashefi, Franck van Breugel
E-bok
2014693 kr
Logic Programming
19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
E-bok
PDF, Engelska, 20031 785 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Techniques for Distributed Objects, Components, and Systems
Erika Ábrahám, Catuscia Palamidessi
Häftad, 2014
565 kr
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Inbunden, 2020
657 kr
SOFSEM 2009: Theory and Practice of Computer Science
Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia
Häftad, 2009
1 125 kr
Automata, Languages and Programming
Moti Yung, Catuscia Palamidessi, Luis Monteiro, Guiseppe F. Italiano, Luis Caires
E-bok
20051 416 kr
Computational Logic — CL 2000
John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey
667 kr
Formal Techniques for Distributed Objects, Components, and Systems
Catuscia Palamidessi, Erika Abraham
E-bok
2014714 kr