| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Abstract State Machines 2003: Advances in Theory and Practice - 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
(Buch) Sprache: English
Veröffentlichung: Februar 2003
(Auf Bestellung)
Einband: Kartoniert | SFr. 124.00
bestellen |
 | Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
| | Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
(Buch) Sprache: English
Veröffentlichung: Dezember 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Architecture Design and Validation Methods
(Buch) Sprache: English
Veröffentlichung: März 2000
(Auf Bestellung)
Einband: Gebunden | SFr. 69.00
bestellen |
 | Architecture Design and Validation Methods
(Buch) Sprache: English
Veröffentlichung: Oktober 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Computation Theory and Logic
(Buch) Sprache: English
Veröffentlichung: Juli 1987
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
(Buch) Sprache: English
Veröffentlichung: September 1991
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
(Buch) Sprache: English
Veröffentlichung: September 1992
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
(Buch) Sprache: English
Veröffentlichung: August 1993
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
(Buch) Sprache: English
Veröffentlichung: Juli 1994
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
(Buch) Sprache: English
Veröffentlichung: September 1988
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
(Buch) Sprache: English
Veröffentlichung: Juli 1990
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
(Buch) Sprache: English
Veröffentlichung: September 1989
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
| | Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
(Buch) Sprache: English
Veröffentlichung: Oktober 1996
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
| Autor von: |
 | Abstract State Machines: A Method for High-Level System Design and Analysis
(Buch) Sprache: English
Veröffentlichung: Oktober 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
(Buch) Sprache: Deutsch
Veröffentlichung: März 1992
(Auf Bestellung)
Einband: Kartoniert | SFr. 65.00
bestellen |
 | Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
(Buch) Sprache: Deutsch
Veröffentlichung: Januar 1986
(Auf Bestellung)
Einband: Kartoniert | SFr. 71.00
bestellen |
 | Structures of Computing: A Guide to Practice-Oriented Theory
(Buch) Sprache: English
Veröffentlichung: März 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Subject-Oriented Business Process Management
(Buch) Sprache: English
Veröffentlichung: November 2012
(Auf Bestellung)
Einband: Gebunden | SFr. 69.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
