| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
(Buch) Sprache: English
Veröffentlichung: Juni 1996
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
 | Algebraic Methods: Theory, Tools and Applications
(Buch) Sprache: English
Veröffentlichung: September 1989
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
 | Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge - 6th European MOOCs Stakeholders Summit, EMOOCs 2019,
(Buch) Sprache: English
Veröffentlichung: Mai 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and
(Buch) Sprache: English
Veröffentlichung: März 2009
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
(Buch) Sprache: English
Veröffentlichung: Oktober 2015
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Methods of Programming: Selected Papers on the CIP-Project
(Buch) Sprache: English
Veröffentlichung: Oktober 1991
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
(Buch) Sprache: English
Veröffentlichung: August 1991
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 Proceedings
(Buch) Sprache: English
Veröffentlichung: August 1992
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Rev
(Buch) Sprache: English
Veröffentlichung: März 2004
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Sel
(Buch) Sprache: English
Veröffentlichung: November 2003
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
(Buch) Sprache: English
Veröffentlichung: Mai 2011
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Software Engineering for Collective Autonomic Systems: The ASCENS Approach
(Buch) Sprache: English
Veröffentlichung: März 2015
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
(Buch) Sprache: English
Veröffentlichung: November 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987
(Buch) Sprache: English
Veröffentlichung: Februar 1987
(Auf Bestellung)
Einband: Kartoniert | SFr. 66.00
bestellen |
 | STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988, Proceedings
(Buch) Sprache: English
Veröffentlichung: Januar 1988
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
(Buch) Sprache: English
Veröffentlichung: Oktober 2005
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings
(Buch) Sprache: English
Veröffentlichung: Juli 2004
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
| Autor von: |
 | Adapting Proofs-as-Programs: The Curry--Howard Protocol
(Buch) Sprache: English
Veröffentlichung: Juni 2005
(Auf Bestellung)
Einband: Gebunden | SFr. 189.00
bestellen |
 | Adapting Proofs-as-Programs: The Curry--Howard Protocol
(Buch) Sprache: English
Veröffentlichung: November 2010
(Auf Bestellung)
Einband: Kartoniert | SFr. 189.00
bestellen |
 | Elementare Aussagenlogik
(Buch) Sprache: Deutsch
Veröffentlichung: März 1991
(Auf Bestellung)
Einband: Kartoniert | SFr. 71.00
bestellen |
Seite 1 von 2  |
Newsfeed | 
Facebook | 
Twitter
