|
|
|
Scalable and Near-Optimal Design Space Exploration for Embedded Systems [electronic resource] / by Angeliki Kritikakou, Francky Catthoor, Costas Goutis.
by Kritikakou, Angeliki [author.] | Catthoor, Francky [author.] | Goutis, Costas [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
|
|
|
|
Service Orientation in Holonic and Multi-Agent Manufacturing [electronic resource] / edited by Theodor Borangiu, Damien Trentesaux, Andr�e Thomas, Duncan McFarlane.
by Borangiu, Theodor [editor.] | Trentesaux, Damien [editor.] | Thomas, Andr�e [editor.] | McFarlane, Duncan [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
|
|
|
|
Fusion Methodologies in Crisis Management [electronic resource] : Higher Level Fusion and Decision Making / edited by Galina Rogova, Peter Scott.
by Rogova, Galina [editor.] | Scott, Peter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari.
by Olivetti, Nicola [editor.] | Tiwari, Ashish [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
|
|
|
|
Behavior Modeling -- Foundations and Applications [electronic resource] : International Workshops, BM-FA 2009-2014, Revised Selected Papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth.
by Roubtsova, Ella [editor.] | McNeile, Ashley [editor.] | Kindler, Ekkart [editor.] | Gerth, Christian [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
|
|
|
|
Digital Media [electronic resource] : A Problem-solving Approach for Computer Graphics / by Rimon Elias.
by Elias, Rimon [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
|
|
|
|
Managing the Complexity of Critical Infrastructures [electronic resource] : A Modelling and Simulation Approach / edited by Roberto Setola, Vittorio Rosato, Elias Kyriakides, Erich Rome.
by Setola, Roberto [editor.] | Rosato, Vittorio [editor.] | Kyriakides, Elias [editor.] | Rome, Erich [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
|
|
|
|
Human-Computer Interaction. Theory, Design, Development and Practice [electronic resource] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
