Refine your search

Your search returned 43 results. Subscribe to this search

|
1. Switching and Learning in Feedback Systems [Recurso electrónico] / European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers edited by Roderick Murray-Smith, Robert Shorten. by Murray-Smith, Roderick. 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. 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:

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

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

5. Computational Methods in Systems Biology (vol. # 3082) [Recurso electrónico] / International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers edited by Vincent Danos, Vincent Schachter. by Danos, Vincent. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

7. Operational Semantics for Timed Systems [Recurso electrónico] / A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems edited by Heinrich Rust. by Rust, Heinrich. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

8. Coordination Models and Languages (vol. # 3454) [Recurso electrónico] / 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings edited by Jean-Marie Jacquet, Gian Pietro Picco. by Jacquet, Jean-Marie. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

9. Self-star Properties in Complex Information Systems [Recurso electrónico] / Conceptual and Practical Foundations edited by Ozalp BabaogluChristof Fetzer, Márk Jelasity, Stefano Leonardi et al. by Babaoglu, Ozalp. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

10. Innovations in Applied Artificial Intelligence [Recurso electrónico] / 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceed by Esposito, Floriana. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

11. Distributed and Parallel Computing [Recurso electrónico] / 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings edited by Andrzej Goscinski, Michael by Goscinski, Andrzej. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

12. Self-Stabilizing Systems [Recurso electrónico] / 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 edited by Ted Herman, Sébastien Tixeuil. by Herman, Ted. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

13. Socionics [Recurso electrónico] / Scalability of Complex Social Systems edited by Klaus Fischer, Michael Florian, Thomas Malsch. by Fischer, Klaus. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

14. Technologies for Advanced Heterogeneous Networks [Recurso electrónico] / First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings edited by Kenjiro Cho, Philippe Jacquet. by Cho, Kenjiro. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

15. Independent Component Analysis and Blind Signal Separation [Recurso electrónico] / 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006, Proceedings edited by Justinian Rosca, Deniz Erdogmus, Jose C. Principe, Simon Ha by Rosca, Justinian. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

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

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

18. Coordination Models and Languages (vol. # 4038) [Recurso electrónico] / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Paolo Ciancarini, Herbert Wiklicky. by Ciancarini, Paolo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

19. Unifying Theories of Programming [Recurso electrónico] / First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers edited by Steve Dunne, Bill Stoddart. by Dunne, Steve. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

20. Advances in Applied Artificial Intelligence [Recurso electrónico] / 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Proceedings ed by Ali, Moonis. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Powered by Koha