Your search returned 7518 results. Subscribe to this search

|
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation [electronic resource] : 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers / edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond.

by Jarvis, Stephen A [editor.] | Wright, Steven A [editor.] | Hammond, Simon D [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

New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers / edited by Yukiko Nakano, Ken Satoh, Daisuke Bekki.

by Nakano, Yukiko [editor.] | Satoh, Ken [editor.] | Bekki, Daisuke [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

Active Media Technology [electronic resource] : 10th International Conference, AMT 2014, Warsaw, Poland, August 11-14, 2014. Proceedings / edited by Dominik Śl�ezak, Gerald Schaefer, Son T. Vuong, Yoo-Sung Kim.

by Śl�ezak, Dominik [editor.] | Schaefer, Gerald [editor.] | Vuong, Son T [editor.] | Kim, Yoo-Sung [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

Formal Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / edited by M�arcio Corn�elio, Bill Roscoe.

by Corn�elio, M�arcio [editor.] | Roscoe, Bill [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

Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jir�i Sgall.

by Chatterjee, Krishnendu [editor.] | Sgall, Jir�i [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

Euro-Par 2014 Parallel Processing [electronic resource] : 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings / edited by Fernando Silva, In�es Dutra, V�itor Santos Costa.

by Silva, Fernando [editor.] | Dutra, In�es [editor.] | Santos Costa, V�itor [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

Proceedings of the Sixth International Conference on Management Science and Engineering Management [electronic resource] : Focused on Electrical and Information Technology / edited by Jiuping Xu, Masoom Yasinzai, Benjamin Lev.

by Xu, Jiuping [editor.] | Yasinzai, Masoom [editor.] | Lev, Benjamin [editor.] | SpringerLink (Online service).

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

Advanced Analysis and Learning on Temporal Data [electronic resource] : First ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised Selected Papers / edited by Ahlame Douzal-Chouakria, Jos�e A. Vilar, Pierre-Fran�cois Marteau.

by Douzal-Chouakria, Ahlame [editor.] | Vilar, Jos�e A [editor.] | Marteau, Pierre-Fran�cois [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

Database and Expert Systems Applications [electronic resource] : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I / edited by Sven Hartmann, Hui Ma.

by Hartmann, Sven [editor.] | Ma, Hui [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

Electronic Government and the Information Systems Perspective [electronic resource] : 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016, Proceedings / edited by Andrea Kő, Enrico Francesconi.

by Kő, Andrea [editor.] | Francesconi, Enrico [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

Advances in Databases and Information Systems [electronic resource] : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings / edited by Jaroslav Pokorn�y, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun.

by Pokorn�y, Jaroslav [editor.] | Ivanović, Mirjana [editor.] | Thalheim, Bernhard [editor.] | Šaloun, Petr [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

Speech and Computer [electronic resource] : 18th International Conference, SPECOM 2016, Budapest, Hungary, August 23-27, 2016, Proceedings / edited by Andrey Ronzhin, Rodmonga Potapova, G�eza N�emeth.

by Ronzhin, Andrey [editor.] | Potapova, Rodmonga [editor.] | N�emeth, G�eza [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

Medical Imaging and Augmented Reality [electronic resource] : 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings / edited by Guoyan Zheng, Hongen Liao, Pierre Jannin, Philippe Cattin, Su-Lin Lee.

by Zheng, Guoyan [editor.] | Liao, Hongen [editor.] | Jannin, Pierre [editor.] | Cattin, Philippe [editor.] | Lee, Su-Lin [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

Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / edited by Amund Skavhaug, J�er�emie Guiochet, Erwin Schoitsch, Friedemann Bitsch.

by Skavhaug, Amund [editor.] | Guiochet, J�er�emie [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [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

Cultural Robotics [electronic resource] : First International Workshop, CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers / edited by Jeffrey T.K.V. Koh, Belinda J. Dunstan, David Silvera-Tawil, Mari Velonaki.

by Koh, Jeffrey T.K.V [editor.] | Dunstan, Belinda J [editor.] | Silvera-Tawil, David [editor.] | Velonaki, Mari [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

Rule Technologies. Research, Tools, and Applications [electronic resource] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman.

by Alferes, Jose Julio [editor.] | Bertossi, Leopoldo [editor.] | Governatori, Guido [editor.] | Fodor, Paul [editor.] | Roman, Dumitru [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

Mathematical Software - ICMS 2016 [electronic resource] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / edited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese.

by Greuel, Gert-Martin [editor.] | Koch, Thorsten [editor.] | Paule, Peter [editor.] | Sommese, Andrew [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 Mining and Big Data [electronic resource] : First International Conference, DMBD 2016, Bali, Indonesia, June 25-30, 2016. Proceedings / edited by Ying Tan, Yuhui Shi.

by Tan, Ying [editor.] | Shi, Yuhui [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

Smart Cities [electronic resource] : First International Conference, Smart-CT 2016, M�alaga, Spain, June 15-17, 2016, Proceedings / edited by Enrique Alba, Francisco Chicano, Gabriel Luque.

by Alba, Enrique [editor.] | Chicano, Francisco [editor.] | Luque, Gabriel [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

Inclusive Smart Cities and Digital Health [electronic resource] : 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings / edited by Carl K. Chang, Lorenzo Chiari, Yu Cao, Hai Jin, Mounir Mokhtari, Hamdi Aloulou.

by Chang, Carl K [editor.] | Chiari, Lorenzo [editor.] | Cao, Yu [editor.] | Jin, Hai [editor.] | Mokhtari, Mounir [editor.] | Aloulou, Hamdi [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