Lieferbarkeit
Sprachversion
Thema
Produktform
Maximalpreis
CHF

Suchresultat (programmingtheory)

Tama Gergely, Tamas Gergely, Laszlo Ury - First-Order Programming Theories
Tama Gergely, Tamas Gergely, Laszlo Ury First-Order Programming Theories Englisch 22.04.2014 Taschenbuch CHF 134.00 4-7 Arbeitstage
Rolan Backhouse, Roland Backhouse, Nuno Oliveira, Jose Nuno Oliveira, NUNO OLIVEIRA, … - Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Rolan Backhouse, Roland Backhouse, Nuno Oliveira, Jose Nuno Oliveira, NUNO OLIVEIRA, … Mathematics of Program Construction Englisch 01.07.2009 Taschenbuch CHF 69.00 4-7 Arbeitstage
Thierry Coquand, Pete Dybjer, Peter Dybjer, Bengt Nordström, Bengt Nordström et al, … - Types for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Thierry Coquand, Pete Dybjer, Peter Dybjer, Bengt Nordström, Bengt Nordström et al, … Types for Proofs and Programs Englisch 19.02.2009 Taschenbuch CHF 69.00 4-7 Arbeitstage
Peter Van Roy, Peter Van Roy - Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
Peter Van Roy, Peter Van Roy Multiparadigm Programming in Mozart/Oz Englisch 01.03.2005 Taschenbuch CHF 69.00 4-7 Arbeitstage
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg - Theory Is Forever Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg Theory Is Forever Englisch 29.06.2004 Taschenbuch CHF 69.00 4-7 Arbeitstage
Martin Hofmann - Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
Martin Hofmann Typed Lambda Calculi and Applications Englisch 27.05.2003 Taschenbuch CHF 69.00 4-7 Arbeitstage
Miroslav Bartosek, Jan Pavelka, Gerar Tel, Gerard Tel - SOFSEM'99: Theory and Practice of Informatics 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999. Proceedings
Miroslav Bartosek, Jan Pavelka, Gerar Tel, Gerard Tel SOFSEM'99: Theory and Practice of Informatics Englisch 15.11.2002 Taschenbuch CHF 69.00 4-7 Arbeitstage
Peter Dybjer, Bengt Nordstr¿m, Beng Nordström, Bengt Nordström, Jan Smith - Types for Proofs and Programs International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Peter Dybjer, Bengt Nordstr¿m, Beng Nordström, Bengt Nordström, Jan Smith Types for Proofs and Programs Englisch 22.10.2002 Taschenbuch CHF 69.00 4-7 Arbeitstage
Daniel le Metayer - Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings
Daniel le Metayer Programming Languages and Systems Englisch 20.03.2002 Taschenbuch CHF 69.00 4-7 Arbeitstage
Darrell Raymond, Deric Wood, Derick Wood, Sheng Yu - Automata Implementation First International Workshop on Implementing Automata, London, Ontario, Canada, August 29-31, 1996, Revised Papers
Darrell Raymond, Deric Wood, Derick Wood, Sheng Yu Automata Implementation Englisch 18.03.2002 Taschenbuch CHF 69.00 4-7 Arbeitstage
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs Englisch 20.02.2002 Taschenbuch CHF 69.00 4-7 Arbeitstage
Walid Taha - Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings
Walid Taha Semantics, Applications, and Implementation of Program Generation Englisch 23.08.2001 Taschenbuch CHF 69.00 4-7 Arbeitstage
Matthew Dwyer - Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
Matthew Dwyer Model Checking Software Englisch 02.05.2001 Taschenbuch CHF 69.00 4-7 Arbeitstage
Kung-Kiu Lau - Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Kung-Kiu Lau Logic Based Program Synthesis and Transformation Englisch 01.05.2001 Taschenbuch CHF 69.00 4-7 Arbeitstage
Olivier Danvy, Andrzej Filinski - Programs as Data Objects Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
Olivier Danvy, Andrzej Filinski Programs as Data Objects Englisch 25.04.2001 Taschenbuch CHF 69.00 4-7 Arbeitstage
Samson Abramsky - Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Samson Abramsky Typed Lambda Calculi and Applications Englisch 20.04.2001 Taschenbuch CHF 69.00 4-7 Arbeitstage
C Mitchell, C Mitchell, M. Hagiya, Masam Hagiya, Masami Hagiya, … - Theoretical Aspects of Computer Software International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings
C Mitchell, C Mitchell, M. Hagiya, Masam Hagiya, Masami Hagiya, … Theoretical Aspects of Computer Software Englisch 01.01.1994 Taschenbuch CHF 69.00 4-7 Arbeitstage
Wolfgan Thomas, Wolfgang Thomas - Foundations of Software Science and Computation Structures Second International Conference, FOSSACS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Nederlands, March 22-28, 1999. Proceedings.
Wolfgan Thomas, Wolfgang Thomas Foundations of Software Science and Computation Structures Englisch 01.01.1960 Taschenbuch CHF 69.00 4-7 Arbeitstage
W. Penczek, Wojciec Penczek, Wojciech Penczek, Szalas, Szalas, … - Mathematical Foundations of Computer Science 1996 21st International Symposium, MFCS '96, Crakow, Poland, September 2-6, 1996. Proceedings
W. Penczek, Wojciec Penczek, Wojciech Penczek, Szalas, Szalas, … Mathematical Foundations of Computer Science 1996 Englisch 01.01.1960 Taschenbuch CHF 134.00 4-7 Arbeitstage
Jör Flum, Jörg Flum, Rodriguez-Artalejo, Rodriguez-Artalejo, Mario Rodriguez-Artalejo - Computer Science Logic (CSL '99) 13th International Workshop, CSL '99, Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings
Jör Flum, Jörg Flum, Rodriguez-Artalejo, Rodriguez-Artalejo, Mario Rodriguez-Artalejo Computer Science Logic (CSL '99) Englisch 01.01.1960 Taschenbuch CHF 69.00 4-7 Arbeitstage