|
|
12781.
|
RoboCup 2009: Robot Soccer World Cup XIII [electronic resource] / edited by Jacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry Ghidary.
by Baltes, Jacky [editor.] | Lagoudakis, Michail G [editor.] | Naruse, Tadashi [editor.] | Ghidary, Saeed Shiry [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
|
|
|
12782.
|
Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems / by Gabriele Puppis.
by Puppis, Gabriele [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
|
|
|
12783.
|
Wireless Sensor Networks [electronic resource] : 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings / edited by Jorge Sá Silva, Bhaskar Krishnamachari, Fernando Boavida.
by Silva, Jorge Sá [editor.] | Krishnamachari, Bhaskar [editor.] | Boavida, Fernando [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
|
|
|
12784.
|
Topics in Cryptology - CT-RSA 2010 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings / edited by Josef Pieprzyk.
by Pieprzyk, Josef [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
|
|
|
12785.
|
Formal Concept Analysis [electronic resource] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings / edited by Léonard Kwuida, Barış Sertkaya.
by Kwuida, Léonard [editor.] | Sertkaya, Barış [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
|
|
|
12786.
|
Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers / edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer.
by Schmid, Ute [editor.] | Kitzelmann, Emanuel [editor.] | Plasmeijer, Rinus [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
|
|
|
12787.
|
Architecture of Computing Systems - ARCS 2010 [electronic resource] : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings / edited by Christian Müller-Schloer, Wolfgang Karl, Sami Yehia.
by Müller-Schloer, Christian [editor.] | Karl, Wolfgang [editor.] | Yehia, Sami [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
|
|
|
12788.
|
Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Andrew D. Gordon.
by Gordon, Andrew D [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
|
|
|
12789.
|
Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Rajiv Gupta.
by Gupta, Rajiv [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
|
|
|
12790.
|
Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / edited by Santiago Escobar.
by Escobar, Santiago [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
|
|
|
12791.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar.
by Esparza, Javier [editor.] | Majumdar, Rupak [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
|
|
|
12792.
|
IEC 61131-3: Programming Industrial Automation Systems [electronic resource] : Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids / by Karl Heinz John, Michael Tiegelkamp.
by John, Karl Heinz [author.] | Tiegelkamp, Michael [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
|
|
|
12793.
|
Database Systems for Advanced Applications [electronic resource] : 15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part I / edited by Hiroyuki Kitagawa, Yoshiharu Ishikawa, Qing Li, Chiemi Watanabe.
by Kitagawa, Hiroyuki [editor.] | Ishikawa, Yoshiharu [editor.] | Li, Qing [editor.] | Watanabe, Chiemi [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
|
|
|
12794.
|
Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by David S. Rosenblum, Gabriele Taentzer.
by Rosenblum, David S [editor.] | Taentzer, Gabriele [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
|
|
|
12795.
|
Foundations of Software Science and Computational Structures [electronic resource] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Luke Ong.
by Ong, Luke [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
|
|
|
12796.
|
Information Systems, Technology and Management [electronic resource] : 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings / edited by Sushil K. Prasad, Harrick M. Vin, Sartaj Sahni, Mahadeo P. Jaiswal, Bundit Thipakorn.
by Prasad, Sushil K [editor.] | Vin, Harrick M [editor.] | Sahni, Sartaj [editor.] | Jaiswal, Mahadeo P [editor.] | Thipakorn, Bundit [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
|
|
|
12797.
|
Databases in Networked Information Systems [electronic resource] : 6th International Workshop, DNIS 2010, Aizu-Wakamatsu, Japan, March 29-31, 2010. Proceedings / edited by Shinji Kikuchi, Shelly Sachdeva, Subhash Bhalla.
by Kikuchi, Shinji [editor.] | Sachdeva, Shelly [editor.] | Bhalla, Subhash [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
|
|
|
12798.
|
Roots of Modern Technology [electronic resource] : An Elegant Survey of the Basic Mathematical and Scientific Concepts / by Siegfried Wendt.
by Wendt, Siegfried [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
|
|
|
12799.
|
Advances in Social Computing [electronic resource] : Third International Conference on Social Computing, Behavioral Modeling, and Prediction, SBP 2010, Bethesda, MD, USA, March 30-31, 2010. Proceedings / edited by Sun-Ki Chai, John J. Salerno, Patricia L. Mabry.
by Chai, Sun-Ki [editor.] | Salerno, John J [editor.] | Mabry, Patricia L [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
|
|
|
12800.
|
Advances in Databases and Information Systems [electronic resource] : Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009. Revised Selected Papers / edited by Janis Grundspenkis, Marite Kirikova, Yannis Manolopoulos, Leonids Novickis.
by Grundspenkis, Janis [editor.] | Kirikova, Marite [editor.] | Manolopoulos, Yannis [editor.] | Novickis, Leonids [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
|
