|
|
|
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
|
|
|
|
Mining Intelligence and Knowledge Exploration [electronic resource] : Third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015, Proceedings / edited by Rajendra Prasath, Anil Kumar Vuppala, T. Kathirvalavakumar.
by Prasath, Rajendra [editor.] | Vuppala, Anil Kumar [editor.] | Kathirvalavakumar, T [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
|
|
|
|
Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008 Revised Papers / edited by Leonard Bolc, Juliusz Lech Kulikowski, Konrad Wojciechowski.
by Bolc, Leonard [editor.] | Kulikowski, Juliusz Lech [editor.] | Wojciechowski, Konrad [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
|
|
|
|
Programming Languages [electronic resource] : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings / edited by Alberto Pardo, S. Doaitse Swierstra.
by Pardo, Alberto [editor.] | Swierstra, S. Doaitse [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
|
|
|
|
String Processing and Information Retrieval [electronic resource] : 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings / edited by Amihood Amir, Andrew Turpin, Alistair Moffat.
by Amir, Amihood [editor.] | Turpin, Andrew [editor.] | Moffat, Alistair [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
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II / edited by Alexander Gelbukh.
by Gelbukh, Alexander [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online 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
|
|
|
|
Hybrid Artificial Intelligence Systems [electronic resource] : Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008, Proceedings / edited by Emilio Corchado, Ajith Abraham.
by Corchado, Emilio [editor.] | Abraham, Ajith [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
|
|
|
|
Argumentation in Multi-Agent Systems [electronic resource] : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers / edited by Peter McBurney, Iyad Rahwan, Simon D. Parsons, Nicolas Maudet.
by McBurney, Peter [editor.] | Rahwan, Iyad [editor.] | Parsons, Simon D [editor.] | Maudet, Nicolas [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
|
|
|
|
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
|
|
|
|
Intelligent Information and Database Systems [electronic resource] : 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part II / edited by Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc-Thanh Nguyen.
by Pan, Jeng-Shyang [editor.] | Chen, Shyi-Ming [editor.] | Nguyen, Ngoc-Thanh [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
|
|
|
|
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
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings / edited by Floriana Esposito, Olivier Pivert, Mohand-Said Hacid, Zbigniew W. Rás, Stefano Ferilli.
by Esposito, Floriana [editor.] | Pivert, Olivier [editor.] | Hacid, Mohand-Said [editor.] | Rás, Zbigniew W [editor.] | Ferilli, Stefano [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
|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.
by Karydis, Ioannis [editor.] | Sioutas, Spyros [editor.] | Triantafillou, Peter [editor.] | Tsoumakos, Dimitrios [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
|
|
|
|
Combinatorics on Words [electronic resource] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings / edited by Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme.
by Brlek, Srečko [editor.] | Dolce, Francesco [editor.] | Reutenauer, Christophe [editor.] | Vandomme, Élise [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Ubiquitous Social Media Analysis [electronic resource] : Third International Workshops MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers / edited by Martin Atzmueller, Alvin Chin, Denis Helic, Andreas Hotho.
by Atzmueller, Martin [editor.] | Chin, Alvin [editor.] | Helic, Denis [editor.] | Hotho, Andreas [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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings / edited by Holger Hermanns, Jens Palsberg.
by Hermanns, Holger [editor.] | Palsberg, Jens [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
|
|
|
|
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings / edited by Jérôme Euzenat, John Domingue.
by Euzenat, Jérôme [editor.] | Domingue, John [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
|
