Refine your search

Your search returned 14 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. Embedded Software and Systems (vol. # 3605) [Recurso electrónico] / First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers edited by Jiajun Bu, Chun Chen, Minyi Guo, Zhaohui Wu. by Bu, Jiajun. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

3. Embedded Software and Systems (vol. # 3820) [Recurso electrónico] / Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings edited by Man LinZhaohui Wu, Laurence T. Yang, Wei Zhao et al. by Lin, Man. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

5. Petri Nets and Other Models of Concurrency - ICATPN 2006 [Recurso electrónico] / 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings edited by S by Donatelli, Susanna. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

6. Parallel Problem Solving from Nature - PPSN IX [Recurso electrónico] / 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings edited by Thomas Philip RunarssonHans-Georg Beyer, Edmund Burke, Juan J. Merelo-Guervós by Runarsson, Thomas Philip. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

7. Embedded Software and Systems [Recurso electrónico] / Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings edited by Yann-Hang LeeHeung-Nam Kim, Jong Kim, Yongwan Park et al. by Lee, Yann-Hang. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

8. Petri Nets and Other Models of Concurrency - ICATPN 2007 [Recurso electrónico] / 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding by Kleijn, Jetty. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

9. New Developments in Distributed Applications and Interoperable Systems [Recurso electrónico] : IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17â€Ṭ 2001, Kraków, Poland / edited by Krzysztof ZieliÅ{u3AE9}, Kurt Geihs, Aleksander Laurentowski. by ZieliÅ{u3AE9}, Krzysztof. Material type Archivo de ordenador; Format: electrónico Publication: Boston, MA : Kluwer Academic Publishers, 2002 Availability: No items available:

10. Power Electronics and Instrumentation Engineering [Recurso electrónico] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings / edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan. by Das, Vinu V. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Availability: No items available:

11. Formal Techniques for Networked and Distributed Systems [Recurso electrónico] : FORTE 2001 IFIP TC6/WG6.1 â€{u0CB1}st International Conference on Formal Techniques for Networked and Distributed Systems August 28â€{u3C6C} 2001, Cheju Island, Korea / edited by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee. by Kim, Myungchul. Material type Archivo de ordenador; Format: electrónico Publication: Boston, MA : Kluwer Academic Publishers, 2002 Availability: No items available:

12. Advances in Power Electronics and Instrumentation Engineering [Recurso electrónico] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath. by Das, Vinu V. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Availability: No items available:

13. Scalable Information Systems [Recurso electrónico] : 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers / edited by Peter Mueller, Jian-Nong Cao, Cho-Li Wang. by Mueller, Peter. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Availability: No items available:

14. Nano-Net [Recurso electrónico] : 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings / edited by Alexandre Schmid, Sanjay Goel, Wei Wang, Valeriu Beiu, Sandro Carrara. by Schmid, Alexandre. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Availability: No items available:

Powered by Koha