Refine your search

Your search returned 4 results. Subscribe to this search

|
1. Simulation, Modeling, and Programming for Autonomous Robots [Recurso electrónico] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner. by Noda, Itsuki. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Log in to add tags. Add to cart
2. Leveraging Applications of Formal Methods, Verification, and Validation [Recurso electrónico] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / edited by Reiner HÃ{u8BAC}e, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen. by HÃ{u8BAC}e, Reiner. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

3. Transactions on Petri Nets and Other Models of Concurrency VI [Recurso electrónico] / edited by Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen. by Jensen, Kurt. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

4. Swarm, Evolutionary, and Memetic Computing [Recurso electrónico] : Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings / edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Pradipta Kumar Nanda. by Panigrahi, Bijaya Ketan. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Powered by Koha