Results
|
|
Tests and Proofs [Recurso electrónico] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer. by Gurevich, Yuri | Meyer, Bertrand | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4454Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Quality of Software Architectures and Software Quality [Recurso electrónico] / First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German by Becker, Steffen | Mayer, Johannes | Overhage, Sven | Reussner, Ralf | Schroeder, Patrick J | Stafford, Judith A | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3712Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops [Recurso electrónico] / ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings edited b by Chen, Guihai | Guo, Minyi | Lu, Jian | Pan, Yi | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3759Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Wireless Algorithms, Systems, and Applications [Recurso electrónico] / First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings edited by Xiuzhen Cheng, Wei Li, Taieb Znati. by Cheng, Xiuzhen | Li, Wei | Znati, Taieb | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4138Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
Testbeds and Research Infrastructure. Development of Networks and Communities [Recurso electrónico] : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers / edited by Thanasis Korakis, Michael Zink, Maximilian Ott. by Korakis, Thanasis | Zink, Michael | Ott, Maximilian. Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 44Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available.
|
|
|
Embedded Software and Systems (vol. # 3605) [Recurso electrónico] / First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers edited by Jiajun Bu, Chun Chen, Minyi Guo, Zhaohui Wu. by Bu, Jiajun | Chen, Chun | Guo, Minyi | Wu, Zhaohui | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3605Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Series: Communications in Computer and Information Science ; 17Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.
|
|
|
Embedded Software and Systems (vol. # 3820) [Recurso electrónico] / Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings edited by Man LinZhaohui Wu, Laurence T. Yang, Wei Zhao et al. by Lin, Man | Wu, Zhaohui | Yang, Laurence T | Zhao, Wei | Zhou, Xingshe | Zhu, Yian | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3820Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Network Computing and Information Security [Recurso electrónico] : Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012. Proceedings / edited by Jingsheng Lei, Fu Lee Wang, Mo Li, Yuan Luo. by Lei, Jingsheng | Wang, Fu Lee | Li, Mo | Luo, Yuan. Series: Communications in Computer and Information Science ; 345Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available.
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [Recurso electrónico] : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings. Nadine Azémard, Lars Sve by Azémard, Nadine | Svensson, Lars | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4644Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
Testbeds and Research Infrastructures. Development of Networks and Communities [Recurso electrónico] : 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). Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 46Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available.
|
|
|
Embedded Software and Systems [Recurso electrónico] / Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings edited by Yann-Hang LeeHeung-Nam Kim, Jong Kim, Yongwan Park et al. by Lee, Yann-Hang | Kim, Heung-Nam | Kim, Jong | Kim, Sung Won | Park, Yongwan | Yang, Laurence T | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4523Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.
|
|
|
Testbeds and Research Infrastructure. Development of Networks and Communities [Recurso electrónico] : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers / edited by Thanasis Korakis, Hongbin Li, Phuoc Tran-Gia, Hong-Shik Park. by Korakis, Thanasis | Li, Hongbin | Tran-Gia, Phuoc | Park, Hong-Shik. Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 90Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) [Recurso electrónico] / 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings edited by Joh by Vounckx, Johan | Azemard, Nadine | Maurine, Philippe | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4148Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
Euro-Par 2011: Parallel Processing Workshops [Recurso electrónico] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29- September 2, 2011, Revised Selected Papers, Part II / edited by Michael Alexander, Pasqua D'Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer. by Alexander, Michael | D'Ambra, Pasqua | Belloum, Adam | Bosilca, George | Cannataro, Mario | Danelutto, Marco | Martino, Beniamino | Gerndt, Michael | Jeannot, Emmanuel | Namyst, Raymond | Roman, Jean | Scott, Stephen L | Traff, Jesper Larsson | Vallée, Geoffroy | Weidendorfer, Josef. Series: Lecture Notes in Computer Science ; 7156Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops [Recurso electrónico] / ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7 by Min, Geyong | Di Martino, Beniamino | Guo, Minyi | Ruenger, Gudula | Yang, Laurence T | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4331Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
Multicore Software Engineering, Performance, and Tools [Recurso electrónico] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Victor Pankratius, Michael Philippsen. by Pankratius, Victor | Philippsen, Michael. Series: Lecture Notes in Computer Science ; 7303Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
Frontiers of High Performance Computing and Networking ISPA 2007 Workshops [Recurso electrónico] : ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007. by Thulasiraman, Parimala | Denko, Mieso K | He, Xubin | Thulasiram, Ruppa K | Xu, Tony Li | Yang, Laurence T | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4743Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|