|
|
|
Information Hiding [electronic resource] : 9th International Workshop, IH 2007, Saint Malo, France, June 11-13, 2007, Revised Selected Papers / edited by Teddy Furon, François Cayre, Gwenaël DoërrG, Patrick Bas.
by Furon, Teddy [editor.] | Cayre, François [editor.] | DoërrG, Gwenaël [editor.] | Bas, Patrick [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
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 12th International Conference, CICLing 2011, Tokyo, Japan, February 20-26, 2011. Proceedings, Part I / edited by Alexander Gelbukh.
by Gelbukh, Alexander [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
|
|
|
|
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen.
by Pacino, Dario [editor.] | Voß, Stefan [editor.] | Jensen, Rune Møller [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
|
|
|
|
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
|
|
|
|
Middleware 2011 [electronic resource] : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings / edited by Fabio Kon, Anne-Marie Kermarrec.
by Kon, Fabio [editor.] | Kermarrec, Anne-Marie [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
|
|
|
|
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
|
|
|
|
Virtual and Mixed Reality - New Trends, Part I [electronic resource] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / edited by Randall Shumaker.
by Shumaker, Randall [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Network Control and Optimization [electronic resource] : Second EuroFGI Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008, Revised Selected Papers / edited by Eitan Altman, Augustin Chaintreau.
by Altman, Eitan [editor.] | Chaintreau, Augustin [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
|
|
|
|
Software Architecture [electronic resource] : Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers / edited by Volker Gruhn, Flavio Oquendo.
by Gruhn, Volker [editor.] | Oquendo, Flavio [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
|
|
|
|
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
|
|
|
|
Advanced Functional Programming [electronic resource] : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / edited by Varmo Vene, Tarmo Uustalu.
by Vene, Varmo [editor.] | Uustalu, Tarmo [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
|
|
|
|
Passive and Active Measurement [electronic resource] : 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings / edited by Mohamed Ali Kaafar, Steve Uhlig, Johanna Amann.
by Kaafar, Mohamed Ali [editor.] | Uhlig, Steve [editor.] | Amann, Johanna [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
|
|
|
|
Web Reasoning and Rule Systems [electronic resource] : Second International Conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008. Proceedings / edited by Diego Calvanese, Georg Lausen.
by Calvanese, Diego [editor.] | Lausen, Georg [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
|
|
|
|
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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / edited by Márcio Cornélio, Bill Roscoe.
by Cornélio, Márcio [editor.] | Roscoe, Bill [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
|
|
|
|
Human-Centered Software Engineering [electronic resource] : 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings / edited by Stefan Sauer, Cristian Bogdan, Peter Forbrig, Regina Bernhaupt, Marco Winckler.
by Sauer, Stefan [editor.] | Bogdan, Cristian [editor.] | Forbrig, Peter [editor.] | Bernhaupt, Regina [editor.] | Winckler, Marco [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
|
