Your search returned 10983 results. Subscribe to this search

|
Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings / edited by Camil Demetrescu.

by Demetrescu, Camil [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Information Security and Cryptology - ICISC 2010 [electronic resource] : 13th International Conference, Seoul, Korea, December 1-3, 2010, Revised Selected Papers / edited by Kyung-Hyune Rhee, DaeHun Nyang.

by Rhee, Kyung-Hyune [editor.] | Nyang, DaeHun [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Frontiers in Algorithmics [electronic resource] : 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings / edited by Mingyu Xiao, Frances Rosamond.

by Xiao, Mingyu [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service).

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

Theory and Models for Cyber Situation Awareness [electronic resource] / edited by Peng Liu, Sushil Jajodia, Cliff Wang.

by Liu, Peng [editor.] | Jajodia, Sushil [editor.] | Wang, Cliff [editor.] | SpringerLink (Online service).

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

Algorithms - ESA 2007 [electronic resource] : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings / edited by Lars Arge, Michael Hoffmann, Emo Welzl.

by Arge, Lars [editor.] | Hoffmann, Michael [editor.] | Welzl, Emo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Information and Communications Security [electronic resource] : 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 - December 2, 2016, Proceedings / edited by Kwok-Yan Lam, Chi-Hung Chi, Sihan Qing.

by Lam, Kwok-Yan [editor.] | Chi, Chi-Hung [editor.] | Qing, Sihan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings / edited by Natasha Sharygina, Helmut Veith.

by Sharygina, Natasha [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Systems Modeling and Simulation: Theory and Applications [electronic resource] : Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / edited by Doo-Kwon Baik.

by Baik, Doo-Kwon [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Spatial and Temporal Databases [electronic resource] : 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013, Proceedings / edited by Mario A. Nascimento, Timos Sellis, Reynold Cheng, Jörg Sander, Yu Zheng, Hans-Peter Kriegel, Matthias Renz, Christian Sengstock.

by Nascimento, Mario A [editor.] | Sellis, Timos [editor.] | Cheng, Reynold [editor.] | Sander, Jörg [editor.] | Zheng, Yu [editor.] | Kriegel, Hans-Peter [editor.] | Renz, Matthias [editor.] | Sengstock, Christian [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part I / edited by Zahir Tari.

by Tari, Zahir [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

The Adaptive Web [electronic resource] : Methods and Strategies of Web Personalization / edited by Peter Brusilovsky, Alfred Kobsa, Wolfgang Nejdl.

by Brusilovsky, Peter [editor.] | Kobsa, Alfred [editor.] | Nejdl, Wolfgang [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers / edited by Sven Overhage, Clemens A. Szyperski, Ralf H. Reussner, Judith A. Stafford.

by Overhage, Sven [editor.] | Szyperski, Clemens A [editor.] | Reussner, Ralf H [editor.] | Stafford, Judith A [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Conceptual Modeling [electronic resource] : 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding / edited by Paolo Atzeni, David Cheung, Sudha Ram.

by Atzeni, Paolo [editor.] | Cheung, David [editor.] | Ram, Sudha [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Euro-Par 2006 Workshops: Parallel Processing [electronic resource] : CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers / edited by Wolfgang Lehner, Norbert Meyer, Achim Streit, Craig Stewart.

by Lehner, Wolfgang [editor.] | Meyer, Norbert [editor.] | Streit, Achim [editor.] | Stewart, Craig [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Computational Forensics [electronic resource] : 5th International Workshop, IWCF 2012, Tsukuba, Japan, November 11, 2012 and 6th International Workshop, IWCF 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers / edited by Utpal Garain, Faisal Shafait.

by Garain, Utpal [editor.] | Shafait, Faisal [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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

Algorithmic Game Theory [electronic resource] : 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings / edited by Ron Lavi.

by Lavi, Ron [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings / edited by Gianluca Tempesti, Andy Tyrrell, Julian F. Miller.

by Tempesti, Gianluca [editor.] | Tyrrell, Andy [editor.] | Miller, Julian F [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan.

by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Selected Areas in Cryptography [electronic resource] : 18th International Workshop, SAC 2011, Toronto, Canada, August 11-12, 2011, Revised Selected Papers / edited by Ali Miri, Serge Vaudenay.

by Miri, Ali [editor.] | Vaudenay, Serge [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available