|
|
251.
|
|
|
|
252.
|
Functional Imaging and Modeling of the Heart electronic resource 8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings / edited by Hans van Assen, Peter Bovendeerd, Tammo Delhaas. by van Assen, Hans [editor.] | Bovendeerd, Peter [editor.] | Delhaas, Tammo [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 :
|
|
|
253.
|
Information Processing in Computer-Assisted Interventions [electronic resource] : 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings / edited by Dean Barratt, Stéphane Cotin, Gabor Fichtinger, Pierre Jannin, Nassir Navab. by Barratt, Dean [editor.] | Cotin, Stéphane [editor.] | Fichtinger, Gabor [editor.] | Jannin, Pierre [editor.] | Navab, Nassir [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 :
|
|
|
254.
|
|
|
|
255.
|
Advances in High Performance Computing and Computational Sciences Электронный ресурс The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005 / edited by Yurii Shokin, Michael Resch, Nina Shokina, Nargozy Danaev, Murat Orunkhanov. by Shokin, Yurii I | Danaev, Nargozy | Orunkhanov, Murat | Resch, Michael | Shokina, Nina | SpringerLink (Online service). Series: Notes on Numerical Fluid Mechanics and Multidisciplinary Design (NNFM)Source: Springer e-booksMaterial 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 :
|
|
|
256.
|
|
|
|
257.
|
|
|
|
258.
|
|
|
|
259.
|
Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges electronic resource 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, 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: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
260.
|
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 :
|
|
|
261.
|
|
|
|
262.
|
|
|
|
263.
|
|
|
|
264.
|
Large-Scale Scientific Computing electronic resource 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [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 :
|
|
|
265.
|
|
|
|
266.
|
|
|
|
267.
|
Big-Data Analytics and Cloud Computing electronic resource Theory, Algorithms and Applications / edited by Marcello Trovati, Richard Hill, Ashiq Anjum, Shao Ying Zhu, Lu Liu. by Trovati, Marcello [editor.] | Hill, Richard [editor.] | Anjum, Ashiq [editor.] | Zhu, Shao Ying [editor.] | Liu, Lu [editor.] | SpringerLink (Online service). Edition: 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 :
|
|
|
268.
|
|
|
|
269.
|
|
|
|
270.
|
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 :
|
|
|
271.
|
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 :
|
|
|
272.
|
Natural Computing and Beyond [electronic resource] : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings / edited by Yasuhiro Suzuki, Toshiyuki Nakagaki. by Suzuki, Yasuhiro [editor.] | Nakagaki, Toshiyuki [editor.] | SpringerLink (Online service). Series: Proceedings in Information and Communications TechnologySource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Tokyo : Springer Japan : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
273.
|
Dependable Software Engineering: Theories, Tools, and Applications electronic resource First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. by Li, Xuandong [editor.] | Liu, Zhiming [editor.] | Yi, Wang [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 :
|
|
|
274.
|
|
|
|
275.
|
|
|
|
276.
|
|
|
|
277.
|
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 :
|
|
|
278.
|
Cellular Automata Электронный ресурс 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 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, Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini. by Hutchison, David | Bandini, Stefania | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Komatsuzaki, Toshihiko | Mattern, Friedemann | Mitchell, John C | Morishita, Shin | Naor, Moni | Nierstrasz, Oscar | Nishinari, Katsuhiro | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Umeo, Hiroshi | 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 :
|
|
|
279.
|
Complex Sciences [electronic resource] : Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers / edited by Kristin Glass, Richard Colbaugh, Paul Ormerod, Jeffrey Tsao. by Glass, Kristin [editor.] | Colbaugh, Richard [editor.] | Ormerod, Paul [editor.] | Tsao, Jeffrey [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, 2013Online access: Click here to access online Availability: No items available :
|
|
|
280.
|
|
|
|
281.
|
|
|
|
282.
|
|
|
|
283.
|
|
|
|
284.
|
|
|
|
285.
|
|
|
|
286.
|
Tests and Proofs electronic resource 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings / edited by Martina Seidl, Nikolai Tillmann. by Seidl, Martina [editor.] | Tillmann, Nikolai [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 :
|
|
|
287.
|
Fractional Order Differentiation and Robust Control Design electronic resource CRONE, H-infinity and Motion Control / by Jocelyn Sabatier, Patrick Lanusse, Pierre Melchior, Alain Oustaloup. by Sabatier, Jocelyn [author.] | Lanusse, Patrick [author.] | Melchior, Pierre [author.] | Oustaloup, Alain [author.] | SpringerLink (Online service). Series: Intelligent Systems, Control and Automation: Science and EngineeringSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Dordrecht : Springer Netherlands : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
288.
|
Hybrid Systems: Computation and Control Электронный ресурс 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings / edited by Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo. by Bemporad, Alberto | Bicchi, Antonio | Buttazzo, Giorgio | 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 :
|
|
|
289.
|
Automotive Software- Connected Services in Mobile Networks Электронный ресурс First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers edited by Manfred Broy, Ingolf Krüger, Michael by Broy, Manfred | Krüger, Ingolf | Meisinger, Michael | 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 :
|
|
|
290.
|
Enterprise and Organizational Modeling and Simulation [electronic resource] : 9th International Workshop, EOMAS 2013, Held at CAiSE 2013, Valencia, Spain, June 17, 2013, Selected Papers / edited by Joseph Barjis, Ashish Gupta, Amir Meshkat. by Barjis, Joseph [editor.] | Gupta, Ashish [editor.] | Meshkat, Amir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: 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 :
|
|
|
291.
|
Medical Computer Vision: Algorithms for Big Data electronic resource International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers / edited by Bjoern Menze, Georg Langs, Albert Montillo, Michael Kelm, Henning Müller, Shaoting Zhang, Weidong (Tom) Cai, Dimitris Metaxas. by Menze, Bjoern [editor.] | Langs, Georg [editor.] | Montillo, Albert [editor.] | Kelm, Michael [editor.] | Müller, Henning [editor.] | Zhang, Shaoting [editor.] | Cai, Weidong (Tom) [editor.] | Metaxas, Dimitris [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 :
|
|
|
292.
|
|
|
|
293.
|
|
|
|
294.
|
|
|
|
295.
|
Foundations of Health Information Engineering and Systems electronic resource Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / edited by Jeremy Gibbons, Wendy MacCaull. by Gibbons, Jeremy [editor.] | MacCaull, Wendy [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 :
|
|
|
296.
|
Pattern Recognition [electronic resource] : 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings / edited by Joachim Weickert, Matthias Hein, Bernt Schiele. by Weickert, Joachim [editor.] | Hein, Matthias [editor.] | Schiele, Bernt [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 :
|
|
|
297.
|
Breast Imaging electronic resource 12th International Workshop, IWDM 2014, Gifu City, Japan, June 29 – July 2, 2014. Proceedings / edited by Hiroshi Fujita, Takeshi Hara, Chisako Muramatsu. by Fujita, Hiroshi [editor.] | Hara, Takeshi [editor.] | Muramatsu, Chisako [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 :
|
|
|
298.
|
|
|
|
299.
|
Engineering Societies in the Agents World VI Электронный ресурс 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers edited by Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro by Dikenelli, Oğuz | Gleizes, Marie-Pierre | Ricci, Alessandro | 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 :
|
|
|
300.
|
|
