Your search returned 10983 results. Subscribe to this search

|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.

by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [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

Cyberspace Safety and Security [electronic resource] : 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings / edited by Guojun Wang, Indrakshi Ray, Dengguo Feng, Muttukrishnan Rajarajan.

by Wang, Guojun [editor.] | Ray, Indrakshi [editor.] | Feng, Dengguo [editor.] | Rajarajan, Muttukrishnan [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, 2013Online access: Click here to access online Availability: No items available

Introduction to Information Retrieval and Quantum Mechanics [electronic resource] / by Massimo Melucci.

by Melucci, Massimo [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, 2015Online access: Click here to access online Availability: No items available

Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Krak�ow, Poland, October 27-28, 2016, Proceedings / edited by Tadeusz Czach�orski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent.

by Czach�orski, Tadeusz [editor.] | Gelenbe, Erol [editor.] | Grochla, Krzysztof [editor.] | Lent, Ricardo [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

Databases in Networked Information Systems [electronic resource] : 10th International Workshop, DNIS 2015, Aizu-Wakamatsu, Japan, March 23-25, 2015. Proceedings / edited by Wanming Chu, Shinji Kikuchi, Subhash Bhalla.

by Chu, Wanming [editor.] | Kikuchi, Shinji [editor.] | Bhalla, Subhash [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

Autonomic Computing Enabled Cooperative Networked Design [electronic resource] / by Micha� W�odczak.

by W�odczak, Micha� [author.] | SpringerLink (Online service).

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

Computational Music Analysis [electronic resource] / edited by David Meredith.

by Meredith, David [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

Data Warehousing and Knowledge Discovery [electronic resource] : 15th International Conference, DaWaK 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings / edited by Ladjel Bellatreche, Mukesh K. Mohania.

by Bellatreche, Ladjel [editor.] | Mohania, Mukesh K [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

Model-Based Systems Engineering with OPM and SysML [electronic resource] / by Dov Dori.

by Dori, Dov [author.] | SpringerLink (Online service).

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

Service-Oriented and Cloud Computing [electronic resource] : Second European Conference, ESOCC 2013, M�alaga, Spain, September 11-13, 2013. Proceedings / edited by Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel.

by Lau, Kung-Kiu [editor.] | Lamersdorf, Winfried [editor.] | Pimentel, Ernesto [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

Trends and Applications in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papers / edited by Jiuyong Li, Longbing Cao, Can Wang, Kay Chen Tan, Bo Liu, Jian Pei, Vincent S. Tseng.

by Li, Jiuyong [editor.] | Cao, Longbing [editor.] | Wang, Can [editor.] | Tan, Kay Chen [editor.] | Liu, Bo [editor.] | Pei, Jian [editor.] | Tseng, Vincent S [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

Pattern Recognition [electronic resource] : 5th Mexican Conference, MCPR 2013, Quer�etaro, Mexico, June 26-29, 2013. Proceedings / edited by Jes�us Ariel Carrasco-Ochoa, Jos�e Francisco Mart�inez-Trinidad, Joaqu�in Salas Rodr�iguez, Gabriella Sanniti di Baja.

by Carrasco-Ochoa, Jes�us Ariel [editor.] | Mart�inez-Trinidad, Jos�e Francisco [editor.] | Rodr�iguez, Joaqu�in Salas [editor.] | Baja, Gabriella Sanniti di [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

Multidimensional Particle Swarm Optimization for Machine Learning and Pattern Recognition [electronic resource] / by Serkan Kiranyaz, Turker Ince, Moncef Gabbouj.

by Kiranyaz, Serkan [author.] | Ince, Turker [author.] | Gabbouj, Moncef [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, 2014Online access: Click here to access online Availability: No items available

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 9th International Conference, DIMVA 2012, Heraklion, Crete, Greece, July 26-27, 2012, Revised Selected Papers / edited by Ulrich Flegel, Evangelos Markatos, William Robertson.

by Flegel, Ulrich [editor.] | Markatos, Evangelos [editor.] | Robertson, William [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

Advances in Multimedia Modeling [electronic resource] : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part II / edited by Shipeng Li, Abdulmotaleb El Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin.

by Li, Shipeng [editor.] | Saddik, Abdulmotaleb El [editor.] | Wang, Meng [editor.] | Mei, Tao [editor.] | Sebe, Nicu [editor.] | Yan, Shuicheng [editor.] | Hong, Richang [editor.] | Gurrin, Cathal [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

Software and Data Technologies [electronic resource] : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers / edited by Mar�ia Jos�e Escalona, Jos�e Cordeiro, Boris Shishkov.

by Escalona, Mar�ia Jos�e [editor.] | Cordeiro, Jos�e [editor.] | Shishkov, Boris [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

Genetic Programming Theory and Practice XI [electronic resource] / edited by Rick Riolo, Jason H. Moore, Mark Kotanchek.

by Riolo, Rick [editor.] | Moore, Jason H [editor.] | Kotanchek, Mark [editor.] | SpringerLink (Online service).

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

Ontology-Driven Software Development [electronic resource] / edited by Jeff Z. Pan, Steffen Staab, Uwe A�mann, J�urgen Ebert, Yuting Zhao.

by Pan, Jeff Z [editor.] | Staab, Steffen [editor.] | A�mann, Uwe [editor.] | Ebert, J�urgen [editor.] | Zhao, Yuting [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

Worldwide Language Service Infrastructure [electronic resource] : Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers / edited by Yohei Murakami, Donghui Lin.

by Murakami, Yohei [editor.] | Lin, Donghui [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

Information Systems: Development, Applications, Education [electronic resource] : 8th SIGSAND/PLAIS EuroSymposium 2015, Gdansk, Poland, September 25, 2015, Proceedings / edited by Stanislaw Wrycza.

by Wrycza, Stanislaw [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