Visar resultat för...

Cambridge Tracts in Theoretical Computer Science

64 produkter
Wim H. Hesselink, Hesselink Wim H., C. J. van Rijsbergen - Programs, Recursion and Unbounded Choice, Häftad

Häftad, Engelska, 2005

809 kr

Skickas inom 7-10 vardagar
Peter Padawitz, P. Padawitz, C. J. van Rijsbergen - Deductive and Declarative Programming, Häftad

Häftad, Engelska, 2006

809 kr

Skickas inom 7-10 vardagar
J. M. (University of Oxford) Spivey, J. M. Spivey, Spivey J. M. - Understanding Z, Häftad

Häftad, Engelska, 2008

629 kr

Skickas inom 7-10 vardagar
Swansea) Hindley, J. Roger (University of Wales, J. Roger Hindley - Basic Simple Type Theory, Häftad

Häftad, Engelska, 2008

659 kr

Skickas inom 7-10 vardagar
Jon (Indiana University) Barwise, Jerry (University of Auckland) Seligman, Jon Barwise, Jerry Seligman - Information Flow, Häftad

Häftad, Engelska, 2008

1 009 kr

Skickas inom 7-10 vardagar
G. E. Revesz - Lambda-calculus, Combinators and Functional Programming, Häftad

Häftad, Engelska, 2009

939 kr

Skickas inom 7-10 vardagar
T. F. (University of Glasgow) Melham, T. Melham - Higher Order Logic and Hardware Verification, Häftad

Häftad, Engelska, 2009

669 kr

Skickas inom 7-10 vardagar
T. H. Tse, T. H. (The University of Hong Kong) Tse, Tse T. H. - Unifying Framework for Structured Analysis and Design Models, Häftad

Häftad, Engelska, 2009

689 kr

Skickas inom 7-10 vardagar
D. A. (University of Oxford) Wolfram, D. A. Wolfram - The Clausal Theory of Types, Häftad

Häftad, Engelska, 2009

509 kr

Skickas inom 7-10 vardagar
Subrata (University of Southwestern Louisiana) Dasgupta, Subrata Dasgupta, Subrata DasGupta - Design Theory and Computer Science, Häftad

Häftad, Engelska, 2009

1 149 kr

Skickas inom 7-10 vardagar
Gerhard Brewka - Nonmonotonic Reasoning, Häftad

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar
Gerhard Brewka - Nonmonotonic Reasoning, Inbunden

Inbunden, Engelska, 1991

1 219 kr

Skickas inom 7-10 vardagar
Subrata (University of Southwestern Louisiana) Dasgupta, Subrata Dasgupta - Design Theory and Computer Science, Inbunden

Inbunden, Engelska, 1991

2 719 kr

Skickas inom 7-10 vardagar
Terese, Jan Willem Klop, Roel de Vrijer - Term Rewriting Systems, Inbunden

Inbunden, Engelska, 2003

3 629 kr

Skickas inom 7-10 vardagar
T. H. (The University of Hong Kong) Tse, T. H. Tse - A Unifying Framework for Structured Analysis and Design Models, Inbunden

Inbunden, Engelska, 1991

2 329 kr

Skickas inom 5-8 vardagar
D. A. (University of Oxford) Wolfram, D. A. Wolfram - The Clausal Theory of Types, Inbunden

Inbunden, Engelska, 1993

1 299 kr

Skickas inom 5-8 vardagar
Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. -R Olderog - Nets, Terms and Formulas, Inbunden

Inbunden, Engelska, 1991

1 969 kr

Skickas inom 7-10 vardagar