|
|
|
Agents and Artificial Intelligence [electronic resource] : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe.
by Duval, Béatrice [editor.] | van den Herik, Jaap [editor.] | Loiseau, Stephane [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security and Cryptology [electronic resource] : 7th International Conference, Inscrypt 2011, Beijing, China, November 30 -- December 3, 2011. Revised Selected Papers / edited by Chuan-Kun Wu, Moti Yung, Dongdai Lin.
by Wu, Chuan-Kun [editor.] | Yung, Moti [editor.] | Lin, Dongdai [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology -- ASIACRYPT 2011 [electronic resource] : 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011, Proceedings / edited by Dong Hoon Lee, Xiaoyun Wang.
by Lee, Dong Hoon [editor.] | Wang, Xiaoyun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers / edited by Zygmunt Vetulani, Hans Uszkoreit, Marek Kubis.
by Vetulani, Zygmunt [editor.] | Uszkoreit, Hans [editor.] | Kubis, Marek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
AI 2005: Advances in Artificial Intelligence [electronic resource] : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings / edited by Shichao Zhang, Ray Jarvis.
by Zhang, Shichao [editor.] | Jarvis, Ray [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Trusted Computing - Challenges and Applications [electronic resource] : First International Conference on Trusted Computing and Trust in Information Technologies, TRUST 2008 Villach, Austria, March 11-12, 2008 Proceedings / edited by Peter Lipp, Ahmad-Reza Sadeghi, Klaus-Michael Koch.
by Lipp, Peter [editor.] | Sadeghi, Ahmad-Reza [editor.] | Koch, Klaus-Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science - ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV / edited by Vassil N. Alexandrov, G. Dick van Albada, Peter M.A. Sloot, J. J. Dongarra.
by Alexandrov, Vassil N [editor.] | van Albada, G. Dick [editor.] | Sloot, Peter M.A [editor.] | Dongarra, J. J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Stochastic Algorithms: Foundations and Applications [electronic resource] : 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings / edited by Osamu Watanabe, Thomas Zeugmann.
by Watanabe, Osamu [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Finite-State Methods and Natural Language Processing [electronic resource] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / edited by Anssi Yli-Jyrä, Andras Kornai, Jacques Sakarovitch, Bruce Watson.
by Yli-Jyrä, Anssi [editor.] | Kornai, Andras [editor.] | Sakarovitch, Jacques [editor.] | Watson, Bruce [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Modeling and Computational Science [electronic resource] : International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers / edited by Gheorghe Adam, Ján Buša, Michal Hnatič.
by Adam, Gheorghe [editor.] | Buša, Ján [editor.] | Hnatič, Michal [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Reliable Software Technologies -- Ada-Europe 2013 [electronic resource] : 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk.
by Keller, Hubert B [editor.] | Plödereder, Erhard [editor.] | Dencker, Peter [editor.] | Klenk, Herbert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean.
by Barthe, Gilles [editor.] | Burdy, Lilian [editor.] | Huisman, Marieke [editor.] | Lanet, Jean-Louis [editor.] | Muntean, Traian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers / edited by Corina S Pasareanu, Gwen Salaün.
by Pasareanu, Corina S [editor.] | Salaün, Gwen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Learning Theory [electronic resource] : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings / edited by Nader Bshouty, Claudio Gentile.
by Bshouty, Nader [editor.] | Gentile, Claudio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Cryptographic Hardware and Embedded Systems -- CHES 2010 [electronic resource] : 12th International Workshop, Santa Barbara, USA, August 17-20,2010, Proceedings / edited by Stefan Mangard, Francois-Xavier Standaert.
by Mangard, Stefan [editor.] | Standaert, Francois-Xavier [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
New Directions in Logic, Language, and Computation [electronic resource] : ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers / edited by Daniel Lassiter, Marija Slavkovik.
by Lassiter, Daniel [editor.] | Slavkovik, Marija [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / edited by Tiziana Maragria, Bernhard Steffen.
by Maragria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Language, and Computation [electronic resource] : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers / edited by Balder D. ten Cate, Henk W. Zeevat.
by Cate, Balder D. ten [editor.] | Zeevat, Henk W [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach [electronic resource] : First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II / edited by José Mira, José R. Álvarez.
by Mira, José [editor.] | Álvarez, José R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings / edited by José Meseguer, Grigore Rosu.
by Meseguer, José [editor.] | Rosu, Grigore [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
