نتایج جستجو
Computer-Aided Reasoning: ACL2 Case Studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000
Computer-aided reasoning: ACL2 case studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000
Nietzsche als Dichter
Katharina Grätz, Sebastian Kaufmann, Katharina Grätz, Sebastian Kaufmann (eds.), 2017
The Kaufmann Protocol: Why We Age and How to Stop It
Sandra Kaufmann; Ross Goldstein; Jacob Cerny, 2018
Guenter Kaufmann - HJ - Das kommende Deutschland (1940, 281 S., Scan, Fraktur)
Guenter Kaufmann, 1940
Philosophic Classics: Vol. I: Ancient Philosophy
Walter Kaufmann, Walter Arnold Kaufmann (editor), Forrest E. Baird (editor), 1996
Eating Your Way to Good Health: Recipes for Doug Kaufmann's Antifungal Diet
Doug A. Kaufmann , Jami Clark RN, 2005
Verdun 1916: The Renaissance of the Fortress
J. E. Kaufmann; H. W. Kaufmann, 2016
Network Simulation Experiments Manual (The Morgan Kaufmann Series in Networking)
Emad Aboelela, 2003
Data on the Web: From Relations to Semistructured Data and XML (The Morgan Kaufmann Series in Data Management Systems)
Serge Abiteboul, Peter Buneman, Dan Suciu, 1999
Database Modeling and Design: Logical Design, 4th Edition (The Morgan Kaufmann Series in Data Management Systems)
Sam S. Lightstone, Toby J. Teorey, Tom Nadeau, 2005
Querying XML, : XQuery, XPath, and SQL XML in context (The Morgan Kaufmann Series in Data Management Systems)
Jim Melton, Stephen Buxton, 2006
Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design (The Morgan Kaufmann Series in Data Management Systems)
Terry Halpin, Terry Halpin, John Krogstie, Erik Proper, 2001

مقالات ISI مرتبط

