|
1201.
|
|
|
1202.
|
|
|
1203.
|
|
|
1204.
|
Software Process Improvement and Capability Determination [electronic resource] : 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings / edited by Tanja Woronowicz, Terry Rout, Rory V. O’Connor, Alec Dorling. by Woronowicz, Tanja [editor.] | Rout, Terry [editor.] | O’Connor, Rory V [editor.] | Dorling, Alec [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 :
|
|
1205.
|
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Carlini, Maurizio [editor.] | Torre, Carmelo M [editor.] | Nguyen, Hong-Quang [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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 :
|
|
1206.
|
Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. by Kučera, Antonín [editor.] | Henzinger, Thomas A [editor.] | Nešetřil, Jaroslav [editor.] | Vojnar, Tomáš [editor.] | Antoš, David [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 :
|
|
1207.
|
Without Bounds: A Scientific Canvas of Nonlinearity and Complex Dynamics electronic resource edited by Ramon G. Rubio, Yuri S. Ryazantsev, Victor M Starov, Guo-Xiang Huang, Alexander P Chetverikov, Paolo Arena, Alex A. Nepomnyashchy, Alberto Ferrus, Eugene G. Morozov. by Rubio, Ramon G [editor.] | Ryazantsev, Yuri S [editor.] | Starov, Victor M [editor.] | Huang, Guo-Xiang [editor.] | Chetverikov, Alexander P [editor.] | Arena, Paolo [editor.] | Nepomnyashchy, Alex A [editor.] | Ferrus, Alberto [editor.] | Morozov, Eugene G [editor.] | SpringerLink (Online service). Series: Understanding Complex SystemsSource: 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 :
|
|
1208.
|
Embedded Systems: Design, Analysis and Verification [electronic resource] : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings / edited by Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. by Schirner, Gunar [editor.] | Götz, Marcelo [editor.] | Rettberg, Achim [editor.] | Zanella, Mauro C [editor.] | Rammig, Franz J [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 :
|
|
1209.
|
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by Logozzo, Francesco [editor.] | Fähndrich, Manuel [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 :
|
|
1210.
|
Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [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 :
|
|
1211.
|
Distributed Computing and Networking [electronic resource] : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings / edited by Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha. by Frey, Davide [editor.] | Raynal, Michel [editor.] | Sarkar, Saswati [editor.] | Shyamasundar, Rudrapatna K [editor.] | Sinha, Prasun [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 :
|
|
1212.
|
Mesenchymal Stem Cells - Basics and Clinical Application I electronic resource edited by Birgit Weyand, Massimo Dominici, Ralf Hass, Roland Jacobs, Cornelia Kasper. by Weyand, Birgit [editor.] | Dominici, Massimo [editor.] | Hass, Ralf [editor.] | Jacobs, Roland [editor.] | Kasper, Cornelia [editor.] | SpringerLink (Online service). Series: Advances in Biochemical Engineering/BiotechnologySource: 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 :
|
|
1213.
|
|
|
1214.
|
|
|
1215.
|
Declarative Agent Languages and Technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos. by Baldoni, Matteo [editor.] | Dennis, Louise [editor.] | Mascardi, Viviana [editor.] | Vasconcelos, Wamberto [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 :
|
|
1216.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by Beyer, Dirk [editor.] | Boreale, Michele [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 :
|
|
1217.
|
Reliable Software Technologies – Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. by Keller, Hubert B [editor.] | Plödereder, Erhard [editor.] | Dencker, Peter [editor.] | Klenk, Herbert [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 :
|
|
1218.
|
|
|
1219.
|
|
|
1220.
|
|
|
1221.
|
|
|
1222.
|
Iterative Learning Control for Electrical Stimulation and Stroke Rehabilitation electronic resource by Chris T. Freeman, Eric Rogers, Jane H. Burridge, Ann-Marie Hughes, Katie L. Meadmore. by Freeman, Chris T [author.] | Rogers, Eric [author.] | Burridge, Jane H [author.] | Hughes, Ann-Marie [author.] | Meadmore, Katie L [author.] | SpringerLink (Online service). Series: SpringerBriefs in Electrical and Computer EngineeringSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: London : Springer London : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
1223.
|
|
|
1224.
|
|
|
1225.
|
|
|
1226.
|
|
|
1227.
|
|
|
1228.
|
|
|
1229.
|
An Introduction to Continuous-Time Stochastic Processes electronic resource Theory, Models, and Applications to Finance, Biology, and Medicine / by Vincenzo Capasso, David Bakstein. by Capasso, Vincenzo [author.] | Bakstein, David [author.] | SpringerLink (Online service). Series: Modeling and Simulation in Science, Engineering and TechnologyEdition: 3rd ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: New York, NY : Springer New York : Imprint: Birkhäuser, 2015Online access: Click here to access online Availability: No items available :
|
|
1230.
|
|
|
1231.
|
|
|
1232.
|
Multiscale Characterization of Biological Systems electronic resource Spectroscopy and Modeling / by Vikas Tomar, Tao Qu, Devendra K. Dubey, Devendra Verma, Yang Zhang. by Tomar, Vikas [author.] | Qu, Tao [author.] | Dubey, Devendra K [author.] | Verma, Devendra [author.] | Zhang, Yang [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: New York, NY : Springer New York : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
1233.
|
Stochastic Analysis: A Series of Lectures electronic resource Centre Interfacultaire Bernoulli, January–June 2012, Ecole Polytechnique Fédérale de Lausanne, Switzerland / edited by Robert C. Dalang, Marco Dozzi, Franco Flandoli, Francesco Russo. by Dalang, Robert C [editor.] | Dozzi, Marco [editor.] | Flandoli, Franco [editor.] | Russo, Francesco [editor.] | SpringerLink (Online service). Series: Progress in ProbabilitySource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Basel : Springer Basel : Imprint: Birkhäuser, 2015Online access: Click here to access online Availability: No items available :
|
|
1234.
|
|
|
1235.
|
|
|
1236.
|
|
|
1237.
|
|
|
1238.
|
|
|
1239.
|
|
|
1240.
|
Knowledge Science, Engineering and Management electronic resource 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings / edited by Robert Buchmann, Claudiu Vasile Kifor, Jian Yu. by Buchmann, Robert [editor.] | Kifor, Claudiu Vasile [editor.] | Yu, Jian [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 :
|
|
1241.
|
|
|
1242.
|
Thermal and Mineral Waters electronic resource Origin, Properties and Applications / edited by Werner Balderer, Adam Porowski, Hussein Idris, James W. LaMoreaux. by Balderer, Werner [editor.] | Porowski, Adam [editor.] | Idris, Hussein [editor.] | LaMoreaux, James W [editor.] | SpringerLink (Online service). Series: Environmental Earth SciencesSource: 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 :
|
|
1243.
|
|
|
1244.
|
Runtime Verification electronic resource 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / edited by Borzoo Bonakdarpour, Scott A. Smolka. by Bonakdarpour, Borzoo [editor.] | Smolka, Scott A [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 :
|
|
1245.
|
|
|
1246.
|
|
|
1247.
|
|
|
1248.
|
|
|
1249.
|
Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012 electronic resource edited by B. V. Babu, Atulya Nagar, Kusum Deep, Millie Pant, Jagdish Chand Bansal, Kanad Ray, Umesh Gupta. by Babu, B. V [editor.] | Nagar, Atulya [editor.] | Deep, Kusum [editor.] | Pant, Millie [editor.] | Bansal, Jagdish Chand [editor.] | Ray, Kanad [editor.] | Gupta, Umesh [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: New Delhi : Springer India : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
1250.
|
A Mathematical Approach to Research Problems of Science and Technology electronic resource Theoretical Basis and Developments in Mathematical Modeling / edited by Ryuei Nishii, Shin-ichiro Ei, Miyuki Koiso, Hiroyuki Ochiai, Kanzo Okada, Shingo Saito, Tomoyuki Shirai. by Nishii, Ryuei [editor.] | Ei, Shin-ichiro [editor.] | Koiso, Miyuki [editor.] | Ochiai, Hiroyuki [editor.] | Okada, Kanzo [editor.] | Saito, Shingo [editor.] | Shirai, Tomoyuki [editor.] | SpringerLink (Online service). Series: Mathematics for IndustrySource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Tokyo : Springer Japan : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|