Ergebnisse filtern
-
- 9
- 7
-
- 2
- 1
- 2
- 3
- 2
- 2
- 1
- 3
-
- 1
- 2
- 2
- 8
- 1
- 2
-
- 13
- 3
-
- 16
-
- 16
-
- 16
-
Arbab / Talcott Coordination Models and Languages
5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-46000-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Talcott / Arbab Coordination Models and Languages
5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43410-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sieg / Sommer / Talcott Reflections on the Foundations of Mathematics
Essays in Honor of Solomon FefermanErscheinungsjahr 2020Verlag: Cambridge University PressISBN: 978-1-316-99881-6Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)128,99 € (inkl. MwSt.)
sofort verfügbar -
Sieg / Sommer / Talcott Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Lecture Notes in Logic 151. Auflage 2002Verlag: Taylor & Francis eBooksISBN: 978-1-040-18831-6Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)71,49 € (inkl. MwSt.)
sofort verfügbar -
Sieg / Sommer / Talcott Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Lecture Notes in Logic 151. Auflage 2002Verlag: Taylor & Francis eBooksISBN: 978-1-4398-6376-3Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)71,49 € (inkl. MwSt.)
sofort verfügbar -
Lee / Talcott / Mousavi Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th BirthdayErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-85133-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lee / Mousavi / Talcott Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th BirthdayErscheinungsjahr 2025Verlag: Springer International PublishingISBN: 978-3-031-85134-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar -
Heinrich / Durán / Talcott Composing Model-Based Analysis Tools
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81915-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Martí-Oliet / Talcott / Ölveczky Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23164-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heinrich / Zschaler / Durán Composing Model-Based Analysis Tools
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81914-9Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Martí-Oliet / Ölveczky / Talcott Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23165-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Heinrich / Zschaler / Durán Composing Model-Based Analysis Tools
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81917-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nigam / Ban Kirigin / Talcott Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-62076-9Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nigam / Ban Kirigin / Talcott Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-62077-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark64,19 € (inkl. MwSt.)
sofort verfügbar -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71940-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic2007Verlag: SpringerISBN: 978-3-540-71999-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort