Ergebnisse filtern
-
- 20
- 4
-
- 13
- 5
- 3
- 3
-
- 20
- 4
-
- 24
-
- 24
-
- 24
-
Abramsky Typed Lambda Calculi and Applications
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-45413-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Abramsky Typed Lambda Calculi and Applications
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41960-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asperti / Rijsbergen / Abramsky The Optimal Implementation of Functional Programming Languages
Erscheinungsjahr 2010Verlag: Cambridge University PressISBN: 978-0-521-62112-0Medium: Buch121,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pitt / Rydeheard / Abramsky Category Theory and Computer Programming
Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-17162-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Carpenter / Rijsbergen / Abramsky The Logic of Typed Feature Structures
With Applications to Unification Grammars, Logic Programs and Constraint ResolutionErscheinungsjahr 2005Verlag: Cambridge University PressISBN: 978-0-521-02254-5Medium: Buch60,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky / Vollmer / Kontinen Dependence Logic
Theory and Applications1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-31801-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vickers / Abramsky / Rijsbergen Topology Via Logic
Erscheinungsjahr 2003Verlag: Cambridge University PressISBN: 978-0-521-57651-2Medium: Buch68,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Winslett / Rijsbergen / Abramsky Updating Logical Databases
Erscheinungsjahr 2004Verlag: Cambridge University PressISBN: 978-0-521-61972-1Medium: Buch52,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gardenfors / Rijsbergen / Abramsky Belief Revision
Erscheinungsjahr 2003Verlag: Cambridge University PressISBN: 978-0-521-54564-8Medium: Buch86,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky / Vollmer / Kontinen Dependence Logic
Theory and ApplicationsSoftcover Nachdruck of the original 1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-81123-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ramsay / Abramsky / Rijsbergen Formal Methods in Artificial Intelligence
Erscheinungsjahr 2009Verlag: Cambridge University PressISBN: 978-0-521-42421-9Medium: Buch62,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McEvoy / Rijsbergen / Abramsky Theoretical Foundations of VLSI Design
Erscheinungsjahr 2003Verlag: Cambridge University PressISBN: 978-0-521-54565-5Medium: Buch69,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Manzano / Rijsbergen / Abramsky Extensions of First-Order Logic
Erscheinungsjahr 2005Verlag: Cambridge University PressISBN: 978-0-521-01902-6Medium: Buch91,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky / Kontinen / Väänänen Dependence Logic
Theory and Applications1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-31803-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Paris / Rijsbergen / Abramsky The Uncertain Reasoner's Companion
A Mathematical PerspectiveErscheinungsjahr 2006Verlag: Cambridge University PressISBN: 978-0-521-03272-8Medium: Buch62,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Olderog / Rijsbergen / Abramsky Nets, Terms and Formulas
Three Views of Concurrent Processes and Their RelationshipErscheinungsjahr 2005Verlag: Cambridge University PressISBN: 978-0-521-01845-6Medium: Buch60,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chaitin / Rijsbergen / Abramsky Algorithmic Information Theory
Erscheinungsjahr 2004Verlag: Cambridge University PressISBN: 978-0-521-61604-1Medium: Buch66,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paulson / Rijsbergen / Abramsky Logic and Computation
Interactive Proof with Cambridge LcfErscheinungsjahr 2003Verlag: Cambridge University PressISBN: 978-0-521-39560-1Medium: Buch70,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baeten / Rijsbergen / Abramsky Applications of Process Algebra
Erscheinungsjahr 2004Verlag: Cambridge University PressISBN: 978-0-521-60750-6Medium: Buch129,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky / Gavoille / Kirchner Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part IIErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14162-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Abramsky / Gavoille / Kirchner Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part IErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14165-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Abramsky / Gavoille / Kirchner Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14161-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky / Gavoille / Kirchner Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14164-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pitt / Curien / Rydeheard Category Theory and Computer Science
Paris, France, September 3-6, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54495-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort