Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité reset filtrov +
« < 8 9 10 11 12 > » Foundations of Software Science and Computational Structures Amadio 2008 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Andrews 2002 Recent Trends in Data Type Specification Astesiano 1995 Types for Proofs and Programs Barendregt 1994 Logic and Algebra of Specification Bauer 1993 Types for Proofs and Programs Berardi 2004 Hardware Component Modeling 1996 Sorts and Types in Artificial Intelligence 1990 Types for Proofs and Programs Callaghan 2002 Beginning Database Design Churcher 2008 Imaging Beyond the Pinhole Camera Daniilidis 2006 Fundamentals of Algebraic Graph Transformation Ehrig 2006 Recent Trends in Data Type Specification Ehrig 1994 Functional and Logic Programming Garrigue 2008 TAPSOFT '93: Theory and Practice of Software Development Gaudel 1993 Types for Proofs and Programs Geuvers 2003 Types for Proofs and Programs Gimenez 1998 Foundations of Software Science and Computational Structures Gordon 2003 2278 knižných titulov « < 8 9 10 11 12 > »