Refine your search

Your search returned 1660 results.

|
1.
Logical aspects of computational linguistics : first international conference, LACL '96, Nancy, France, April 1996 selected papers / Christian Retore (ed.)

by LACL '96 (1996 : Nancy, Francia).

Material type: Text Text; Format: print Publisher: Berlin [etc.] : Springer, 1997Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-45/2-084.

2.
Digital libraries : current issues workshop DL 9̀4 Newark, NJ, USA, May 19-20, 1994 / Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha

by Workshop on Digital Libraries (1994. Newark, New Jersey, USA) | Adam, Nabil R | Bhargava, Bharat K | Yesha, Yelena.

Material type: Text Text; Format: print Publisher: Berlin : Springer, 1995Availability: Items available for loan: 07. BIBLIOTECA CIENCIAS SOCIALES (1). Location(s): 04/2-022.

3.
Research and advanced technology for digital libraries : First European Conference, ECDL '97, Pisa, Italy, September 1-3, 1997, proceedings / Carol Peters, Costantino Thanos, (eds.)

by European Conference on Digital Libraries (1a. 1997. Pisa) | Peters, Carol | Thanos, C., Costantino.

Material type: Text Text; Format: print Publisher: Berlin ; London : Springer, c1997Availability: Items available for loan: 07. BIBLIOTECA CIENCIAS SOCIALES (1). Location(s): 05/1-015.

4.
Advanced Intelligent Computing [Recurso electrónico] : 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers / edited by De-Shuang Huang, Yong Gan, Vitoantonio Bevilacqua, Juan Carlos Figueroa.

by Huang, De-Shuang | Gan, Yong | Bevilacqua, Vitoantonio | Figueroa, Juan Carlos.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

5.
Security and Intelligent Information Systems [Recurso electrónico] : International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers / edited by Pascal Bouvry, MieczysÃ{u1521}w A. KÃ{u152F}potek, Franck Leprévost, MaÃ{u1527}orzata Marciniak, Agnieszka Mykowiecka, Henryk RybiÃ{u1573}ki.

by Bouvry, Pascal | KÃ{u152F}potek, MieczysÃ{u1521}w A | Leprévost, Franck | Marciniak, MaÃ{u1527}orzata | Mykowiecka, Agnieszka | RybiÃ{u1573}ki, Henryk.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

6.
RFID. Security and Privacy [Recurso electrónico] : 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers / edited by Ari Juels, Christof Paar.

by Juels, Ari | Paar, Christof.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

7.
Distributed Computing and Networking [Recurso electrónico] : 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings / edited by Luciano Bononi, Ajoy K. Datta, Stéphane Devismes, Archan Misra.

by Bononi, Luciano | Datta, Ajoy K | Devismes, Stéphane | Misra, Archan.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

8.
Perception and Machine Intelligence [Recurso electrónico] : First Indo-Japan Conference, PerMIn 2012, Kolkata, India, January 12-13, 2012. Proceedings / edited by Malay K. Kundu, Sushmita Mitra, Debasis Mazumdar, Sankar K. Pal.

by Kundu, Malay K | Mitra, Sushmita | Mazumdar, Debasis | Pal, Sankar K.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

9.
Computer Aided Systems Theory Ì{u1498}£ EUROCAST 2011 [Recurso electrónico] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I / edited by Roberto Moreno-D©Æāz, Franz Pichler, Alexis Quesada-Arencibia.

by Moreno-D©Æāz, Roberto | Pichler, Franz | Quesada-Arencibia, Alexis.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

10.
SOFSEM 2012: Theory and Practice of Computer Science [Recurso electrónico] : 38th Conference on Current Trends in Theory and Practice of Computer Science, Å{u0A6E}dlerÅv̄ MlÃ{uEB20}Czech Republic, January 21-27, 2012. Proceedings / edited by Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, GyÃœrgy Turán.

by Bieliková, Mária | Friedrich, Gerhard | Gottlob, Georg | Katzenbeisser, Stefan | Turán, GyÜrgy.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

11.
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 | Andres, Frederic.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

12.
Verification, Model Checking, and Abstract Interpretation [Recurso electrónico] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko.

by Kuncak, Viktor | Rybalchenko, Andrey.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

13.
Algebraic and Numeric Biology [Recurso electrónico] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers / edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov.

by Horimoto, Katsuhisa | Nakatsui, Masahiko | Popov, Nikolaj.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

14.
Distributed Computing and Internet Technology [Recurso electrónico] : 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings / edited by R. Ramanujam, Srini Ramaswamy.

by Ramanujam, R | Ramaswamy, Srini.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

15.
Applied Parallel and Scientific Computing [Recurso electrónico] : 10th International Conference, PARA 2010, Reykjav©Æk̄, Iceland, June 6-9, 2010, Revised Selected Papers, Part II / edited by Kristj©Å{uE80A}©Ä{uE873}son.

by J婀{uE873}son, Kristj婁{uEB80}.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

16.
Algorithms for Sensor Systems [Recurso electrónico] : 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbr©ơcken, Germany, September 8-9, 2011, Revised Selected Papers / edited by Thomas Erlebach, Sotiris Nikoletseas, Pekka Orponen.

by Erlebach, Thomas | Nikoletseas, Sotiris | Orponen, Pekka.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

17.
Architecture of Computing Systems Ì{u1498}£ ARCS 2012 [Recurso electrónico] : 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings / edited by Andreas Herkersdorf, Kay R©Å{uD972}, Uwe Brinkschulte.

by Herkersdorf, Andreas | R婁{uD972}, Kay | Brinkschulte, Uwe.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

18.
Principles of Security and Trust [Recurso electrónico] : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / edited by Pierpaolo Degano, Joshua D. Guttman.

by Degano, Pierpaolo | Guttman, Joshua D.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

19.
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 | Voronkov, Andrei.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

20.
Information Processign in Cells and Tissues [Recurso electrónico] : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 Ì{u1498}£ April 2, 2012. Proceedings / edited by Michael A. Lones, Stephen L. Smith, Sarah Teichmann, Felix Naef, James A. Walker, Martin A. Trefzer.

by Lones, Michael A | Smith, Stephen L | Teichmann, Sarah | Naef, Felix | Walker, James A | Trefzer, Martin A.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

Powered by Koha