Refine your search

Your search returned 721 results. Subscribe to this search

|
381. RoboCup 2006: Robot Soccer World Cup X [Recurso electrónico] / edited by Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi. by Lakemeyer, Gerhard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

Log in to add tags. Add to cart
382. Architecting Dependable Systems IV [Recurso electrónico] / edited by Rogério Lemos, Cristina Gacek, Alexander Romanovsky. by Lemos, Rogério. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

383. Static Analysis [Recurso electrónico] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé. by Nielson, Hanne Riis. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

384. Model Checking and Artificial Intelligence [Recurso electrónico] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio. by Edelkamp, Stefan. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

385. Coordination, Organizations, Institutions, and Norms in Agent Systems II [Recurso electrónico] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. by Noriega, Pablo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

386. Euro-Par 2007 Parallel Processing [Recurso electrónico] : 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings / edited by Anne-Marie Kermarrec, Luc Bougé, Thierry Priol. by Kermarrec, Anne-Marie. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

387. Computational Science and Its Applications - ICCSA 2007 [Recurso electrónico] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I / edited by Osvaldo Gervasi, Marina L. Gavrilova. by Gervasi, Osvaldo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

388. Computational Science and Its Applications - ICCSA 2007 [Recurso electrónico] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova. by Gervasi, Osvaldo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

389. Computational Science and Its Applications - ICCSA 2007 [Recurso electrónico] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III / edited by Osvaldo Gervasi, Marina L. Gavrilova. by Gervasi, Osvaldo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

390. Theorem Proving in Higher Order Logics [Recurso electrónico] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt. by Schneider, Klaus. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

391. Frontiers of Combining Systems [Recurso electrónico] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / edited by Boris Konev, Frank Wolter. by Konev, Boris. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

392. Cryptographic Hardware and Embedded Systems - CHES 2007 [Recurso electrónico] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings / edited by Pascal Paillier, Ingrid Verbauwhede. by Paillier, Pascal. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

393. Parallel and Distributed Processing and Applications [Recurso electrónico] : 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings. Ivan Stojmenovic, Ruppa K. Thulasiram, Laurence T. Yang, Weijia Ji by Stojmenovic, Ivan. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

394. Software Process Improvement [Recurso electrónico] : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings / edited by Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz. by Abrahamsson, Pekka. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

395. Frontiers of High Performance Computing and Networking ISPA 2007 Workshops [Recurso electrónico] : ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007. by Thulasiraman, Parimala. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

396. Cooperative Design, Visualization, and Engineering [Recurso electrónico] : 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings / edited by Yuhua Luo. by Luo, Yuhua. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

397. Network and Parallel Computing [Recurso electrónico] : IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings / edited by Keqiu Li, Chris Jesshope, Hai Jin, Jean-Luc Gaudiot. by Li, Keqiu. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

398. Human-Computer Interaction - INTERACT 2007 [Recurso electrónico] : 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I. Cécilia Baranauskas, Philippe Palanque, Julio Abascal, Simon by Baranauskas, Cécilia. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

399. Human-Computer Interaction - INTERACT 2007 [Recurso electrónico] : 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II. Cécilia Baranauskas, Philippe Palanque, Julio Abascal, Simo by Baranauskas, Cécilia. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

400. Ad-Hoc, Mobile, and Wireless Networks [Recurso electrónico] : 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings / edited by Evangelos Kranakis, Jaroslav Opatrny. by Kranakis, Evangelos. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

Powered by Koha