|
|
1741.
|
Bioinspired Models of Network, Information, and Computing Systems [electronic resource] : 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers / edited by Eitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel.
by Altman, Eitan | Carrera, Iacopo | El-Azouzi, Rachid | Hart, Emma | Hayel, Yezekael | 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
|
|
|
1742.
|
Advanced Lectures on Software Engineering [electronic resource] : LASER Summer School 2007/2008 / edited by Peter Müller.
by Müller, Peter | 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
|
|
|
1743.
|
Advances in Grid and Pervasive Computing [electronic resource] : 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings / edited by Paolo Bellavista, Ruay-Shiung Chang, Han-Chieh Chao, Shin-Feng Lin, Peter M. A. Sloot.
by Bellavista, Paolo | Chang, Ruay-Shiung | Chao, Han-Chieh | Lin, Shin-Feng | Sloot, Peter M. A | 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
|
|
|
1744.
|
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More [electronic resource] : 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings / edited by Mitsuhisa Sato, Toshihiro Hanawa, Matthias S. Müller, Barbara M. Chapman, Bronis R. Supinski.
by Sato, Mitsuhisa | Hanawa, Toshihiro | Müller, Matthias S | Chapman, Barbara M | Supinski, Bronis R | 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
|
|
|
1745.
|
Component-Based Software Engineering [electronic resource] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings / edited by Lars Grunske, Ralf Reussner, Frantisek Plasil.
by Grunske, Lars | Reussner, Ralf | Plasil, Frantisek | 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
|
|
|
1746.
|
Open Source Software: New Horizons [electronic resource] : 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings / edited by Pär Ågerfalk, Cornelia Boldyreff, Jesús M. González-Barahona, Gregory R. Madey, John Noll.
by Ågerfalk, Pär | Boldyreff, Cornelia | González-Barahona, Jesús M | Madey, Gregory R | Noll, John | 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
|
|
|
1747.
|
Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings / edited by Claude Bolduc, Jules Desharnais, Béchir Ktari.
by Bolduc, Claude | Desharnais, Jules | Ktari, Béchir | 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
|
|
|
1748.
|
Languages and Compilers for Parallel Computing [electronic resource] : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers / edited by Guang R. Gao, Lori L. Pollock, John Cavazos, Xiaoming Li.
by Gao, Guang R | Pollock, Lori L | Cavazos, John | Li, Xiaoming | 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
|
|
|
1749.
|
Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by Dave Clarke, Gul Agha.
by Clarke, Dave | Agha, Gul | 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
|
|
|
1750.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by John Hatcliff, Elena Zucca.
by Hatcliff, John | Zucca, Elena | 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
|
|
|
1751.
|
Reliable Software Technologiey – Ada-Europe 2010 [electronic resource] : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings / edited by Jorge Real, Tullio Vardanega.
by Real, Jorge | Vardanega, Tullio | 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
|
|
|
1752.
|
Modelling Foundations and Applications [electronic resource] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings / edited by Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier.
by Kühne, Thomas | Selic, Bran | Gervais, Marie-Pierre | Terrier, François | 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
|
|
|
1753.
|
Applications and Theory of Petri Nets [electronic resource] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / edited by Johan Lilius, Wojciech Penczek.
by Lilius, Johan | Penczek, Wojciech | 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
|
|
|
1754.
|
Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky.
by Aldini, Alessandro | Bernardo, Marco | Pierro, Alessandra | Wiklicky, Herbert | 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
|
|
|
1755.
|
Theory and Practice of Model Transformations [electronic resource] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / edited by Laurence Tratt, Martin Gogolla.
by Tratt, Laurence | Gogolla, Martin | 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
|
|
|
1756.
|
Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli / edited by Zohar Manna, Doron A. Peled.
by Manna, Zohar | Peled, Doron A | 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
|
|
|
1757.
|
Research into Practice – Reality and Gaps [electronic resource] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings / edited by George T. Heineman, Jan Kofron, Frantisek Plasil.
by Heineman, George T | Kofron, Jan | Plasil, Frantisek | 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
|
|
|
1758.
|
Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / edited by Jan Vitek.
by Vitek, Jan | 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
|
|
|
1759.
|
Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / edited by Gordon Fraser, Angelo Gargantini.
by Fraser, Gordon | Gargantini, Angelo | 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
|
|
|
1760.
|
Mechanisms for Autonomous Management of Networks and Services [electronic resource] : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings / edited by Burkhard Stiller, Filip Turck.
by Stiller, Burkhard | Turck, Filip | 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
|
