From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (Studies in Linguistics and Philosophy)
by Hans Kamp,U. Reyle
ISBN 13: 9780792324034
Format: Hardcover (740 pages) Publisher: Springer Published: 31 Jul 1993
Save for later
Power Algebras over Semirings: With Applications in Mathematics and Computer Science (Mathematics and Its Applications)
by Jonathan Samuel Golan
ISBN 13: 9780792358343
Format: Hardcover (203 pages) Publisher: Springer Published: 31 Jul 1999
Emerging Memories: Technologies and Trends
by Betty Prince
ISBN 13: 9780792376842
Format: Hardcover (296 pages) Publisher: Springer Published: 28 Feb 2002
Objects for Concurrent Constraint Programming (The Springer International Series in Engineering and Computer Science)
by Martin Henz
ISBN 13: 9780792380382
Format: Hardcover (200 pages) Publisher: Springer Published: 31 Oct 1997
Fault Covering Problems in Reconfigurable VLSI Systems (The Springer International Series in Engineering and Computer Science)
by Ran Libeskind-Hadas,Nany Hasan,Jason Cong,Philip McKinley,C.L. Liu
ISBN 13: 9780792392316
Format: Hardcover (144 pages) Publisher: Springer Published: 30 Apr 1992
Information Retrieval: Algorithms and Heuristics (The Springer International Series in Engineering and Computer Science)
by David A. Grossman,Ophir Frieder
ISBN 13: 9780792382713
Format: Hardcover (276 pages) Publisher: Springer Published: 30 Sep 1998 Other Format: Paperback
Searching Multimedia Databases by Content (Advances in Database Systems)
by Christos Faloutsos
ISBN 13: 9780792397779
Format: Hardcover (168 pages) Publisher: Springer Published: 30 Sep 1996
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
by Kurt Jensen, Lars M. Kristensen
ISBN 13: 9783642002830
Format: Hardcover (384 pages) Publisher: Springer Published: 02 Jul 2009
ARIS - Business Process Modeling
by August-Wilhelm Scheer
ISBN 13: 9783540658351
Format: Hardcover (218 pages) Publisher: Springer Published: 01 Mar 2000
Cooperative Buildings: Integrating Information, Organization, And Architecture: First International Workshop, Cobuild'98, Darmstadt, Germany, February . . . (Lecture Notes In Computer Science): 1370
by
ISBN 13: 9783540642374
Format: Paperback (267 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 31 Mar 1998
Automating Middleware Configuration and Specializations: A Modeling Language Approach
by Aniruddha Gokhale,Dimple Kaul
ISBN 13: 9783836435109
Format: Paperback (104 pages) Publisher: VDM Verlag Dr. Mueller e.K. Published: 14 Jan 2008
CSCL Scripts - Effects of Social and Epistemic Scripts on Computer-Supported Collaborative Learning
by Armin Weinberger
ISBN 13: 9783836447690
Format: Paperback (260 pages) Publisher: VDM Verlag Dr. Mueller e.K. Published: 26 Jun 2008