|
|
101.
|
Large-Scale Scientific Computing [Recurso electrónico] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wa¿رniewski. by Lirkov, Ivan | Margenov, Svetozar | Wa¿رniewski, Jerzy. Material type:  Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
102.
|
Objects, Models, Components, Patterns [Recurso electrónico] : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings / edited by Carlo A. Furia, Sebastian Nanz. by Furia, Carlo A | Nanz, Sebastian. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
103.
|
Advances in Grid and Pervasive Computing [Recurso electrónico] : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings / edited by Ruixuan Li, Jiannong Cao, Julien Bourgeois. by Li, Ruixuan | Cao, Jiannong | Bourgeois, Julien. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
104.
|
|
|
|
105.
|
Verified Software: Theories, Tools, Experiments [Recurso electrónico] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter MÃ{uCB25}r, Andreas Podelski. by Joshi, Rajeev | MÃ{uCB25}r, Peter | Podelski, Andreas. Material type: Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
106.
|
Reconfigurable Computing: Architectures, Tools and Applications [Recurso electrónico] : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings / edited by Oliver C. S. Choy, Ray C. C. Cheung, Peter Athanas, Kentaro Sano. by Choy, Oliver C. S | Cheung, Ray C C | Athanas, Peter | Sano, Kentaro. Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
107.
|
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [Recurso electrónico] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings / edited by Jens B. Schmitt. by Schmitt, Jens B. Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
108.
|
NASA Formal Methods [Recurso electrónico] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person. by Goodloe, Alwyn E | Person, Suzette. Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
109.
|
Bioinspired Models of Network, Information, and Computing Systems [Recurso electrónico] : 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:  Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available
|
|
|
110.
|
Open Source Software: New Horizons [Recurso electrónico] : 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 â€{u02B5}ne 2, 2010. Proceedings / edited by PÃ{u2803}{u7972}falk, Cornelia Boldyreff, Jesús M. González-Barahona, Gregory R. Madey, John Noll. by Ã{u7972}falk, PÃ{u2B80} | Boldyreff, Cornelia | González-Barahona, Jesús M | Madey, Gregory R | Noll, John | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010Online access: Texto completo Availability: No items available
|
|
|
111.
|
|
|
|
112.
|
Programming Languages and Systems [Recurso electrónico] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings / edited by Ranjit Jhala, Atsushi Igarashi. by Jhala, Ranjit | Igarashi, Atsushi. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available
|
|
|
113.
|
Runtime Verification [Recurso electrónico] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen. by Khurshid, Sarfraz | Sen, Koushik. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
114.
|
OpenMP in a Heterogeneous World [Recurso electrónico] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / edited by Barbara M. Chapman, Federico Massaioli, Matthias S. MÃ{uCB25}r, Marco Rorro. by Chapman, Barbara M | Massaioli, Federico | MÃ{uCB25}r, Matthias S | Rorro, Marco. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
115.
|
Software Composition [Recurso electrónico] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book. by Gschwind, Thomas | Paoli, Flavio | Gruhn, Volker | Book, Matthias. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
116.
|
|
|
|
117.
|
|
|
|
118.
|
Computer Algebra in Scientific Computing (vol. # 3718) [Recurso electrónico] / 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
|
119.
|
Generative Programming and Component Engineering [Recurso electrónico] / 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings edited by Robert GlÃơck, Michael Lowry. by GlÃơck, Robert | Lowry, Michael | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
|
120.
|
Distributed Computing - IWDC 2005 [Recurso electrónico] / 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings edited by Arobinda Gupta, Ajay D. Kshemkalyani, Rajeev Kumar, Ajit Pal. by Gupta, Arobinda | Kshemkalyani, Ajay D | Kumar, Rajeev | Pal, Ajit | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|