|
101.
|
|
|
102.
|
|
|
103.
|
|
|
104.
|
|
|
105.
|
Euro-Par 2012: Parallel Processing Workshops [electronic resource] : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers / edited by Ioannis Caragiannis, Michael Alexander, Rosa Maria Badia, Mario Cannataro, Alexandru Costan, Marco Danelutto, Frédéric Desprez, Bettina Krammer, Julio Sahuquillo, Stephen L. Scott, Josef Weidendorfer. by Caragiannis, Ioannis [editor.] | Alexander, Michael [editor.] | Badia, Rosa Maria [editor.] | Cannataro, Mario [editor.] | Costan, Alexandru [editor.] | Danelutto, Marco [editor.] | Desprez, Frédéric [editor.] | Krammer, Bettina [editor.] | Sahuquillo, Julio [editor.] | Scott, Stephen L [editor.] | Weidendorfer, Josef [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
106.
|
Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue. by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
107.
|
|
|
108.
|
|
|
109.
|
Requirements Engineering electronic resource First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedings / edited by Didar Zowghi, Zhi Jin. by Zowghi, Didar [editor.] | Jin, Zhi [editor.] | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
110.
|
Distributed Applications and Interoperable Systems electronic resource 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / edited by Kostas Magoutis, Peter Pietzuch. by Magoutis, Kostas [editor.] | Pietzuch, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
111.
|
Job Scheduling Strategies for Parallel Processing electronic resource 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers / edited by Narayan Desai, Walfredo Cirne. by Desai, Narayan [editor.] | Cirne, Walfredo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
112.
|
|
|
113.
|
Correct Software in Web Applications and Web Services electronic resource edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger. by Thalheim, Bernhard [editor.] | Schewe, Klaus-Dieter [editor.] | Prinz, Andreas [editor.] | Buchberger, Bruno [editor.] | SpringerLink (Online service). Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, AustriaSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
114.
|
|
|
115.
|
|
|
116.
|
|
|
117.
|
|
|
118.
|
|
|
119.
|
Euro-Par 2015: Parallel Processing electronic resource 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / edited by Jesper Larsson Träff, Sascha Hunold, Francesco Versaci. by Träff, Jesper Larsson [editor.] | Hunold, Sascha [editor.] | Versaci, Francesco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
120.
|
Computer Aided Verification electronic resource 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
121.
|
|
|
122.
|
|
|
123.
|
|
|
124.
|
|
|
125.
|
Intelligent Computing, Networking, and Informatics electronic resource Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 / edited by Durga Prasad Mohapatra, Srikanta Patnaik. by Mohapatra, Durga Prasad [editor.] | Patnaik, Srikanta [editor.] | SpringerLink (Online service). Series: Advances in Intelligent Systems and ComputingSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: New Delhi : Springer India : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
126.
|
|
|
127.
|
|
|
128.
|
|
|
129.
|
|
|
130.
|
|
|
131.
|
NASA Formal Methods electronic resource 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings / edited by Julia M. Badger, Kristin Yvonne Rozier. by Badger, Julia M [editor.] | Rozier, Kristin Yvonne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
132.
|
|
|
133.
|
|
|
134.
|
Game Development Tool Essentials electronic resource by Alessandro Ardolino, Remi Arnaud, Paula Berinstein, Simon Franco, Adrien Herubel, John McCutchan, Nicusor Nedelcu, Benjamin Nitschke, Fabrice Robinet, Christian Ronchi, Gustavo Samour, Rita Turkowski, Robert Walter. by Ardolino, Alessandro [author.] | Arnaud, Remi [author.] | Berinstein, Paula [author.] | Franco, Simon [author.] | Herubel, Adrien [author.] | McCutchan, John [author.] | Nedelcu, Nicusor [author.] | Nitschke, Benjamin [author.] | Robinet, Fabrice [author.] | Ronchi, Christian [author.] | Samour, Gustavo [author.] | Turkowski, Rita [author.] | Walter, Robert [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berkeley, CA : Apress : Imprint: Apress, 2014Online access: Click here to access online Availability: No items available :
|
|
135.
|
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by Jürjens, Jan [editor.] | Livshits, Benjamin [editor.] | Scandariato, Riccardo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
136.
|
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by Lemos, Rogério [editor.] | Giese, Holger [editor.] | Müller, Hausi A [editor.] | Shaw, Mary [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
137.
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Visser, Joost [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
138.
|
|
|
139.
|
|
|
140.
|
|
|
141.
|
|
|
142.
|
|
|
143.
|
|
|
144.
|
|
|
145.
|
Computer Aided Verification electronic resource 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
146.
|
Early Aspects: Current Challenges and Future Directions Электронный ресурс 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers / edited by Ana Moreira, John Grundy. by Moreira, Ana | Grundy, John | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
147.
|
|
|
148.
|
Parallel Processing and Applied Mathematics Электронный ресурс 4th International Conference, PPAM 2001 Na lęczów, Poland, September 9-12, 2001 Revised Papers / edited by Roman Wyrzykowski, Jack Dongarra, Marcin Paprzycki, Jerzy Waśniewski by Wyrzykowski, Roman | Dongarra, Jack | Paprzycki, Marcin | Waśniewski, Jerzy. Series: Lecture Notes in Computer ScienceMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
|
|
149.
|
Design Patterns for e-Science Электронный ресурс by Henry Gardner, Gabriele Manduchi ; edited by Timothy J. Barth, Michael Griebel, David E. Keyes, Risto M. Nieminen, Dirk Roose, Tamar Schlick. by Gardner, Henry | Barth, Timothy J | Griebel, Michael | Keyes, David E | Manduchi, Gabriele | Nieminen, Risto M | Roose, Dirk | Schlick, Tamar | SpringerLink (Online service). Series: Texts in Computational ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
150.
|
Software and Data Technologies Электронный ресурс First International Conference, ICSOFT 2006, SetГєbal, Portugal, September 11-14, 2006, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert. by Filipe, Joaquim | Helfert, Markus | Shishkov, Boris | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|