|
|
4301.
|
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 | Karl, Wolfgang | Yehia, Sami | 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
|
|
|
4302.
|
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 | 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
|
|
|
4303.
|
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 | 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
|
|
|
4304.
|
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 | 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
|
|
|
4305.
|
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 | Majumdar, Rupak | 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
|
|
|
4306.
|
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 | Ishikawa, Yoshiharu | Li, Qing | Watanabe, Chiemi | 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
|
|
|
4307.
|
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 | Taentzer, Gabriele | 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
|
|
|
4308.
|
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 | 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
|
|
|
4309.
|
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 | Vin, Harrick M | Sahni, Sartaj | Jaiswal, Mahadeo P | Thipakorn, Bundit | 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
|
|
|
4310.
|
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 | Sachdeva, Shelly | Bhalla, Subhash | 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
|
|
|
4311.
|
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 | Salerno, John J | Mabry, Patricia L | 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
|
|
|
4312.
|
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 | Kirikova, Marite | Manolopoulos, Yannis | Novickis, Leonids | 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
|
|
|
4313.
|
Database Systems for Advanced Applications [electronic resource] : 15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part II / edited by Hiroyuki Kitagawa, Yoshiharu Ishikawa, Qing Li, Chiemi Watanabe.
by Kitagawa, Hiroyuki | Ishikawa, Yoshiharu | Li, Qing | Watanabe, Chiemi | 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
|
|
|
4314.
|
Intelligent Information and Database Systems [electronic resource] : Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part II / edited by Ngoc Thanh Nguyen, Manh Thanh Le, Jerzy Świątek.
by Nguyen, Ngoc Thanh | Le, Manh Thanh | Świątek, Jerzy | 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
|
|
|
4315.
|
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings / edited by Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb.
by Müller-Clostermann, Bruno | Echtle, Klaus | Rathgeb, Erwin P | 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
|
|
|
4316.
|
Software Language Engineering [electronic resource] : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers / edited by Mark Brand, Dragan Gašević, Jeff Gray.
by Brand, Mark | Gašević, Dragan | Gray, Jeff | 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
|
|
|
4317.
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 11th International Conference, CICLing 2010, Iaşi, Romania, March 21-27, 2010. Proceedings / edited by Alexander Gelbukh.
by Gelbukh, Alexander | 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
|
|
|
4318.
|
Multiple Classifier Systems [electronic resource] : 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010. Proceedings / edited by Neamat Gayar, Josef Kittler, Fabio Roli.
by Gayar, Neamat | Kittler, Josef | Roli, Fabio | 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
|
|
|
4319.
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings / edited by Phaophak Sirisuk, Fearghal Morgan, Tarek El-Ghazawi, Hideharu Amano.
by Sirisuk, Phaophak | Morgan, Fearghal | El-Ghazawi, Tarek | Amano, Hideharu | 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
|
|
|
4320.
|
Nonlinear Deformable-body Dynamics [electronic resource] / by Albert C. J. Luo.
by Luo, Albert C. J | 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
|
