UB FFM: Suchergebnisse - Transformation-Based Reactive Systems Development

1
2
3
4
weiter
[4]

Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings

Bertran, Miquel (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1997

E-Book

Logic based program synthesis and transformation : 8th international workshop ; selected papers

Flener, Pierre (Herausgeber)

Berlin : Springer, 1999

Buch

Modelling, analysis, and design of hybrid systems

Engell, Sebastian (Hrsg.)

Berlin [u.a.] : Springer, 2002

Buch

Model Driven Engineering Languages and Systems : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings

France, Robert B (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

From Model-Driven Design to Resource Management for Distributed Embedded Systems : IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal

Kleinjohann, Bernd (Herausgeber)

1st ed. 2006

New York, NY : Springer US, 2006

E-Book

Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Hinchey, Michael G (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Martí-Oliet, Narciso (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Satellite Events at the MoDELS 2005 Conference : MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers

Bruel, Jean-Michel (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Current Trends in Web Engineering, ICWE 2010 Workshops : 10th International Conference, ICWE 2010 Workshops, Vienna, Austria, July 5-6, 2010, Revised Selected Papers

Daniel, Florian (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Liu, Zhiming (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

Aoki, Toshiaki (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Rapid Integration of Software Engineering Techniques : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

Guelfi, Nicolas (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Artificial Intelligence and Computational Intelligence : 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012, Proceedings

Lei, Jingsheng (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Meseguer, José (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Fiadeiro, José Luis (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

SDL 2005: Model Driven : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings

Prinz, Andreas (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science : Dagstuhl 2014, June 15 - 18, 2014

Jentzsch, Anja (Herausgeber)

1. Auflage

Berlin : Pro Business, 2014

Buch

Fundamental approaches to software engineering : first international conference ; proceedings

Astesiano, Egidio (Herausgeber)

Berlin : Springer, 1998

Buch

Fundamental Approaches to Software Engineering : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Cerioli, Maura (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Molecular genetics of bacteria

Snyder, Larry

4. rev. ed.

Washington, DC : ASM Press, 2013

Buch

1
2
3
4
weiter
[4]

Treffer 1 - 20 von 71

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken