|
|
15021.
|
Advances in Multimedia and Network Information System Technologies [electronic resource] / edited by Ngoc Thanh Nguyen, Aleksander Zgrzywa, Andrzej Czyżewski.
by Nguyen, Ngoc Thanh [editor.] | Zgrzywa, Aleksander [editor.] | Czyżewski, Andrzej [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
|
|
|
15022.
|
Biotechnology in China II [electronic resource] : Chemicals, Energy and Environment / edited by G. T. Tsao, Pingkai Ouyang, Jian Chen.
by Tsao, G. T [editor.] | Ouyang, Pingkai [editor.] | Chen, Jian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
15023.
|
26th Southern Biomedical Engineering Conference SBEC 2010, April 30 - May 2, 2010, College Park, Maryland, USA [electronic resource] / edited by Keith E. Herold, Jafar Vossoughi, William E. Bentley.
by Herold, Keith E [editor.] | Vossoughi, Jafar [editor.] | Bentley, William E [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
|
|
|
15024.
|
Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.
by Blass, Andreas [editor.] | Dershowitz, Nachum [editor.] | Reisig, Wolfgang [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
|
|
|
15025.
|
Transactions on Computational Collective Intelligence I [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [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
|
|
|
15026.
|
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
|
|
|
15027.
|
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings / edited by Abdelkader Hameurlain, Franck Morvan, A Min Tjoa.
by Hameurlain, Abdelkader [editor.] | Morvan, Franck [editor.] | Tjoa, A Min [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
|
|
|
15028.
|
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
|
|
|
15029.
|
Software Architecture [electronic resource] : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings / edited by Muhammad Ali Babar, Ian Gorton.
by Babar, Muhammad Ali [editor.] | Gorton, Ian [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
|
|
|
15030.
|
Nanoscience and Engineering in Superconductivity [electronic resource] / edited by Victor Moshchalkov, Roger Woerdenweber, Wolfgang Lang.
by Moshchalkov, Victor [editor.] | Woerdenweber, Roger [editor.] | Lang, Wolfgang [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
|
|
|
15031.
|
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
|
|
|
15032.
|
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
|
|
|
15033.
|
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
|
|
|
15034.
|
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
|
|
|
15035.
|
Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Design Models / by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh.
by Debbabi, Mourad [author.] | Hassaïne, Fawzi [author.] | Jarraya, Yosr [author.] | Soeanu, Andrei [author.] | Alawneh, Luay [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
|
|
|
15036.
|
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
|
|
|
15037.
|
Theoretical Computer Science [electronic resource] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Cristian S. Calude, Vladimiro Sassone.
by Calude, Cristian S [editor.] | Sassone, Vladimiro [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
|
|
|
15038.
|
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
|
|
|
15039.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger.
by Chatterjee, Krishnendu [editor.] | Henzinger, Thomas 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
|
|
|
15040.
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings / edited by Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller.
by Tempesti, Gianluca [editor.] | Tyrrell, Andy M [editor.] | Miller, Julian 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
|
