Your search returned 14664 results. Subscribe to this search

|
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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Enterprise, Business-Process and Information Systems Modeling [electronic resource] : 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings / edited by Khaled Gaaloul, Rainer Schmidt, Selmin Nurcan, S�ergio Guerreiro, Qin Ma.

by Gaaloul, Khaled [editor.] | Schmidt, Rainer [editor.] | Nurcan, Selmin [editor.] | Guerreiro, S�ergio [editor.] | Ma, Qin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Road Vehicle Automation 2 [electronic resource] / edited by Gereon Meyer, Sven Beiker.

by Meyer, Gereon [editor.] | Beiker, Sven [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Natural Language Dialog Systems and Intelligent Assistants [electronic resource] / edited by G.G. Lee, H.K. Kim, M. Jeong, J.-H. Kim.

by Lee, G.G [editor.] | Kim, H.K [editor.] | Jeong, M [editor.] | Kim, J.-H [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Effects of Magnetoelastic Interactions in Conductive Plates and Shells [electronic resource] / by Gevorg Baghdasaryan, Marine Mikilyan.

by Baghdasaryan, Gevorg [author.] | Mikilyan, Marine [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Continuous and Distributed Systems II [electronic resource] : Theory and Applications / edited by Viktor A. Sadovnichiy, Mikhail Z. Zgurovsky.

by Sadovnichiy, Viktor A [editor.] | Zgurovsky, Mikhail Z [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Structural Health Monitoring, Damage Detection & Mechatronics, Volume 7 [electronic resource] : Proceedings of the 34th IMAC, A Conference and Exposition on Structural Dynamics 2016 / edited by Alfred Wicks, Christopher Niezrecki.

by Wicks, Alfred [editor.] | Niezrecki, Christopher [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available