|
|
1.
|
|
|
|
2.
|
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation electronic resource 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers / edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond. by Jarvis, Stephen A [editor.] | Wright, Steven A [editor.] | Hammond, Simon D [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 :
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
AsiaSim 2014 electronic resource 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings / edited by Satoshi Tanaka, Kyoko Hasegawa, Rui Xu, Naohisa Sakamoto, Stephen John Turner. by Tanaka, Satoshi [editor.] | Hasegawa, Kyoko [editor.] | Xu, Rui [editor.] | Sakamoto, Naohisa [editor.] | Turner, Stephen John [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 :
|
|
|
6.
|
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation electronic resource 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers / edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond. by Jarvis, Stephen A [editor.] | Wright, Steven A [editor.] | Hammond, Simon D [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 :
|
|
|
7.
|
Computer Performance Engineering [electronic resource] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / edited by Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin. by Balsamo, Maria Simonetta [editor.] | Knottenbelt, William J [editor.] | Marin, Andrea [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 :
|
|
|
8.
|
Geo-Informatics in Resource Management and Sustainable Ecosystem electronic resource Second International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014. Proceedings / edited by Fuling Bian, Yichun Xie. by Bian, Fuling [editor.] | Xie, Yichun [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, 2015Online access: Click here to access online Availability: No items available :
|
|
|
9.
|
Geo-Informatics in Resource Management and Sustainable Ecosystem [electronic resource] : International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I / edited by Fuling Bian, Yichun Xie, Xiaohui Cui, Yixin Zeng. by Bian, Fuling [editor.] | Xie, Yichun [editor.] | Cui, Xiaohui [editor.] | Zeng, Yixin [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, 2013Online access: Click here to access online Availability: No items available :
|
|
|
10.
|
Parallel Computational Fluid Dynamics electronic resource 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers / edited by Kenli Li, Zheng Xiao, Yan Wang, Jiayi Du, Keqin Li. by Li, Kenli [editor.] | Xiao, Zheng [editor.] | Wang, Yan [editor.] | Du, Jiayi [editor.] | Li, Keqin [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 :
|
|
|
11.
|
The Common Component Modeling Example Электронный ресурс Comparing Software Component Models / 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, Andreas Rausch, Ralf Reussner, Raffaela Mirandola, František Plášil by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mirandola, Raffaela | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Plášil, František | Rausch, Andreas | Reussner, Ralf | 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 :
|
|
|
12.
|
|
|
|
13.
|
Computer Performance Engineering [electronic resource] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / edited by Mirco Tribastone, Stephen Gilmore. by Tribastone, Mirco [editor.] | Gilmore, Stephen [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 :
|
|
|
14.
|
Leveraging Applications of Formal Methods, Verification and Validation Электронный ресурс 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 ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
|
15.
|
Geo-Informatics in Resource Management and Sustainable Ecosystem [electronic resource] : International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II / edited by Fuling Bian, Yichun Xie, Xiaohui Cui, Yixin Zeng. by Bian, Fuling [editor.] | Xie, Yichun [editor.] | Cui, Xiaohui [editor.] | Zeng, Yixin [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, 2013Online access: Click here to access online Availability: No items available :
|
|
|
16.
|
|
|
|
17.
|
Communication Technologies for Vehicles [electronic resource] : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings / edited by Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, Marina Aguado, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel. by Berbineau, Marion [editor.] | Jonsson, Magnus [editor.] | Bonnin, Jean-Marie [editor.] | Cherkaoui, Soumaya [editor.] | Aguado, Marina [editor.] | Rico-Garcia, Cristina [editor.] | Ghannoum, Hassan [editor.] | Mehmood, Rashid [editor.] | Vinel, Alexey [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 :
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / edited by José L. Ayala, Delong Shang, Alex Yakovlev. by Ayala, José L [editor.] | Shang, Delong [editor.] | Yakovlev, Alex [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 :
|
|
|
21.
|
|
|
|
22.
|
A Software Process Model Handbook for Incorporating People's Capabilities Электронный ресурс by Silvia Teresita Acuna, Natalia Juristo, Ana Maria Moreno, Alicia Mon. by Acuna, Silvia T | Juristo, Natalia | Mon, Alicia | Moreno, Ana María | 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 :
|
|
|
23.
|
Computational Intelligence, Networked Systems and Their Applications electronic resource International Conference of Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 20-23, 2014, Proceedings, Part II / edited by Minrui Fei, Chen Peng, Zhou Su, Yang Song, Qinglong Han. by Fei, Minrui [editor.] | Peng, Chen [editor.] | Su, Zhou [editor.] | Song, Yang [editor.] | Han, Qinglong [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 :
|
|
|
24.
|
|
|
|
25.
|
System Modeling and Optimization [electronic resource] : 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers / edited by Dietmar Hömberg, Fredi Tröltzsch. by Hömberg, Dietmar [editor.] | Tröltzsch, Fredi [editor.] | SpringerLink (Online service). Series: IFIP Advances in Information and Communication TechnologySource: 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 :
|
|
|
26.
|
Energy-Efficient Data Centers electronic resource Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers / edited by Sonja Klingert, Xavier Hesselbach-Serra, Maria Perez Ortega, Giovanni Giuliani. by Klingert, Sonja [editor.] | Hesselbach-Serra, Xavier [editor.] | Ortega, Maria Perez [editor.] | Giuliani, Giovanni [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 :
|
|
|
27.
|
Quantitative Evaluation of Systems electronic resource 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / edited by Javier Campos, Boudewijn R. Haverkort. by Campos, Javier [editor.] | Haverkort, Boudewijn R [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: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
28.
|
Information Technologies and Mathematical Modelling - Queueing Theory and Applications electronic resource 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings / edited by Alexander Dudin, Anatoly Nazarov, Rafael Yakupov. by Dudin, Alexander [editor.] | Nazarov, Anatoly A [editor.] | Yakupov, Rafael [editor.] | SpringerLink (Online service). Series: Communications in Computer and Information ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type:  Set; Format:
electronic
available online
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
29.
|
Analytical and Stochastic Modeling Techniques and Applications Электронный ресурс 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / edited by Khalid Al-Begain, Armin Heindl, Miklós Telek. by Al-Begain, Khalid | Heindl, Armin | Telek, Miklós | 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 :
|
|
|
30.
|
AsiaSim 2013 [electronic resource] : 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings / edited by Gary Tan, Gee Kin Yeo, Stephen John Turner, Yong Meng Teo. by Tan, Gary [editor.] | Yeo, Gee Kin [editor.] | Turner, Stephen John [editor.] | Teo, Yong Meng [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, 2013Online access: Click here to access online Availability: No items available :
|
|
|
31.
|
Energy Efficient Data Centers electronic resource Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers / edited by Sonja Klingert, Marta Chinnici, Milagros Rey Porto. by Klingert, Sonja [editor.] | Chinnici, Marta [editor.] | Rey Porto, Milagros [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 :
|
|
|
32.
|
Model-Driven Engineering Languages and Systems electronic resource 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings / edited by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran. by Dingel, Juergen [editor.] | Schulte, Wolfram [editor.] | Ramos, Isidro [editor.] | Abrahão, Silvia [editor.] | Insfran, Emilio [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 :
|
|
|
33.
|
Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. by Moreira, Ana [editor.] | Schätz, Bernhard [editor.] | Gray, Jeff [editor.] | Vallecillo, Antonio [editor.] | Clarke, 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, 2013Online access: Click here to access online Availability: No items available :
|
|
|
34.
|
High Performance Computing for Computational Science -- VECPAR 2014 electronic resource 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima. by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [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 :
|
