|
101.
|
|
|
102.
|
|
|
103.
|
|
|
104.
|
Interconnect-Centric Design for Advanced SoC and NoC Электронный ресурс edited by Jari Nurmi, Hannu Tenhunen, Jouni Isoaho, Axel Jantsch. by Nurmi, Jari | Isoaho, Jouni | Jantsch, Axel | Tenhunen, Hannu | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005Online access: Click here to access online Availability: No items available :
|
|
105.
|
|
|
106.
|
|
|
107.
|
|
|
108.
|
|
|
109.
|
|
|
110.
|
|
|
111.
|
Validated Designs for Object-oriented Systems Электронный ресурс by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef. by Fitzgerald, John | Larsen, Peter Gorm | Mukherjee, Paul | Plat, Nico | Verhoef, Marcel | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: London : Springer-Verlag London Limited, 2005Online access: Click here to access online Availability: No items available :
|
|
112.
|
|
|
113.
|
Computer Safety, Reliability, and Security Электронный ресурс 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings / edited by Francesca Saglietti, Norbert Oster. by Saglietti, Francesca | Oster, Norbert | SpringerLink (Online service). Series: Lecture Notes in Computer 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 :
|
|
114.
|
Reflections on the Teaching of Programming Электронный ресурс Methods and Implementations / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jens Bennedsen, Michael E. Caspersen, Michael Kölling by Hutchison, David | Bennedsen, Jens | Caspersen, Michael E | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Kölling, Michael | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | 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, 2008Online access: Click here to access online Availability: No items available :
|
|
115.
|
Applied Parallel Computing. State of the Art in Scientific Computing Электронный ресурс 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers / edited by Bo Kågström, Erik Elmroth, Jack Dongarra, Jerzy by Kågström, Bo | Dongarra, Jack | Elmroth, Erik | Waśniewski, Jerzy | SpringerLink (Online service). Series: Lecture Notes in Computer 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 :
|
|
116.
|
|
|
117.
|
|
|
118.
|
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 :
|
|
119.
|
|
|
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.
|
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 :
|
|
124.
|
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 :
|
|
125.
|
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 :
|
|
126.
|
|
|
127.
|
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 :
|
|
128.
|
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 :
|
|
129.
|
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 :
|
|
130.
|
|
|
131.
|
|
|
132.
|
|
|
133.
|
|
|
134.
|
|
|
135.
|
|
|
136.
|
|
|
137.
|
|
|
138.
|
Euro-Par 2006 Parallel Processing Электронный ресурс 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner. by Nagel, Wolfgang E | Lehner, Wolfgang | Walter, Wolfgang V | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
139.
|
Computational Science and Its Applications - ICCSA 2006 (vol. # 3982) Электронный ресурс International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C.J. Kenneth Ta by Gavrilova, Marina | Choo, Hyunseung | Gervasi, Osvaldo | Kumar, Vipin | Laganà, Antonio | Mun, Youngsong | Tan, Chih Jeng Kenneth | Taniar, David | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
140.
|
Mathematics and Computation, a Contemporary View Электронный ресурс The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006 / edited by Hans Munthe-Kaas, Brynjulf Owren. by Norwegian Mathematical Society | Munthe-Kaas, Hans | Owren, Brynjulf | SpringerLink (Online service). Series: Abel SymposiaSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
141.
|
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 :
|
|
142.
|
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 :
|
|
143.
|
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 :
|
|
144.
|
|
|
145.
|
|
|
146.
|
|
|
147.
|
Computational Science and Its Applications – ICCSA 2007 Электронный ресурс International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova. by Gervasi, Osvaldo | Gavrilova, Marina L | SpringerLink (Online service). Series: Lecture Notes in Computer 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 :
|
|
148.
|
|
|
149.
|
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 :
|
|
150.
|
Pro JSP 2 Электронный ресурс by Simon Brown, Sam Dalton, Daniel Jepp, David Johnson, Sing Li, Matt Raible ; edited by Kevin Mukhar. by Brown, Simon | Dalton, Sam | Jepp, Daniel | Johnson, David | Li, Sing | Mukhar, Kevin | Raible, Matt | SpringerLink (Online service). Edition: Fourth Edition.Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berkeley, CA : Apress, Inc., 2005Online access: Click here to access online Availability: No items available :
|