|
|
|
Fuzzy Logic and Applications [electronic resource] : 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers / edited by Vito Di Gesù, Francesco Masulli, Alfredo Petrosino.
by Di Gesù, Vito [editor.] | Masulli, Francesco [editor.] | Petrosino, Alfredo [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
|
|
|
|
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski.
by Joshi, Rajeev [editor.] | Müller, Peter [editor.] | Podelski, Andreas [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
|
|
|
|
Theory of Cryptography [electronic resource] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I / edited by Martin Hirt, Adam Smith.
by Hirt, Martin [editor.] | Smith, Adam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Foundations of Computer Science 2007 [electronic resource] : 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings / edited by Ludek Kucera, Antonín Kucera.
by Kucera, Ludek [editor.] | Kucera, Antonín [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
|
|
|
|
Graph-Based Representations in Pattern Recognition [electronic resource] : 7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings / edited by Andrea Torsello, Francisco Escolano Ruiz, Luc Brun.
by Torsello, Andrea [editor.] | Escolano Ruiz, Francisco [editor.] | Brun, Luc [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
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari.
by Corradini, Andrea [editor.] | Montanari, Ugo [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II / edited by Sang-Soo Yeo, Jong Hyuk Park, Laurence Tianruo Yang, Ching-Hsien Hsu.
by Yeo, Sang-Soo [editor.] | Park, Jong Hyuk [editor.] | Yang, Laurence Tianruo [editor.] | Hsu, Ching-Hsien [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
|
|
|
|
Grammatical Inference: Algorithms and Applications [electronic resource] : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings / edited by Yasibumi Sakaibara, Satoshi Kobayashi, Kengo Sato, Tetsuro Nishino, Etsuji Tomita.
by Sakaibara, Yasibumi [editor.] | Kobayashi, Satoshi [editor.] | Sato, Kengo [editor.] | Nishino, Tetsuro [editor.] | Tomita, Etsuji [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
|
|
|
|
Search Computing [electronic resource] : Trends and Developments / edited by Stefano Ceri, Marco Brambilla.
by Ceri, Stefano [editor.] | Brambilla, Marco [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
|
|
|
|
Data Security and Security Data [electronic resource] : 27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 29 - July 1, 2010. Revised Selected Papers / edited by Lachlan MacKinnon.
by MacKinnon, Lachlan [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
|
|
|
|
Ant Colony Optimization and Swarm Intelligence [electronic resource] : 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008, Proceedings / edited by Marco Dorigo, Mauro Birattari, Christian Blum, Maurice Clerc, Thomas Stützle, Alan Winfield.
by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Blum, Christian [editor.] | Clerc, Maurice [editor.] | Stützle, Thomas [editor.] | Winfield, Alan [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
|
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings / edited by Itsuki Noda, Noriako Ando, Davide Brugali, James J. Kuffner.
by Noda, Itsuki [editor.] | Ando, Noriako [editor.] | Brugali, Davide [editor.] | Kuffner, James J [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
|
|
|
|
Object-Oriented Technology. ECOOP 2008 Workshop Reader [electronic resource] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports / edited by Patrick Eugster.
by Eugster, Patrick [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
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 16th International Conference on Applications of Natural Language to Information Systems, NLDB 2011, Alicante, Spain, June 28-30, 2011, Proceedings / edited by Rafael Munoz, Andres Montoyo, Elisabeth Metais.
by Munoz, Rafael [editor.] | Montoyo, Andres [editor.] | Metais, Elisabeth [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
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / edited by Frank Pfenning.
by Pfenning, Frank [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
|
|
|
|
Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / edited by Adrian Paschke, Guido Governatori, John Hall.
by Paschke, Adrian [editor.] | Governatori, Guido [editor.] | Hall, John [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 Science and Its Applications -- ICCSA 2009 [electronic resource] : International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part I / edited by Osvaldo Gervasi, David Taniar, Beniamino Murgante, Antonio Laganà, Youngsong Mun.
by Gervasi, Osvaldo [editor.] | Taniar, David [editor.] | Murgante, Beniamino [editor.] | Laganà, Antonio [editor.] | Mun, Youngsong [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
|
|
|
|
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings / edited by Alexander Dudin, Koen De Turck.
by Dudin, Alexander [editor.] | De Turck, Koen [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
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings / edited by Jens Gottlieb, Günther R. Raidl.
by Gottlieb, Jens [editor.] | Raidl, Günther R [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
|
|
|
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers / edited by Emmanuel Prouff.
by Prouff, Emmanuel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
