|
|
|
Computer Science -- Theory and Applications [electronic resource] : First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings / edited by Dima Grigoriev, John Harrison, Edward A. Hirsch.
by Grigoriev, Dima [editor.] | Harrison, John [editor.] | Hirsch, Edward A [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
|
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings / edited by Stefano Carpin, Itsuki Noda, Enrico Pagello, Monica Reggiani.
by Carpin, Stefano [editor.] | Noda, Itsuki [editor.] | Pagello, Enrico [editor.] | Reggiani, Monica [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
|
|
|
|
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan.
by Bartocci, Ezio [editor.] | Ramakrishnan, C. R [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings / edited by Alessandro Abate, Gilles Geeraerts.
by Abate, Alessandro [editor.] | Geeraerts, Gilles [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
|
|
|
|
Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas.
by Albers, Susanne [editor.] | Marchetti-Spaccamela, Alberto [editor.] | Matias, Yossi [editor.] | Nikoletseas, Sotiris [editor.] | Thomas, Wolfgang [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
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / edited by Keith Duddy, Gerti Kappel.
by Duddy, Keith [editor.] | Kappel, Gerti [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
|
|
|
|
Statistical Learning and Data Sciences [electronic resource] : Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings / edited by Alexander Gammerman, Vladimir Vovk, Harris Papadopoulos.
by Gammerman, Alexander [editor.] | Vovk, Vladimir [editor.] | Papadopoulos, Harris [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
|
|
|
|
Unconventional Computation [electronic resource] : 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney.
by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | Paun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Stepney, Susan [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
|
|
|
|
Information Hiding [electronic resource] : 7th International Workshop, IH 2005, Barcelona, Spain, June 6-8, 2005, Revised Selected Papers / edited by Mauro Barni, Jordi Herrera Joancomartí, Stefan Katzenbeisser, Fernando Pérez-González.
by Barni, Mauro [editor.] | Herrera Joancomartí, Jordi [editor.] | Katzenbeisser, Stefan [editor.] | Pérez-González, Fernando [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
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II / edited by Sven Hartmann, Hui Ma.
by Hartmann, Sven [editor.] | Ma, Hui [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 2010: Advances in Artificial Intelligence [electronic resource] : 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings / edited by Jiuyong Li.
by Li, Jiuyong [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
|
|
|
|
Algorithms and Computation [electronic resource] : 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings / edited by Seok-Hee Hong, Hiroshi Nagamochi, Takuro Fukunaga.
by Hong, Seok-Hee [editor.] | Nagamochi, Hiroshi [editor.] | Fukunaga, Takuro [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
|
|
|
|
Spatial Information Theory [electronic resource] : 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings / edited by Kathleen Stewart Hornsby, Christophe Claramunt, Michel Denis, Gérard Ligozat.
by Stewart Hornsby, Kathleen [editor.] | Claramunt, Christophe [editor.] | Denis, Michel [editor.] | Ligozat, Gérard [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
|
|
|
|
Information Security [electronic resource] : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012, Proceedings / edited by Dieter Gollmann, Felix C. Freiling.
by Gollmann, Dieter [editor.] | Freiling, Felix C [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
|
|
|
|
Information Security and Privacy [electronic resource] : 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings / edited by Lynn Batten, Reihaneh Safavi-Naini.
by Batten, Lynn [editor.] | Safavi-Naini, Reihaneh [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
|
|
|
|
Security Protocols [electronic resource] : 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.
by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [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
|
|
|
|
Computing and Combinatorics [electronic resource] : 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings / edited by Xiaodong Hu, Jie Wang.
by Hu, Xiaodong [editor.] | Wang, Jie [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
|
|
|
|
Formal Aspects of Security and Trust [electronic resource] : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers / edited by Pierpaolo Degano, Sandro Etalle, Joshua Guttman.
by Degano, Pierpaolo [editor.] | Etalle, Sandro [editor.] | Guttman, Joshua [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
|
|
|
|
Combinatorial Pattern Matching [electronic resource] : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings / edited by Johannes Fischer, Peter Sanders.
by Fischer, Johannes [editor.] | Sanders, Peter [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / edited by Jean-Marie Jacquet, Gian Pietro Picco.
by Jacquet, Jean-Marie [editor.] | Picco, Gian Pietro [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
|
