|
|
1841.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov.
by Clarke, Edmund M | Voronkov, Andrei | 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
|
|
|
1842.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010. Proceedings / edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Subhransu Sekhar Dash.
by Panigrahi, Bijaya Ketan | Das, Swagatam | Suganthan, Ponnuthurai Nagaratnam | Dash, Subhransu Sekhar | 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
|
|
|
1843.
|
Advances in Software Engineering [electronic resource] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Haeng-Kon Kim, Muhammad Khurram Khan, Akingbehin Kiumi, Wai-chi Fang, Dominik Ślęzak.
by Kim, Tai-hoon | Kim, Haeng-Kon | Khan, Muhammad Khurram | Kiumi, Akingbehin | Fang, Wai-chi | Ślęzak, Dominik | 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
|
|
|
1844.
|
Service Research Challenges and Solutions for the Future Internet [electronic resource] : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems / edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger.
by Papazoglou, Mike P | Pohl, Klaus | Parkin, Michael | Metzger, Andreas | 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
|
|
|
1845.
|
Distributed Computing and Networking [electronic resource] : 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings / edited by Marcos K. Aguilera, Haifeng Yu, Nitin H. Vaidya, Vikram Srinivasan, Romit Roy Choudhury.
by Aguilera, Marcos K | Yu, Haifeng | Vaidya, Nitin H | Srinivasan, Vikram | Choudhury, Romit Roy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1846.
|
Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók.
by Horváth, Zoltán | Plasmeijer, Rinus | Zsók, Viktória | 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
|
|
|
1847.
|
Towards a Service-Based Internet [electronic resource] : Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings / edited by Elisabetta Nitto, Ramin Yahyapour.
by Nitto, Elisabetta | Yahyapour, Ramin | 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
|
|
|
1848.
|
Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic.
by Johnson, Michael | Pavlovic, Dusko | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1849.
|
Testbeds and Research Infrastructures. Development of Networks and Communities [electronic resource] : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers / edited by Thomas Magedanz, Anastasius Gavras, Nguyen Huu Thanh, Jeffry S. Chase.
by Magedanz, Thomas | Gavras, Anastasius | Thanh, Nguyen Huu | Chase, Jeffry S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1850.
|
A Tiny Handbook of R [electronic resource] / by Mike Allerhand.
by Allerhand, Mike | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1851.
|
Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva.
by Fernandes, João M | Lämmel, Ralf | Visser, Joost | Saraiva, João | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1852.
|
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché.
by Beckert, Bernhard | Marché, Claude | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1853.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt.
by Jhala, Ranjit | Schmidt, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1854.
|
A Primer on Scientific Programming with Python [electronic resource] / by Hans Petter Langtangen.
by Langtangen, Hans Petter | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1855.
|
Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury.
by Rocha, Ricardo | Launchbury, John | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1856.
|
Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings / edited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone.
by Erlingsson, Úlfar | Wieringa, Roel | Zannone, Nicola | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1857.
|
Wireless Sensor Networks [electronic resource] : 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011. Proceedings / edited by Pedro José Marrón, Kamin Whitehouse.
by Marrón, Pedro José | Whitehouse, Kamin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1858.
|
Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz.
by Gleizes, Marie-Pierre | Gomez-Sanz, Jorge J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1859.
|
Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv.
by Namjoshi, Kedar | Zeller, Andreas | Ziv, Avi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1860.
|
High Performance Computing for Computational Science – VECPAR 2010 [electronic resource] : 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers / edited by José M. Laginha M. Palma, Michel Daydé, Osni Marques, João Correia Lopes.
by Palma, José M. Laginha M | Daydé, Michel | Marques, Osni | Lopes, João Correia | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
