Refine your search

Your search returned 721 results. Subscribe to this search

|
341. Programming Multi-Agent Systems [Recurso electrónico] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, JÃơrgen Dix, Amal El Fallah Seghrouchni. by Bordini, Rafael H. 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
342. 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:

343. Coordination Models and Languages [Recurso electrónico] / 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Amy L. Murphy, Jan Vitek. by Murphy, Amy L. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

344. Computer Supported Cooperative Work in Design III [Recurso electrónico] : 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers. Weiming Shen, Junzhou Luo, Zongkai Lin, Jean-Paul A. BarthÃs̈, Qi by Shen, Weiming. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

345. Distributed Applications and Interoperable Systems [Recurso electrónico] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings edited by Jadwiga Indulska, Kerry Raymond. by Indulska, Jadwiga. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

346. Model Driven Architecture- Foundations and Applications [Recurso electrónico] / Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings edited by David Akehurst, Regis Vogel, Richard Paige. by Akehurst, David. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

347. Algorithms and Architectures for Parallel Processing [Recurso electrónico] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings / edited by Hai Jin, Omer F. Rana, Yi Pan, Viktor K. Prasanna. by Jin, Hai. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

348. Formal Methods for Open Object-Based Distributed Systems [Recurso electrónico] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Bonsangue, Marcello M. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

349. Web Reasoning and Rule Systems [Recurso electrónico] / First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. by Marchiori, Massimo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

350. Managing Traffic Performance in Converged Networks [Recurso electrónico] : 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings / edited by Lorne Mason, Tadeusz Drwiega, James Yan. by Mason, Lorne. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

351. Testing of Software and Communicating Systems [Recurso electrónico] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings. Alexandre Petrenko by Petrenko, Alexandre. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

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

353. Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti. by Olivetti, Nicola. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

354. Human-Computer Interaction. Interaction Design and Usability [Recurso electrónico] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Julie A. Jacko. by Jacko, Julie A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

355. Human-Computer Interaction. Interaction Platforms and Techniques [Recurso electrónico] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / edited by Julie A. Jacko. by Jacko, Julie A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

356. Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments [Recurso electrónico] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III / edited by Julie A. Jacko. by Jacko, Julie A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

357. Human-Computer Interaction. HCI Applications and Services [Recurso electrónico] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV / edited by Julie A. Jacko. by Jacko, Julie A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

358. Software Engineering for Multi-Agent Systems V [Recurso electrónico] : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

359. Rewriting, Computation and Proof [Recurso electrónico] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, HélÃn̈e Kirchner. by Comon-Lundh, Hubert. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

360. Integrated Formal Methods [Recurso electrónico] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons. by Davies, Jim. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

Powered by Koha