Refine your search

Your search returned 187 results. Subscribe to this search

|
141. Computer and Computing Technologies in Agriculture V [Recurso electrónico] : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I / edited by Daoliang Li, Yingyi Chen. by Li, Daoliang. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Log in to add tags. Add to cart
142. Advances in Computer Science and Information Technology. Computer Science and Information Technology [Recurso electrónico] : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai. by Meghanathan, Natarajan. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

143. Technological Innovation for Value Creation [Recurso electrónico] : Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings / edited by Luis M. Camarinha-Matos, Ehsan Shahamatnia, GonÃ{u00A7}alo Nunes. by Camarinha-Matos, Luis M. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

144. Information Systems, Technology and Management [Recurso electrónico] : 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings / edited by Sumeet Dua, Aryya Gangopadhyay, Parimala Thulasiraman, Umberto Straccia, Michael Shepherd, Benno Stein. by Dua, Sumeet. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

145. Practical Aspects of Declarative Languages [Recurso electrónico] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings / edited by Claudio Russo, Neng-Fa Zhou. by Russo, Claudio. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

146. Verified Software: Theories, Tools, Experiments [Recurso electrónico] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter MÃ{uCB25}r, Andreas Podelski. by Joshi, Rajeev. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

147. Data Engineering and Management [Recurso electrónico] : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers / edited by Rajkumar Kannan, Frederic Andres. by Kannan, Rajkumar. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

148. Grid and Pervasive Computing Workshops [Recurso electrónico] : International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers / edited by Mika Rautiainen, Timo Korhonen, Edward Mutafungwa, Eila Ovaska, Artem Katasonov, Antti Evesti, Heikki Ailisto, Aaron Quigley, Jonna HÃ{uBAE9}lÃ{uC80E}atasa Milic-Frayling, Jukka Riekki. by Rautiainen, Mika. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

149. Building a National Distributed e-InfrastructureÌ{u1498}£PL-Grid [Recurso electrónico] : Scientific and Technical Achievements / edited by Marian Bubak, Tomasz Szepieniec, Kazimierz Wiatr. by Bubak, Marian. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

150. Conceptual Modelling and Its Theoretical Foundations [Recurso electrónico] : Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday / edited by Antje D©ơsterh©Å{u6D2C} Meike Klettke, Klaus-Dieter Schewe. by D©ơsterh©Å{u6D2C} Antje. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

151. Multi-Agent-Based Simulation XII [Recurso electrónico] : International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers / edited by Daniel Villatoro, Jordi Sabater-Mir, Jaime Sim©Ä{uF813}ichman. by Villatoro, Daniel. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

152. Transactions on Computational Science XV [Recurso electrónico] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan. by Gavrilova, Marina L. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

153. Logic for Programming, Artificial Intelligence, and Reasoning [Recurso electrónico] : 18th International Conference, LPAR-18, M©â{uDCA9}da, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bj©ırner, Andrei Voronkov. by Bj©ırner, Nikolaj. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

154. Foundations of Software Science and Computational Structures [Recurso electrónico] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 Ì{u1498}£ April 1, 2012. Proceedings / edited by Lars Birkedal. by Birkedal, Lars. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

155. Tools and Algorithms for the Construction and Analysis of Systems [Recurso electrónico] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24226}0ÑØ̕£ April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara KÃœnig. by Flanagan, Cormac. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

156. Programming Multi-Agent Systems [Recurso electrónico] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / edited by Rem Collier, JÃ{u29E5}n Dix, Peter Novák by Collier, Rem. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

157. Declarative Agent Languages and Technologies IX [Recurso electrónico] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff. by Sakama, Chiaki. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

158. Networked Digital Technologies [Recurso electrónico] : 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II / edited by Rachid Benlamri. by Benlamri, Rachid. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

159. On the Move to Meaningful Internet Systems: OTM 2012 [Recurso electrónico] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I / edited by Robert Meersman, Herv©â{uD810}anetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz. by Meersman, Robert. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

160. On the Move to Meaningful Internet Systems: OTM 2012 [Recurso electrónico] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II / edited by Robert Meersman, Herv©â{uD810}anetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz. by Meersman, Robert. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Powered by Koha