Refine your search

Your search returned 570 results. Subscribe to this search

|
81. Data Management in a Connected World [Recurso electrónico] / Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday edited by Theo HÃÞrder, Wolfgang Lehner. by HÃÞrder, Theo. 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
82. Applications and Theory of Petri Nets 2005 [Recurso electrónico] / 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings edited by Gianfranco Ciardo, Philippe Darondeau. by Ciardo, Gianfranco. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

84. SDL 2005: Model Driven [Recurso electrónico] / 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings edited by Andreas Prinz, Rick Reed, Jeanne Reed. by Prinz, Andreas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

85. Advances in Grid Computing - EGC 2005 [Recurso electrónico] / European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers edited by M. BubakA.G. Hoekstra, T. Priol, A. Reinefeld et al. by Bubak, M. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

86. Computer Aided Verification (vol. # 3576) [Recurso electrónico] / 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings edited by Kousha Etessami, Sriram K. Rajamani. by Etessami, Kousha. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

87. Principles of Distributed Systems (vol. # 3544) [Recurso electrónico] / 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers edited by Teruo Higashino. by Higashino, Teruo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

88. Metainformatics [Recurso electrónico] / International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers edited by Uffe Kock Wiil. by Kock Wiil, Uffe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

89. Engineering Societies in the Agents World V [Recurso electrónico] / 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers edited by Marie-Pierre Gleizes, Andrea Omicini, Franco Zambo by Gleizes, Marie-Pierre. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

90. Biomimetic Neural Learning for Intelligent Robots [Recurso electrónico] / Intelligent Systems, Cognitive Robotics, and Neuroscience edited by Mark Elshaw, GÃơnther Palm, Stefan Wermter. by Elshaw, Mark. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

91. Nonlinear Speech Modeling and Applications [Recurso electrónico] / Advanced Lectures and Revised Selected Papers edited by Gerard Chollet, Anna Esposito, Marcos Faundez-Zanuy, Maria Marinaro. by Chollet, Gerard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

92. Automata, Languages and Programming (vol. # 3580) [Recurso electrónico] / 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi by Caires, Luis. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

93. FM 2005: Formal Methods [Recurso electrónico] / International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

94. Ubiquitous Computing Systems (vol. # 3598) [Recurso electrónico] / Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers edited by Hitomi Murakami, Hideyuki Nakashima, Hideyuki Tokuda, Michiaki Yasumur by Murakami, Hitomi. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

95. Advanced Data Mining and Applications (vol. # 3584) [Recurso electrónico] / First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings edited by Zhao Yang Dong, Xue Li, Shuliang Wang. by Dong, Zhao Yang. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

96. ECOOP 2005 - Object-Oriented Programming [Recurso electrónico] / 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings edited by Andrew Black. by Black, Andrew. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

97. Automated Deduction - CADE-20 [Recurso electrónico] / 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings edited by Robert Nieuwenhuis. by Nieuwenhuis, Robert. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

98. Advanced Distributed Systems [Recurso electrónico] / 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers edited by Victor Lrios Rosillo, Felix F. Ramos, Herwig Unger. by Lrios Rosillo, Victor. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

99. Parallel Computing Technologies [Recurso electrónico] / 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings edited by Malyshkin Victor. by Victor, Malyshkin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

Powered by Koha