|
|
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa.
by Kohlhase, Michael [editor.] | Johansson, Moa [editor.] | Miller, Bruce [editor.] | de Moura, Leonardo [editor.] | Tompa, Frank [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
|
|
|
|
Tests and Proofs [electronic resource] : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / edited by Bernhard K. Aichernig, Carlo A. Furia.
by Aichernig, Bernhard K [editor.] | Furia, Carlo A [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
|
|
|
|
Software and Data Technologies [electronic resource] : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers / edited by Jos�e Cordeiro, Slimane Hammoudi, Marten van Sinderen.
by Cordeiro, Jos�e [editor.] | Hammoudi, Slimane [editor.] | Sinderen, Marten van [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Mechatronics by Bond Graphs [electronic resource] : An Object-Oriented Approach to Modelling and Simulation / by Vjekoslav Damić, John Montgomery.
by Damić, Vjekoslav [author.] | Montgomery, John [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, 2003Online access: Click here to access online Availability: No items available
|
|
|
|
Nondestructive Testing of Materials and Structures [electronic resource] / by Oral B�uy�uk�ozt�urk, Mehmet Ali Taşdemir ; edited by Oğuz G�uneş, Y�lmaz Akkaya.
by B�uy�uk�ozt�urk, Oral [author.] | Taşdemir, Mehmet Ali [author.] | G�uneş, Oğuz [editor.] | Akkaya, Y�lmaz [editor.] | 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
|
|
|
|
Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection [electronic resource] : 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings / edited by Yves Demazeau, Takayuki Ito, Javier Bajo, Maria Jos�e Escalona.
by Demazeau, Yves [editor.] | Ito, Takayuki [editor.] | Bajo, Javier [editor.] | Escalona, Maria Jos�e [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
|
|
|
|
Proceedings of the FISITA 2012 World Automotive Congress [electronic resource] : Volume 8: Vehicle Design and Testing (II).
by 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
|
|
|
|
Pattern Recognition [electronic resource] : 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings / edited by Juergen Gall, Peter Gehler, Bastian Leibe.
by Gall, Juergen [editor.] | Gehler, Peter [editor.] | Leibe, Bastian [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
|
|
|
|
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II / edited by Lin Zhang, Xiao Song, Yunjie Wu.
by Zhang, Lin [editor.] | Song, Xiao [editor.] | Wu, Yunjie [editor.] | SpringerLink (Online service). 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
|
|
|
|
Biomedical Engineering Systems and Technologies [electronic resource] : 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers / edited by Ana Fred, Joaquim Filipe, Hugo Gamboa.
by Fred, Ana [editor.] | Filipe, Joaquim [editor.] | Gamboa, Hugo [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / edited by Javier Campos, Boudewijn R. Haverkort.
by Campos, Javier [editor.] | Haverkort, Boudewijn R [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
|
|
|
|
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). 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
|
|
|
|
Quality Management in Reverse Logistics [electronic resource] : A Broad Look on Quality Issues and Their Interaction with Closed-Loop Supply Chains / edited by Yiannis Nikolaidis.
by Nikolaidis, Yiannis [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Offshore Risk Assessment vol 1. [electronic resource] : Principles, Modelling and Applications of QRA Studies / by Jan-Erik Vinnem.
by Vinnem, Jan-Erik [author.] | SpringerLink (Online service). Edition: 3rd ed. 2014.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Simulation of Urban Mobility [electronic resource] : First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers / edited by Michael Behrisch, Daniel Krajzewicz, Melanie Weber.
by Behrisch, Michael [editor.] | Krajzewicz, Daniel [editor.] | Weber, Melanie [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
|
|
|
|
Logic Synthesis for FPGA-Based Finite State Machines [electronic resource] / by Alexander Barkalov, Larysa Titarenko, Malgorzata Kolopienczyk, Kamil Mielcarek, Grzegorz Bazydlo.
by Barkalov, Alexander [author.] | Titarenko, Larysa [author.] | Kolopienczyk, Malgorzata [author.] | Mielcarek, Kamil [author.] | Bazydlo, Grzegorz [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
|
|
|
|
Bio-Inspired Computing - Theories and Applications [electronic resource] : 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014. Proceedings / edited by Linqiang Pan, Gheorghe Păun, Mario J. P�erez-Jim�enez, Tao Song.
by Pan, Linqiang [editor.] | Păun, Gheorghe [editor.] | P�erez-Jim�enez, Mario J [editor.] | Song, Tao [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
|
|
|
|
Advances in Image and Graphics Technologies [electronic resource] : Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings / edited by Tieniu Tan, Qiuqi Ruan, Shengjin Wang, Huimin Ma, Kaiqi Huang.
by Tan, Tieniu [editor.] | Ruan, Qiuqi [editor.] | Wang, Shengjin [editor.] | Ma, Huimin [editor.] | Huang, Kaiqi [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
|
|
|
|
Graphical Simulation of Deformable Models [electronic resource] / by Jianping Cai, Feng Lin, Hock Soon Seah.
by Cai, Jianping [author.] | Lin, Feng [author.] | Seah, Hock Soon [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
|
|
|
|
Computational Intelligence for Traffic and Mobility [electronic resource] / edited by Wuhong Wang, Geert Wets.
by Wang, Wuhong [editor.] | Wets, Geert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013Online access: Click here to access online Availability: No items available
|
