|
|
|
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu.
by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
QoS Management of Web Services [electronic resource] / by Zibin Zheng, Michael R. Lyu.
by Zheng, Zibin [author.] | Lyu, Michael R [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Collaboration and Technology [electronic resource] : 20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014. Proceedings / edited by Nelson Baloian, Frada Burstein, Hiroaki Ogata, Flavia Santoro, Gustavo Zurita.
by Baloian, Nelson [editor.] | Burstein, Frada [editor.] | Ogata, Hiroaki [editor.] | Santoro, Flavia [editor.] | Zurita, Gustavo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Multiphysics Modelling and Simulation for Systems Design and Monitoring [electronic resource] : Proceedings of the Multiphysics Modelling and Simulation for Systems Design Conference, MMSSD 2014, 17-19 December, Sousse, Tunisia / edited by Mohamed Haddar, Mohamed Slim Abbes, Jean-Yves Choley, Taoufik Boukharouba, Tamer Elnady, Andrei Kanaev, Mounir Ben Amar, Fakher Chaari.
by Haddar, Mohamed [editor.] | Abbes, Mohamed Slim [editor.] | Choley, Jean-Yves [editor.] | Boukharouba, Taoufik [editor.] | Elnady, Tamer [editor.] | Kanaev, Andrei [editor.] | Ben Amar, Mounir [editor.] | Chaari, Fakher [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Services in Wireless Sensor Networks [electronic resource] : Modelling and Optimisation for the Efficient Discovery of Services / by Markus Becker.
by Becker, Markus [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Genetic Programming [electronic resource] : 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / edited by Miguel Nicolau, Krzysztof Krawiec, Malcolm I. Heywood, Mauro Castelli, Pablo Garc�ia-S�anchez, Juan J. Merelo, Victor M. Rivas Santos, Kevin Sim.
by Nicolau, Miguel [editor.] | Krawiec, Krzysztof [editor.] | Heywood, Malcolm I [editor.] | Castelli, Mauro [editor.] | Garc�ia-S�anchez, Pablo [editor.] | Merelo, Juan J [editor.] | Rivas Santos, Victor M [editor.] | Sim, Kevin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Clinical Image-Based Procedures. Translational Research in Medical Imaging [electronic resource] : 5th International Workshop, CLIP 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings / edited by Raj Shekhar, Stefan Wesarg, Miguel �Angel Gonz�alez Ballester, Klaus Drechsler, Yoshinobu Sato, Marius Erdt, Marius George Linguraru, Cristina Oyarzun Laura.
by Shekhar, Raj [editor.] | Wesarg, Stefan [editor.] | Gonz�alez Ballester, Miguel �Angel [editor.] | Drechsler, Klaus [editor.] | Sato, Yoshinobu [editor.] | Erdt, Marius [editor.] | Linguraru, Marius George [editor.] | Oyarzun Laura, Cristina [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Biological Signals Classification and Analysis [electronic resource] / by Kamran Kiasaleh.
by Kiasaleh, Kamran [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Foundations of Programming Languages [electronic resource] / by Kent D. Lee.
by Lee, Kent D [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Radar Cross Section of Dipole Phased Arrays with Parallel Feed Network [electronic resource] / by Hema Singh, H. L. Sneha, Rakesh Mohan Jha.
by Singh, Hema [author.] | Sneha, H. L [author.] | Jha, Rakesh Mohan [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Bubble Systems [electronic resource] / by Alexander A. Avdeev.
by Avdeev, Alexander A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Nanorobotics [electronic resource] : Current Approaches and Techniques / edited by Constantinos Mavroidis, Antoine Ferreira.
by Mavroidis, Constantinos [editor.] | Ferreira, Antoine [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Antonio M. Mora, Giovanni Squillero.
by Mora, Antonio M [editor.] | Squillero, Giovanni [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Learning Analytics in R with SNA, LSA, and MPIA [electronic resource] / by Fridolin Wild.
by Wild, Fridolin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Determinants of Construction Project Success in India [electronic resource] / by Kumar Neeraj Jha.
by Jha, Kumar Neeraj [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Computer and Communication Engineering Technology [electronic resource] : Proceedings of ICOCOE 2015 / edited by Hamzah Asyrani Sulaiman, Mohd Azlishah Othman, Mohd Fairuz Iskandar Othman, Yahaya Abd Rahim, Naim Che Pee.
by Sulaiman, Hamzah Asyrani [editor.] | Othman, Mohd Azlishah [editor.] | Othman, Mohd Fairuz Iskandar [editor.] | Rahim, Yahaya Abd [editor.] | Pee, Naim Che [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Evolutionary Algorithms and Metaheuristics in Civil Engineering and Construction Management [electronic resource] / edited by Jorge Magalh�aes-Mendes, David Greiner.
by Magalh�aes-Mendes, Jorge [editor.] | Greiner, David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Multibody Mechatronic Systems [electronic resource] : Proceedings of the MUSME Conference held in Huatulco, Mexico, October 21-24, 2014 / edited by Marco Ceccarelli, Eusebio Eduardo Hern�andez Martinez.
by Ceccarelli, Marco [editor.] | Hern�andez Martinez, Eusebio Eduardo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Big Data [electronic resource] : A Primer / edited by Hrushikesha Mohanty, Prachet Bhuyan, Deepak Chenthati.
by Mohanty, Hrushikesha [editor.] | Bhuyan, Prachet [editor.] | Chenthati, Deepak [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New Delhi : Springer India : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Polynomial Chaos Methods for Hyperbolic Partial Differential Equations [electronic resource] : Numerical Techniques for Fluid Dynamics Problems in the Presence of Uncertainties / by Mass Per Pettersson, Gianluca Iaccarino, Jan Nordstr�om.
by Pettersson, Mass Per [author.] | Iaccarino, Gianluca [author.] | Nordstr�om, Jan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
