Computational Logic - CL 2000
Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd
E-bok
2003734 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
Horizons of the Mind. A Tribute to Prakash Panangaden
Jan Rutten, Catuscia Palamidessi, Elham Kashefi, Franck van Breugel
E-bok
2014712 kr
Formal Techniques for Distributed Objects, Components, and Systems
Erika Ábrahám, Catuscia Palamidessi
Häftad, 2014
561 kr
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Inbunden, 2020
653 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 116 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
662 kr
Formal Techniques for Distributed Objects, Components, and Systems
Catuscia Palamidessi, Erika Abraham
E-bok
2014734 kr