Your search returned 30125 results. Subscribe to this search

|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son.

by Cabalar, Pedro [editor.] | Son, Tran Cao [editor.] | SpringerLink (Online service).

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

Computing and Combinatorics [electronic resource] : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / edited by Thang N. Dinh, My T. Thai.

by Dinh, Thang N [editor.] | Thai, My T [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

Social Robotics [electronic resource] : 8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings / edited by Arvin Agah, John-John Cabibihan, Ayanna M. Howard, Miguel A. Salichs, Hongsheng He.

by Agah, Arvin [editor.] | Cabibihan, John-John [editor.] | Howard, Ayanna M [editor.] | Salichs, Miguel A [editor.] | He, Hongsheng [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

Privacy and Identity Management for the Future Internet in the Age of Globalisation [electronic resource] : 9th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Patras, Greece, September 7-12, 2014, Revised Selected Papers / edited by Jan Camenisch, Simone Fischer-H�ubner, Marit Hansen.

by Camenisch, Jan [editor.] | Fischer-H�ubner, Simone [editor.] | Hansen, Marit [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

Advances in Cryptology - CRYPTO 2013 [electronic resource] : 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II / edited by Ran Canetti, Juan A. Garay.

by Canetti, Ran [editor.] | Garay, Juan A [editor.] | SpringerLink (Online service).

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

Monitoring and Securing Virtualized Networks and Services [electronic resource] : 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2014, Brno, Czech Republic, June 30 - July 3, 2014. Proceedings / edited by Anna Sperotto, Guillaume Doyen, Steven Latr�e, Marinos Charalambides, Burkhard Stiller.

by Sperotto, Anna [editor.] | Doyen, Guillaume [editor.] | Latr�e, Steven [editor.] | Charalambides, Marinos [editor.] | Stiller, Burkhard [editor.] | SpringerLink (Online service).

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

Domain-Specific Conceptual Modeling [electronic resource] : Concepts, Methods and Tools / edited by Dimitris Karagiannis, Heinrich C. Mayr, John Mylopoulos.

by Karagiannis, Dimitris [editor.] | Mayr, Heinrich C [editor.] | Mylopoulos, John [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

Recent Advances in Contact Mechanics [electronic resource] : Papers Collected at the 5th Contact Mechanics International Symposium (CMIS2009), April 28-30, 2009, Chania, Greece / edited by Georgios E. Stavroulakis.

by Stavroulakis, Georgios E [editor.] | SpringerLink (Online service).

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

Languages and Compilers for Parallel Computing [electronic resource] : 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers / edited by Călin Cașcaval, Pablo Montesinos.

by Cașcaval, Călin [editor.] | Montesinos, Pablo [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

Efficiency and Innovation in Logistics [electronic resource] : Proceedings of the International Logistics Science Conference (ILSC) 2013 / edited by Uwe Clausen, Michael ten Hompel, J. Fabian Meier.

by Clausen, Uwe [editor.] | ten Hompel, Michael [editor.] | Meier, J. Fabian [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

Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Vo�, Rune M�ller Jensen.

by Pacino, Dario [editor.] | Vo�, Stefan [editor.] | Jensen, Rune M�ller [editor.] | SpringerLink (Online service).

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

Dynamic Fracture of Piezoelectric Materials [electronic resource] : Solution of Time-Harmonic Problems via BIEM / by Petia Dineva, Dietmar Gross, Ralf M�uller, Tsviatko Rangelov.

by Dineva, Petia [author.] | Gross, Dietmar [author.] | M�uller, Ralf [author.] | Rangelov, Tsviatko [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, 2014Online access: Click here to access online Availability: No items available

Engineering Safe and Secure Cyber-Physical Systems [electronic resource] : The Specification PEARL Approach / by Roman Gumzej.

by Gumzej, Roman [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

Online Social Media Analysis and Visualization [electronic resource] / edited by Jalal Kawash.

by Kawash, Jalal [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

Multiresolution Approach to Processing Images for Different Applications [electronic resource] : Interaction of Lower Processing with Higher Vision / by Igor Vujović.

by Vujović, Igor [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

Dynamics and Control of Mechanical Systems in Offshore Engineering [electronic resource] / by Wei He, Shuzhi Sam Ge, Bernard Voon Ee How, Yoo Sang Choo.

by He, Wei [author.] | Ge, Shuzhi Sam [author.] | How, Bernard Voon Ee [author.] | Choo, Yoo Sang [author.] | SpringerLink (Online service).

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

Indian Mujahideen [electronic resource] : Computational Analysis and Public Policy / by V.S. Subrahmanian, Aaron Mannes, Animesh Roul, R.K. Raghavan.

by Subrahmanian, V.S [author.] | Mannes, Aaron [author.] | Roul, Animesh [author.] | Raghavan, R.K [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, 2013Online access: Click here to access online Availability: No items available

Support Vector Machines and Evolutionary Algorithms for Classification [electronic resource] : Single or Together? / by Catalin Stoean, Ruxandra Stoean.

by Stoean, Catalin [author.] | Stoean, Ruxandra [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, 2014Online access: Click here to access online Availability: No items available

Diagnostics and Reliability of Pipeline Systems [electronic resource] / by Sviatoslav Timashev, Anna Bushinskaya.

by Timashev, Sviatoslav [author.] | Bushinskaya, Anna [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

A High-Rate Virtual Instrument of Marine Vehicle Motions for Underwater Navigation and Ocean Remote Sensing [electronic resource] / by Chrystel Gelin.

by Gelin, Chrystel [author.] | SpringerLink (Online service).

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