|
|
|
TP-Model Transformation-Based-Control Design Frameworks [electronic resource] / by P�eter Baranyi.
by Baranyi, P�eter [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel N�u�nez, Matthias G�udemann.
by N�u�nez, Manuel [editor.] | G�udemann, Matthias [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
|
|
|
|
Computer Vision - ECCV 2014 [electronic resource] : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part I / edited by David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars.
by Fleet, David [editor.] | Pajdla, Tomas [editor.] | Schiele, Bernt [editor.] | Tuytelaars, Tinne [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
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings / edited by John H. Holmes, Riccardo Bellazzi, Lucia Sacchi, Niels Peek.
by Holmes, John H [editor.] | Bellazzi, Riccardo [editor.] | Sacchi, Lucia [editor.] | Peek, Niels [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
|
|
|
|
Stochastic Petri Nets for Wireless Networks [electronic resource] / by Lei Lei, Chuang Lin, Zhangdui Zhong.
by Lei, Lei [author.] | Lin, Chuang [author.] | Zhong, Zhangdui [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
|
|
|
|
Petri Net Synthesis [electronic resource] / by Eric Badouel, Luca Bernardinello, Philippe Darondeau.
by Badouel, Eric [author.] | Bernardinello, Luca [author.] | Darondeau, Philippe [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers / edited by Leszek A. Maciaszek, Kang Zhang.
by Maciaszek, Leszek A [editor.] | Zhang, Kang [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
|
|
|
|
Trends in Ambient Intelligent Systems [electronic resource] : The Role of Computational Intelligence / edited by Kiran Kumar Ravulakollu, Mohammad Ayoub Khan, Ajith Abraham.
by Ravulakollu, Kiran Kumar [editor.] | Khan, Mohammad Ayoub [editor.] | Abraham, Ajith [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
|
|
|
|
Turing Computability [electronic resource] : Theory and Applications / by Robert I. Soare.
by Soare, Robert I [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, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Networks [electronic resource] : 22nd International Conference, CN 2015, Brun�ow, Poland, June 16-19, 2015. Proceedings / edited by Piotr Gaj, Andrzej Kwiecień, Piotr Stera.
by Gaj, Piotr [editor.] | Kwiecień, Andrzej [editor.] | Stera, Piotr [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
|
|
|
|
Artificial Intelligence Applications and Innovations [electronic resource] : 12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016, Proceedings / edited by Lazaros Iliadis, Ilias Maglogiannis.
by Iliadis, Lazaros [editor.] | Maglogiannis, Ilias [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
|
|
|
|
The 1st International Conference on Advanced Intelligent System and Informatics (AISI2015), November 28-30, 2015, Beni Suef, Egypt [electronic resource] / edited by Tarek Gaber, Aboul Ella Hassanien, Nashwa El-Bendary, Nilanjan Dey.
by Gaber, Tarek [editor.] | Hassanien, Aboul Ella [editor.] | El-Bendary, Nashwa [editor.] | Dey, Nilanjan [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
|
|
|
|
Computational Radiology for Orthopaedic Interventions [electronic resource] / edited by Guoyan Zheng, Shuo Li.
by Zheng, Guoyan [editor.] | Li, Shuo [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
|
|
|
|
Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid Functions [electronic resource] : Theory and Algorithms with MATLAB� / by Anish Deb, Srimanti Roychoudhury, Gautam Sarkar.
by Deb, Anish [author.] | Roychoudhury, Srimanti [author.] | Sarkar, Gautam [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
|
|
|
|
E-Commerce and Web Technologies [electronic resource] : 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013. Proceedings / edited by Christian Huemer, Pasquale Lops.
by Huemer, Christian [editor.] | Lops, Pasquale [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
|
|
|
|
Advanced Robotics for Medical Rehabilitation [electronic resource] : Current State of the Art and Recent Advances / by Shane (S.Q.) Xie.
by Xie, Shane (S.Q.) [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
|
|
|
|
Proceedings of International Conference on Soft Computing Techniques and Engineering Application [electronic resource] : ICSCTEA 2013, September 25-27, 2013, Kunming, China / edited by Srikanta Patnaik, Xiaolong Li.
by Patnaik, Srikanta [editor.] | Li, Xiaolong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New Delhi : Springer India : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Making Friends on the Fly: Advances in Ad Hoc Teamwork [electronic resource] / by Samuel Barrett.
by Barrett, Samuel [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
|
|
|
|
Cognitive Communication and Cooperative HetNet Coexistence [electronic resource] : Selected Advances on Spectrum Sensing, Learning, and Security Approaches / edited by Maria-Gabriella Di Benedetto, Faouzi Bader.
by Di Benedetto, Maria-Gabriella [editor.] | Bader, Faouzi [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
|
|
|
|
Supercomputing [electronic resource] : Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers / edited by Vladimir Voevodin, Sergey Sobolev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [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
|
