Samson Abramsky - Böcker
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures
Av Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Reader in Computing Science) Abramsky, S. (Reader in Computing Science, Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science, University of London) Maibaum, T. S. E. (Professor of Computing Science, Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine, Samson Abramsky, D. M. Gabbay
Inbunden, Engelska, 1992
7 929 kr
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Av Samson Abramsky, T. S. Maibaum, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine
Inbunden, Engelska, 1995
7 199 kr
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Av Samson Abramsky, Dov M. Gabbay, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Imperial College London) Abramsky, S. (Department of Computer Science, Department of Computer Science, King's College London) Gabbay, Dov M. (Department of Computer Science, Department of Computer Science, Imperial College London) Maibaum, T. S. E. (Department of Computer Science, Department of Computer Science
Inbunden, Engelska, 2001
7 929 kr
Nets, Terms and Formulas
Av E. -R. Olderog, Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. -R Olderog, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
789 kr
Extensions of First-Order Logic
Av Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
1 169 kr
The Logic of Typed Feature Structures
Av Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
789 kr
The Uncertain Reasoner's Companion
Av J. B. Paris, J. B. (University of Manchester) Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2006
829 kr
Logic and Computation
Av Lawrence C. Paulson, Lawrence C. (University of Cambridge) Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 1990
909 kr
Formal Methods in Artificial Intelligence
Av Allan M. Ramsay, Allan M. (University College Dublin) Ramsay, Allan Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 1991
719 kr
Belief Revision
Av Peter Gärdenfors, Sweden) Gardenfors, Peter (Lunds Universitet, Peter Gärdenfors, Peter Gardenfors, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2003
1 119 kr
Theoretical Foundations of VLSI Design
Av K. McEvoy, J. V. Tucker, K. (University of Leeds) McEvoy, Swansea) Tucker, J. V. (University of Wales, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2003
859 kr
Topology via Logic
Av Steven Vickers, London) Vickers, Steven (Imperial College of Science, Technology and Medicine, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 1996
809 kr
Applications of Process Algebra
Av J. C. M. Baeten, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
1 489 kr
Algorithmic Information Theory
Av Gregory. J. Chaitin, Gregory J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2004
839 kr
Updating Logical Databases
Av Marianne Winslett, Urbana-Champaign) Winslett, Marianne (University of Illinois, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
649 kr
The Optimal Implementation of Functional Programming Languages
Av Andrea Asperti, Stefano Guerrini, Italy) Asperti, Andrea (Universita degli Studi, Bologna, Queen Mary University of London) Guerrini, Stefano (Professor, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Inbunden, Engelska, 1998
1 399 kr
Inbunden, Engelska, 2013
1 889 kr
Dependence Logic: Theory and Applications
Av Samson Abramsky, Juha Kontinen, Heribert Vollmer, Jouko Väänänen
Inbunden, Engelska, 2016
709 kr
Häftad, Engelska, 2018
709 kr
Category Theory and Computer Programming
Av David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard
Häftad, Engelska, 1986
739 kr
Häftad, Engelska, 2001
709 kr
Category Theory and Computer Science
Av David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard
Häftad, Engelska, 1991
709 kr
Automata, Languages and Programming
Av Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
Häftad, Engelska, 2010
1 449 kr
Automata, Languages and Programming
Av Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
Häftad, Engelska, 2010
1 449 kr