|
601.
|
Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz.
by Farré, Jacques | Litovsky, Igor | Schmitz, Sylvain | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
602.
|
Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / edited by Antti Valmari.
by Valmari, Antti | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
603.
|
Data Mining for Biomedical Applications [electronic resource] : PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006. Proceedings / edited by Jinyan Li, Qiang Yang, Ah-Hwee Tan.
by Li, Jinyan | Yang, Qiang | Tan, Ah-Hwee | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
604.
|
Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni.
by Baldoni, Matteo | Endriss, Ulle | Omicini, Andrea | Torroni, Paolo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
605.
|
Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / edited by Bart Preneel, Stafford Tavares.
by Preneel, Bart | Tavares, Stafford | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
606.
|
Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Pierre Collet, Marco Tomassini, Marc Ebner, Steven Gustafson, Anikó Ekárt.
by Collet, Pierre | Tomassini, Marco | Ebner, Marc | Gustafson, Steven | Ekárt, Anikó | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
607.
|
Information Security Applications [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Joo-Seok Song, Taekyoung Kwon, Moti Yung.
by Song, Joo-Seok | Kwon, Taekyoung | Yung, Moti | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
608.
|
Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems [electronic resource] : AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by Peyman Faratin, Juan A. Rodríguez-Aguilar.
by Faratin, Peyman | Rodríguez-Aguilar, Juan A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
609.
|
Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings / edited by João P. Hespanha, Ashish Tiwari.
by Hespanha, João P | Tiwari, Ashish | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
610.
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Jens Gottlieb, Günther R. Raidl.
by Gottlieb, Jens | Raidl, Günther R | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
611.
|
Knowledge Discovery from XML Documents [electronic resource] : First International Workshop, KDXD 2006, Singapore, April 9, 2006. Proceedings / edited by Richi Nayak, Mohammed J. Zaki.
by Nayak, Richi | Zaki, Mohammed J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
612.
|
Neural Nets [electronic resource] : 16th Italian Workshop on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers / edited by Bruno Apolloni, Maria Marinaro, Giuseppe Nicosia, Roberto Tagliaferri.
by Apolloni, Bruno | Marinaro, Maria | Nicosia, Giuseppe | Tagliaferri, Roberto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
613.
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 10th Pacific-Asia Conference, PAKDD 2006, Singapore, April 9-12, 2006. Proceedings / edited by Wee-Keong Ng, Masaru Kitsuregawa, Jianzhong Li, Kuiyu Chang.
by Ng, Wee-Keong | Kitsuregawa, Masaru | Li, Jianzhong | Chang, Kuiyu | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
614.
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi.
by Rothlauf, Franz | Branke, Jürgen | Cagnoni, Stefano | Costa, Ernesto | Cotta, Carlos | Drechsler, Rolf | Lutton, Evelyne | Machado, Penousal | Moore, Jason H | Romero, Juan | Smith, George D | Squillero, Giovanni | Takagi, Hideyuki | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
615.
|
Transactions on Computational Systems Biology IV [electronic resource] / edited by Corrado Priami, Luca Cardelli, Stephen Emmott.
by Priami, Corrado | Cardelli, Luca | Emmott, Stephen | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
616.
|
Knowledge Discovery in Inductive Databases [electronic resource] : 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers / edited by Francesco Bonchi, Jean-François Boulicaut.
by Bonchi, Francesco | Boulicaut, Jean-François | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
617.
|
Research in Computational Molecular Biology [electronic resource] : 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings / edited by Alberto Apostolico, Concettina Guerra, Sorin Istrail, Pavel A. Pevzner, Michael Waterman.
by Apostolico, Alberto | Guerra, Concettina | Istrail, Sorin | Pevzner, Pavel A | Waterman, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
618.
|
Smart Card Research and Advanced Applications [electronic resource] : 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedings / edited by Josep Domingo-Ferrer, Joachim Posegga, Daniel Schreckling.
by Domingo-Ferrer, Josep | Posegga, Joachim | Schreckling, Daniel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
619.
|
Database Systems for Advanced Applications [electronic resource] : 11th International Conference, DASFAA 2006, Singapore, April 12-15, 2006. Proceedings / edited by Mong Lee, Kian-Lee Tan, Vilas Wuwongse.
by Lee, Mong | Tan, Kian-Lee | Wuwongse, Vilas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
620.
|
Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch.
by MacCaull, Wendy | Winter, Michael | Düntsch, Ivo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|