Refine your search

Your search returned 14 results. Subscribe to this search

|
1. Formal Methods in Software and Systems Modeling [Recurso electrónico] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday edited by Hans-JÃœrg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al. by Kreowski, Hans-JÃœrg. 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. # 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:

3. Theoretical Aspects of Computing - ICTAC 2004 [Recurso electrónico] / First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers edited by Keijiro Araki, Zhiming Liu. by Araki, Keijiro. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

4. Foundations of Software Science and Computational Structures (vol. # 3441) [Recurso electrónico] / 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edite by Sassone, Vladimiro. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

5. Foundations of Software Science and Computational Structures (vol. # 3921) [Recurso electrónico] / 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn by Aceto, Luca. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

6. 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:

7. Mathematics of Program Construction [Recurso electrónico] / 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings edited by Tarmo Uustalu. by Uustalu, Tarmo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

8. 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:

9. Graph Transformations [Recurso electrónico] / Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings edited by Andrea CorradiniHartmut Ehrig, Ugo Montanari, Leila Ribeiro et al. by Corradini, Andrea. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

10. Theoretical Aspects of Computing - ICTAC 2006 [Recurso electrónico] / Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. by Barkaoui, Kamel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

11. Theoretical Aspects of Computing - ICTAC 2007 [Recurso electrónico] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. by Jones, Cliff B. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

12. Foundations of Software Science and Computational Structures [Recurso electrónico] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 Ì{u1498}£ April 1, 2012. Proceedings / edited by Lars Birkedal. by Birkedal, Lars. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

13. Software Service and Application Engineering [Recurso electrónico] : Essays Dedicated to Bernd KrÃ{uD972} on the Occasion of His 65th Birthday / edited by Maritta Heisel. by Heisel, Maritta. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

14. Application and Theory of Petri Nets [Recurso electrónico] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings / edited by Serge Haddad, Lucia Pomello. by Haddad, Serge. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Powered by Koha