Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Data-Driven Process Discovery and Analysis [Recurso electrónico] : First International Symposium, SIMPDA 2011, Campione dÌ{u1498}©Italia, Italy, June 29- July 1, 2011, Revised Selected Papers / edited by Karl Aberer, Ernesto Damiani, Tharam Dillon. by Aberer, Karl | Damiani, Ernesto | Dillon, Tharam. Series: Lecture Notes in Business Information Processing ; 116Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Tika in action / Chris A. Mattmann, Jukka L. Zitting. by Mattmann, Chris A | Zitting, Jukka L. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Shelter Island, NY : Manning, c2012Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Location, call number: 681.3.06APA/MAT/tik, ...
|
|
|
Bioinformatics Research and Applications [Recurso electrónico] : Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007. Proceedings / edited by Ion Mandoiu, Alexander Zelikovsky. by Mandoiu, Ion | Zelikovsky, Alexander | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4463Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies [Recurso electrónico] : First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers. Bo Chen, Mike Paterson, Guochuan Zhang by Chen, Bo | Paterson, Mike | Zhang, Guochuan | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4614Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
KI 2007: Advances in Artificial Intelligence [Recurso electrónico] : 30th Annual German Conference on AI, KI 2007, OsnabrÃơck, Germany, September 10-13, 2007. Proceedings / edited by Joachim Hertzberg, Michael Beetz, Roman Englert. by Hertzberg, Joachim | Beetz, Michael | Englert, Roman | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4667Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
Electronic Healthcare [Recurso electrónico] : Second International ICST Conference, eHealth 2009, Istanbul, Turkey, September 23-15, 2009, Revised Selected Papers / edited by Patty Kostkova. by Kostkova, Patty | SpringerLink (Online service). Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 27Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available.
|
|
|
Towards Mechanized Mathematical Assistants [Recurso electrónico] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Manuel Kauers, Manfred Kerber, Robert Miner, W by Kauers, Manuel | Kerber, Manfred | Miner, Robert | Windsteiger, Wolfgang | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4573Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
Theorie and Applications of Formal Argumentation [Recurso electrónico] : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers / edited by Sanjay Modgil, Nir Oren, Francesca Toni. by Modgil, Sanjay | Oren, Nir | Toni, Francesca. Series: Lecture Notes in Computer Science ; 7132Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Model-Based Software and Data Integration [Recurso electrónico] : First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings / edited by Ralf-Detlef Kutsche, Nikola Milanovic. by Kutsche, Ralf-Detlef | Milanovic, Nikola | SpringerLink (Online service). Series: Communications in Computer and Information Science ; 8Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Texto completo Availability: No items available.
|
|
|
Advances in Computational Science and Engineering [Recurso electrónico] : Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Laurence T. Yang, Jong Hyuk Park, Alan Chin-Chen Chang, Thanos Vasilakos, Yan Zhang, Damien Sauveron, Xingang Wang, Young-Sik Jeong. by Kim, Tai-hoon | Yang, Laurence T | Park, Jong Hyuk | Chang, Alan Chin-Chen | Vasilakos, Thanos | Zhang, Yan | Sauveron, Damien | Wang, Xingang | Jeong, Young-Sik | SpringerLink (Online service). Series: Communications in Computer and Information Science ; 28Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.
|