Visar resultat för...
Cambridge Tracts in Theoretical Computer Science
Häftad, Engelska, 2005
809 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
Two-Level Functional Languages
Av Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen
Häftad, Engelska, 2005
899 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
Free Choice Petri Nets
Av Jorg (Humboldt-Universitat zu Berlin) Desel, Javier (University of Edinburgh) Esparza, Jorg Desel, Javier Esparza, C. J. van Rijsbergen
Häftad, Engelska, 2005
719 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
Häftad, Engelska, 2006
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
Häftad, Engelska, 2008
629 kr
Häftad, Engelska, 2008
659 kr
Domains and Lambda-Calculi
Av Roberto M. (Universite de Provence) Amadio, Paris) Curien, Pierre-Louis (Ecole Normale Superieure, Roberto M. Amadio, Pierre-Louis Curien
Häftad, Engelska, 2008
1 009 kr
Mathematical Theory of Domains
Av Sweden) Stoltenberg-Hansen, V. (Uppsala Universitet, Sweden) Lindstrom, I. (Uppsala Universitet, Sweden) Griffor, E. R. (Uppsala Universitet, Viggo Stoltenberg-Hansen, Ingrid Lindstrom, Edward R. Griffor
Häftad, Engelska, 2008
939 kr
Information Flow
Av Jon (Indiana University) Barwise, Jerry (University of Auckland) Seligman, Jon Barwise, Jerry Seligman
Häftad, Engelska, 2008
1 009 kr
Algebraic Specification of Communication Protocols
Av The Netherlands) Mauw, S. (Technische Universiteit Eindhoven, G. J. (Universiteit van Amsterdam) Veltink, S. Mauw, G. J. Veltink
Häftad, Engelska, 2008
779 kr
Data Refinement
Av Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Sydney) Engelhardt, Kai (University of Technology, Willem-Paul de Roever, Kai Engelhardt
Häftad, Engelska, 2008
969 kr
Hybrid Graph Theory and Network Analysis
Av Yugoslavia) Novak, Ladislav (University of Novi Sad, Alan (University of Liverpool) Gibbons, Ladislav Novak, Alan Gibbons, Novak Ladislav
Häftad, Engelska, 2009
689 kr
Häftad, Engelska, 2009
939 kr
Häftad, Engelska, 2009
669 kr
Unifying Framework for Structured Analysis and Design Models
Av T. H. Tse, T. H. (The University of Hong Kong) Tse, Tse T. H.
Häftad, Engelska, 2009
689 kr
Häftad, Engelska, 2009
509 kr
Design Theory and Computer Science
Av Subrata (University of Southwestern Louisiana) Dasgupta, Subrata Dasgupta, Subrata DasGupta
Häftad, Engelska, 2009
1 149 kr
Concurrency Verification
Av Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, The Netherlands) Boer, Frank de (Universiteit Utrecht, The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen, Grenoble) Lakhnech, Yassine (Universite Joseph Fourier, The Netherlands) Poel, Mannes (University of Twente, Enschede, The Netherlands) Zwiers, Job (University of Twente, Enschede, de Roever Willem-Paul, de Boer Frank, De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich
Häftad, Engelska, 2012
1 349 kr
Häftad, Engelska, 2012
739 kr
Inbunden, Engelska, 1991
1 219 kr
Design Theory and Computer Science
Av Subrata (University of Southwestern Louisiana) Dasgupta, Subrata Dasgupta
Inbunden, Engelska, 1991
2 719 kr
Inbunden, Engelska, 2003
3 629 kr
Inbunden, Engelska, 1991
2 329 kr
Inbunden, Engelska, 1993
1 299 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
Nets, Terms and Formulas
Av Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. -R Olderog
Inbunden, Engelska, 1991
1 969 kr