Refine your search

Your search returned 9 results. Subscribe to this search

|
1. Hybrid Systems: Computation and Control (vol. # 3414) [Recurso electrónico] / 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings edited by Manfred Morari, Francesca Rossi, Lothar Thiele. by Morari, Manfred. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
2. Hybrid Systems: Computation and Control (vol. # 3927) [Recurso electrónico] / 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings edited by Joao Hespanha, Ashish Tiwari. by Hespanha, Joao. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

3. Automotive Software- Connected Services in Mobile Networks [Recurso electrónico] / First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers edited by Manfred Broy, Ingolf KrÃơger, Michael by Broy, Manfred. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

4. Task Models and Diagrams for Users Interface Design [Recurso electrónico] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers / edited by Karin Coninx, Kris Luyten, Kevin A. Schneider. by Coninx, Karin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

5. Models in Software Engineering [Recurso electrónico] : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers / edited by Jörg Kienzle. by Kienzle, Jörg. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

6. Tests and Proofs [Recurso electrónico] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand. by Brucker, Achim D. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

7. Tests and Proofs [Recurso electrónico] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand. by Brucker, Achim D. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

8. Conceptual Modeling [Recurso electrónico] : 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings / edited by Paolo Atzeni, David Cheung, Sudha Ram. by Atzeni, Paolo. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

9. Transactions on Aspect-Oriented Software Development IX [Recurso electrónico] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Leavens, Gary T. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Powered by Koha