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, Dov M Gabbay, T S E Maibaum
Inbunden, Engelska, 1992
8 159 kr
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Av Samson Abramsky, T. S. Maibaum, 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, Dov M Gabbay, T S E Maibaum
Inbunden, Engelska, 1995
7 409 kr
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Av Samson Abramsky, Dov M. Gabbay, 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, Dov M Gabbay, T S E Maibaum
Inbunden, Engelska, 2001
8 159 kr
Nets, Terms and Formulas
Av Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
809 kr
Extensions of First-Order Logic
Av Maria (Universitat de Barcelona) Manzano, Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
1 209 kr
The Logic of Typed Feature Structures
Av Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
809 kr
The Uncertain Reasoner's Companion
Av J. B. (University of Manchester) Paris, J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2006
849 kr
Logic and Computation
Av Lawrence C. (University of Cambridge) Paulson, Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 1990
939 kr
Formal Methods in Artificial Intelligence
Av Allan M. (University College Dublin) Ramsay, Allan Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 1991
739 kr
Belief Revision
Av Sweden) Gardenfors, Peter (Lunds Universitet, Peter Gardenfors, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2003
1 149 kr
Theoretical Foundations of VLSI Design
Av K. (University of Leeds) McEvoy, Swansea) Tucker, J. V. (University of Wales, K. McEvoy, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2003
1 049 kr
Topology via Logic
Av London) Vickers, Steven (Imperial College of Science, Technology and Medicine, Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 1996
839 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 529 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 Urbana-Champaign) Winslett, Marianne (University of Illinois, Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
669 kr
The Optimal Implementation of Functional Programming Languages
Av Italy) Asperti, Andrea (Universita degli Studi, Bologna, Queen Mary University of London) Guerrini, Stefano (Professor, Andrea Asperti, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Inbunden, Engelska, 1998
1 439 kr
Inbunden, Engelska, 2013
1 909 kr
Dependence Logic: Theory and Applications
Av Samson Abramsky, Juha Kontinen, Heribert Vollmer, Jouko Väänänen
Inbunden, Engelska, 2016
719 kr
Häftad, Engelska, 2018
719 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
719 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
719 kr
Automata, Languages and Programming
Av Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
Häftad, Engelska, 2010
1 459 kr
Automata, Languages and Programming
Av Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
Häftad, Engelska, 2010
1 459 kr