|
|
51.
|
|
|
|
52.
|
Logic and Its Applications Электронный ресурс Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. 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, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, R. Ramanujam, Sundar Sarukkai. by Hutchison, David | Goebel, Randy | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Ramanujam, R | Sarukkai, Sundar | Siekmann, Jörg | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Wahlster, Wolfgang | 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, 2009Online access: Click here to access online Availability: No items available :
|
|
|
53.
|
|
|
|
54.
|
|
|
|
55.
|
Nature of Computation and Communication electronic resource International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers / edited by Phan Cong Vinh, Emil Vassev, Mike Hinchey. by Vinh, Phan Cong [editor.] | Vassev, Emil [editor.] | Hinchey, Mike [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, 2015Online access: Click here to access online Availability: No items available :
|
|
|
56.
|
|
|
|
57.
|
|
|
|
58.
|
Parallel Scientific Computing and Optimization Электронный ресурс Advances and Applications / by Raimondas Čiegis, David Henty, Bo Kågström, Julius Žilinskas ; edited by Panos M. Pardalos, Ding-Zhu Du. by Čiegis, Raimondas | Du, Ding-Zhu | Henty, David | Pardalos, Panos M | Kågström, Bo | Žilinskas, Julius | SpringerLink (Online service). Series: Springer Optimization and Its ApplicationsSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available :
|
|
|
59.
|
Multi-Agent Programming Электронный ресурс Languages, Platforms and Applications / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Bordini, Rafael H | Dastani, Mehdi | Dix, Jürgen | Fallah Seghrouchni, Amal | SpringerLink (Online service). Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book SeriesSource: 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 :
|
|
|
60.
|
Languages and Compilers for Parallel Computing Электронный ресурс 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised 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, Vikram Adve, María Jesús Garzarán, Paul Petersen. by Hutchison, David | Adve, Vikram | Garzarán, María Jesús | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Petersen, Paul | 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 :
|
|
|
61.
|
|
|
|
62.
|
|
|
|
63.
|
|
|
|
64.
|
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 :
|
|
|
65.
|
|
|
|
66.
|
|
|
|
67.
|
Agent and Multi-Agent Systems: Technologies and Applications electronic resource Proceedings of the 8th International Conference KES-AMSTA 2014 Chania, Greece, June 2014 / edited by Gordan Jezic, Mario Kusek, Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain. by Jezic, Gordan [editor.] | Kusek, Mario [editor.] | Lovrek, Ignac [editor.] | J. Howlett, Robert [editor.] | Jain, Lakhmi C [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: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
68.
|
|
|
|
69.
|
|
|
|
70.
|
Information Computing and Applications [electronic resource] : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II / edited by Yuhang Yang, Maode Ma, Baoxiang Liu. by Yang, Yuhang [editor.] | Ma, Maode [editor.] | Liu, Baoxiang [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 :
|
|
|
71.
|
Information Computing and Applications [electronic resource] : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I / edited by Yuhang Yang, Maode Ma, Baoxiang Liu. by Yang, Yuhang [editor.] | Ma, Maode [editor.] | Liu, Baoxiang [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 :
|
|
|
72.
|
|
|
|
73.
|
|
|
|
74.
|
|
|
|
75.
|
Image Processing Based on Partial Differential Equations Электронный ресурс Proceedings of the International Conference on PDE-Based Image Processing and Related Inverse Problems, CMA, Oslo, August 8–12, 2005 / edited by Xue-Cheng Tai, Knut-Andreas Lie, Tony F. Chan, Stanley Osher. by Tai, Xue-Cheng | Chan, Tony F | Lie, Knut-Andreas | Osher, Stanley | SpringerLink (Online service). Series: Mathematics and VisualizationSource: 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 :
|
|
|
76.
|
Computer and Information Sciences - ISCIS 2006 Электронный ресурс 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings edited by Albert Levi, Erkay Savas, Hüsnü Yenigün, Selim Balcisoy et al. by Levi, Albert | Balcisoy, Selim | Savas, Erkay | Saygin, Yücel | Yenigün, Hüsnü | 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 :
|
|
|
77.
|
Logic, Language, Information and Computation Электронный ресурс 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz. by Leivant, Daniel | Queiroz, Ruy | 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 :
|
|
|
78.
|
|
|
|
79.
|
|
|
|
80.
|
|
|
|
81.
|
|
|
|
82.
|
Theory and Applications of Models of Computation Электронный ресурс 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings / edited by Jin-Yi Cai, S. Barry Cooper, Hong Zhu. by Cai, Jin-Yi | Cooper, S. Barry | Zhu, Hong | 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 :
|
|
|
83.
|
|
|
|
84.
|
Computation and Logic in the Real World Электронный ресурс Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by Cooper, S. Barry | Löwe, Benedikt | Sorbi, Andrea | 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., 2007Online access: Click here to access online Availability: No items available :
|
|
|
85.
|
|
|
|
86.
|
Principles of Distributed Systems Электронный ресурс 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 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, Theodore P. Baker, Alain Bui, Sébastien Tixeuil. by Hutchison, David | Baker, Theodore P | Bui, Alain | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tixeuil, Sébastien | 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 :
|
|
|
87.
|
|
|
|
88.
|
|
|
|
89.
|
|
|
|
90.
|
|
|
|
91.
|
|
|
|
92.
|
|
|
|
93.
|
Genetic Programming IV Электронный ресурс Routine Human-Competitive Machine Intelligence / by John R. Koza, Martin A. Keane, Matthew J. Streeter, William Mydlowec, Jessen Yu, Guido Lanza. by Koza, John R | Keane, Martin A | Lanza, Guido | Mydlowec, William | Streeter, Matthew J | Yu, Jessen | SpringerLink (Online service). Series: Genetic Programming SeriesSource: 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 :
|
|
|
94.
|
|
|
|
95.
|
|
|
|
96.
|
Mathematical Methods in Computer Science Электронный ресурс Essays in Memory of Thomas Beth / 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, Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade. by Hutchison, David | Calmet, Jacques | Geiselmann, Willi | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Müller-Quade, Jörn | 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 :
|
|
|
97.
|
|
|
|
98.
|
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges electronic resource 4th International Workshop, STACOM 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 26, 2013. Revised Selected Papers / edited by Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young. by Camara, Oscar [editor.] | Mansi, Tommaso [editor.] | Pop, Mihaela [editor.] | Rhode, Kawal [editor.] | Sermesant, Maxime [editor.] | Young, Alistair [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 :
|
|
|
99.
|
|
|
|
100.
|
Concurrent Objects and Beyond electronic resource Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura. by Agha, Gul [editor.] | Igarashi, Atsushi [editor.] | Kobayashi, Naoki [editor.] | Masuhara, Hidehiko [editor.] | Matsuoka, Satoshi [editor.] | Shibayama, Etsuya [editor.] | Taura, Kenjiro [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 :
|
