|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
Modelling, Computation and Optimization in Information Systems and Management Sciences Электронный ресурс Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings / edited by Hoai An Le Thi, Pascal Bouvry, Tao Pham Dinh. by Le Thi, Hoai An | Bouvry, Pascal | Pham Dinh, Tao | 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, 2008Online access: Click here to access online Availability: No items available :
|
|
|
5.
|
Computer Security - ESORICS 2008 Электронный ресурс 13th European Symposium on Research in Computer Security, MГЎlaga, Spain, October 6-8, 2008. Proceedings / 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, Sushil Jajodia, Javier Lopez. by Hutchison, David | Jajodia, Sushil | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Lopez, Javier | 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
Computer Engineering and Technology electronic resource 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu. by Xu, Weixia [editor.] | Xiao, Liquan [editor.] | Li, Jinwen [editor.] | Zhang, Chengyi [editor.] | Zhu, Zhenzhen [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 :
|
|
|
10.
|
Trustworthy Computing and Services electronic resource International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers / edited by Lu Yueming, Wu Xu, Zhang Xi. by Yueming, Lu [editor.] | Xu, Wu [editor.] | Xi, Zhang [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 :
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
Runtime Verification Электронный ресурс 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / 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, Martin Leucker. by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Leucker, Martin | 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
15.
|
High Performance Computing - HiPC 2008 Электронный ресурс 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings / 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, Ponnuswamy Sadayappan, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna. by Hutchison, David | Badrinath, Ramamurthy | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Parashar, Manish | Prasanna, Viktor K | Sadayappan, Ponnuswamy | 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
16.
|
|
|
|
17.
|
Autonomous Systems – Self-Organization, Management, and Control Электронный ресурс Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008 / edited by Bernd Mahr, Sheng Huanye. by Mahr, Bernd | Huanye, Sheng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer Science + Business Media B.V, 2008Online access: Click here to access online Availability: No items available :
|
|
|
18.
|
|
|
|
19.
|
Tools for High Performance Computing 2012 electronic resource edited by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel. by Cheptsov, Alexey [editor.] | Brinkmann, Steffen [editor.] | Gracia, José [editor.] | Resch, Michael M [editor.] | Nagel, Wolfgang E [editor.] | SpringerLink (Online service). Source: 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 :
|
|
|
20.
|
|
|
|
21.
|
|
|
|
22.
|
Formal Aspects in Security and Trust Электронный ресурс IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli. by Dimitrakos, Theo | Martinelli, Fabio | SpringerLink (Online service). Series: IFIP International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2005Online access: Click here to access online Availability: No items available :
|
|
|
23.
|
Software-Implemented Hardware Fault Tolerance Электронный ресурс by Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante. by Goloubeva, Olga | Rebaudengo, Maurizio | Reorda, Matteo Sonza | Violante, Massimo | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: No items available :
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
Testbeds and Research Infrastructure: Development of Networks and Communities electronic resource 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers / edited by Victor C.M. Leung, Min Chen, Jiafu Wan, Yin Zhang. by Leung, Victor C.M [editor.] | Chen, Min [editor.] | Wan, Jiafu [editor.] | Zhang, Yin [editor.] | SpringerLink (Online service). Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringSource: 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 :
|
|
|
27.
|
|
|
|
28.
|
|
|
|
29.
|
|
|
|
30.
|
Cloud Computing Patterns electronic resource Fundamentals to Design, Build, and Manage Cloud Applications / by Christoph Fehling, Frank Leymann, Ralph Retter, Walter Schupeck, Peter Arbitter. by Fehling, Christoph [author.] | Leymann, Frank [author.] | Retter, Ralph [author.] | Schupeck, Walter [author.] | Arbitter, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Vienna : Springer Vienna : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
31.
|
High Performance Computing electronic resource 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings / edited by Julian M. Kunkel, Thomas Ludwig. by Kunkel, Julian M [editor.] | Ludwig, Thomas [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.
|
|
|
|
33.
|
|
|
|
34.
|
Cloud Computing and Big Data electronic resource Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers / edited by Weizhong Qiang, Xianghan Zheng, Ching-Hsien Hsu. by Qiang, Weizhong [editor.] | Zheng, Xianghan [editor.] | Hsu, Ching-Hsien [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 :
|
|
|
35.
|
|
|
|
36.
|
Component-Based Software Engineering Электронный ресурс 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings / 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, Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner. by Hutchison, David | Chaudron, Michel R. V | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Reussner, Ralf | Steffen, Bernhard | Sudan, Madhu | Szyperski, Clemens | 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
37.
|
|
|
|
38.
|
High Performance Computing electronic resource First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings / edited by Gonzalo Hernández, Carlos Jaime Barrios Hernández, Gilberto Díaz, Carlos García Garino, Sergio Nesmachnow, Tomás Pérez-Acle, Mario Storti, Mariano Vázquez. by Hernández, Gonzalo [editor.] | Barrios Hernández, Carlos Jaime [editor.] | Díaz, Gilberto [editor.] | García Garino, Carlos [editor.] | Nesmachnow, Sergio [editor.] | Pérez-Acle, Tomás [editor.] | Storti, Mario [editor.] | Vázquez, Mariano [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 :
|
|
|
39.
|
|
|
|
40.
|
|
|
|
41.
|
Energy Minimization Methods in Computer Vision and Pattern Recognition electronic resource 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015. Proceedings / edited by Xue-Cheng Tai, Egil Bae, Tony F. Chan, Marius Lysaker. by Tai, Xue-Cheng [editor.] | Bae, Egil [editor.] | Chan, Tony F [editor.] | Lysaker, Marius [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 :
|
|
|
42.
|
Computer Engineering and Technology [electronic resource] : 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Chengyi Zhang, Jinwen Li, Liyan Yu. by Xu, Weixia [editor.] | Xiao, Liquan [editor.] | Zhang, Chengyi [editor.] | Li, Jinwen [editor.] | Yu, Liyan [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 :
|
|
|
43.
|
Supercomputing [electronic resource] : 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings / edited by Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer. by Kunkel, Julian Martin [editor.] | Ludwig, Thomas [editor.] | Meuer, Hans Werner [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 :
|
|
|
44.
|
|
|
|
45.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) Электронный ресурс 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings edited by Vassili by Paliouras, Vassilis | Verkest, Diederik | Vounckx, Johan | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
46.
|
|
|
|
47.
|
|
|
|
48.
|
|
|
|
49.
|
Advanced Computer Architecture electronic resource 10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014. Proceedings / edited by Junjie Wu, Haibo Chen, Xingwei Wang. by Wu, Junjie [editor.] | Chen, Haibo [editor.] | Wang, Xingwei [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 :
|
|
|
50.
|
|
