|
|
5661.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings / edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani.
by Leavens, Gary T [editor.] | O’Hearn, Peter [editor.] | Rajamani, Sriram K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5662.
|
Advances in Bioinformatics and Computational Biology [electronic resource] : 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings / edited by Carlos E. Ferreira, Satoru Miyano, Peter F. Stadler.
by Ferreira, Carlos E [editor.] | Miyano, Satoru [editor.] | Stadler, Peter F [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5663.
|
Soft Computing for Recognition Based on Biometrics [electronic resource] / edited by Patricia Melin, Janusz Kacprzyk, Witold Pedrycz.
by Melin, Patricia [editor.] | Kacprzyk, Janusz [editor.] | Pedrycz, Witold [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5664.
|
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [electronic resource] : AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers / edited by Esther David, Enrico Gerding, David Sarne, Onn Shehory.
by David, Esther [editor.] | Gerding, Enrico [editor.] | Sarne, David [editor.] | Shehory, Onn [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5665.
|
Data Integration in the Life Sciences [electronic resource] : 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings / edited by Patrick Lambrix, Graham Kemp.
by Lambrix, Patrick [editor.] | Kemp, Graham [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5666.
|
Electronic Government and the Information Systems Perspective [electronic resource] : First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings / edited by Kim Normann Andersen, Enrico Francesconi, Åke Grönlund, Tom M. Engers.
by Andersen, Kim Normann [editor.] | Francesconi, Enrico [editor.] | Grönlund, Åke [editor.] | Engers, Tom M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5667.
|
From Animals to Animats 11 [electronic resource] : 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings / edited by Stéphane Doncieux, Benoît Girard, Agnès Guillot, John Hallam, Jean-Arcady Meyer, Jean-Baptiste Mouret.
by Doncieux, Stéphane [editor.] | Girard, Benoît [editor.] | Guillot, Agnès [editor.] | Hallam, John [editor.] | Meyer, Jean-Arcady [editor.] | Mouret, Jean-Baptiste [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5668.
|
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith.
by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5669.
|
E-Commerce and Web Technologies [electronic resource] : 11th International Conference, EC-Web 2010, Bilbao, Spain, September 1-3, 2010. Proceedings / edited by Francesco Buccafurri, Giovanni Semeraro.
by Buccafurri, Francesco [editor.] | Semeraro, Giovanni [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5670.
|
Intelligent Distributed Computing IV [electronic resource] : Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010 / edited by Mohammad Essaaidi, Michele Malgeri, Costin Badica.
by Essaaidi, Mohammad [editor.] | Malgeri, Michele [editor.] | Badica, Costin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5671.
|
Computational Intelligence in Engineering [electronic resource] / edited by Imre J. Rudas, János Fodor, Janusz Kacprzyk.
by Rudas, Imre J [editor.] | Fodor, János [editor.] | Kacprzyk, Janusz [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5672.
|
Model-Based Reasoning in Science and Technology [electronic resource] : Abduction, Logic, and Computational Discovery / edited by Lorenzo Magnani, Walter Carnielli, Claudio Pizzi.
by Magnani, Lorenzo [editor.] | Carnielli, Walter [editor.] | Pizzi, Claudio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5673.
|
Human-Computer Interaction [electronic resource] : Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Peter Forbrig, Fabio Paternó, Annelise Mark Pejtersen.
by Forbrig, Peter [editor.] | Paternó, Fabio [editor.] | Mark Pejtersen, Annelise [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5674.
|
Distributed, Parallel and Biologically Inspired Systems [electronic resource] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf.
by Hinchey, Mike [editor.] | Kleinjohann, Bernd [editor.] | Kleinjohann, Lisa [editor.] | Lindsay, Peter A [editor.] | Rammig, Franz J [editor.] | Timmis, Jon [editor.] | Wolf, Marilyn [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5675.
|
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [electronic resource] : AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers / edited by Wolfgang Ketter, Han Poutré, Norman Sadeh, Onn Shehory, William Walsh.
by Ketter, Wolfgang [editor.] | Poutré, Han [editor.] | Sadeh, Norman [editor.] | Shehory, Onn [editor.] | Walsh, William [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5676.
|
PRICAI 2010: Trends in Artificial Intelligence [electronic resource] : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30–September 2, 2010. Proceedings / edited by Byoung-Tak Zhang, Mehmet A. Orgun.
by Zhang, Byoung-Tak [editor.] | Orgun, Mehmet A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5677.
|
Database and Expert Systems Applications [electronic resource] : 21th International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part II / edited by Pablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr.
by Bringas, Pablo García [editor.] | Hameurlain, Abdelkader [editor.] | Quirchmayr, Gerald [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5678.
|
Information Routing, Correspondence Finding, and Object Recognition in the Brain [electronic resource] / by Philipp Wolfrum.
by Wolfrum, Philipp [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5679.
|
Knowledge Science, Engineering and Management [electronic resource] : 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings / edited by Yaxin Bi, Mary-Anne Williams.
by Bi, Yaxin [editor.] | Williams, Mary-Anne [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5680.
|
Artificial Intelligence in Theory and Practice III [electronic resource] : Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Max Bramer.
by Bramer, Max [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|