|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu.
by Codescu, Mihai [editor.] | Diaconescu, Răzvan [editor.] | Țuțu, Ionuț [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine.
by Lanese, Ivan [editor.] | Madelaine, Eric [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
|
|
|
|
Human Interface and the Management of Information [electronic resource] : Information and Interaction for Health, Safety, Mobility and Complex Environments. 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Sakae Yamamoto.
by Yamamoto, Sakae [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
|
|
|
|
Embedded and Ubiquitous Computing - EUC 2005 [electronic resource] : International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings / edited by Laurence T. Yang, Makoto Amamiya, Zhen Liu, Minyi Guo, Franz J. Rammig.
by Yang, Laurence T [editor.] | Amamiya, Makoto [editor.] | Liu, Zhen [editor.] | Guo, Minyi [editor.] | Rammig, Franz J [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
|
|
|
|
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 15th International Conference, ADHOC-NOW 2016, Lille, France, July 4-6, 2016, Proceedings / edited by Nathalie Mitton, Valeria Loscri, Alexandre Mouradian.
by Mitton, Nathalie [editor.] | Loscri, Valeria [editor.] | Mouradian, Alexandre [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 Motion - Understanding, Modeling, Capture and Animation [electronic resource] : Second Workshop, HumanMotion 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings / edited by Ahmed Elgammal, Bodo Rosenhahn, Reinhard Klette.
by Elgammal, Ahmed [editor.] | Rosenhahn, Bodo [editor.] | Klette, Reinhard [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
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings / edited by Rune Winther, Bjoern Axel Gran, Gustav Dahll.
by Winther, Rune [editor.] | Gran, Bjoern Axel [editor.] | Dahll, Gustav [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
|
|
|
|
Security in Ad-hoc and Sensor Networks [electronic resource] : First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers / edited by Claude Castelluccia, Hannes Hartenstein, Christof Paar, Dirk Westhoff.
by Castelluccia, Claude [editor.] | Hartenstein, Hannes [editor.] | Paar, Christof [editor.] | Westhoff, Dirk [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
|
|
|
|
Artificial Intelligence: Theories, Models and Applications [electronic resource] : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings / edited by John Darzentas, George Vouros, Spyros Vosinakis, Argyris Arnellos.
by Darzentas, John [editor.] | Vouros, George [editor.] | Vosinakis, Spyros [editor.] | Arnellos, Argyris [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
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers / edited by Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson.
by Maniezzo, Vittorio [editor.] | Battiti, Roberto [editor.] | Watson, Jean-Paul [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
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010, Revised Papers / edited by Dimitrios M. Thilikos.
by Thilikos, Dimitrios M [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
|
|
|
|
Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach.
by Voronkov, Andrei [editor.] | Weidenbach, Christoph [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
|
|
|
|
Algebraic and Numeric Biology [electronic resource] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers / edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov.
by Horimoto, Katsuhisa [editor.] | Nakatsui, Masahiko [editor.] | Popov, Nikolaj [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
|
|
|
|
Ubiquitous Computing and Ambient Intelligence [electronic resource] : 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings / edited by Jose Bravo, Diego López-de-Ipina, Francisco Moya.
by Bravo, Jose [editor.] | López-de-Ipina, Diego [editor.] | Moya, Francisco [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
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 12th International Conference, CICLing 2011, Tokyo, Japan, February 20-26, 2011. Proceedings, Part II / 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
|
|
|
|
Articulated Motion and Deformable Objects [electronic resource] : 6th International Conference, AMDO 2010, Port d'Andratx, Mallorca, Spain, July 7-9, 2010 Proceedings / edited by Francisco Jose Perales Lopez, Robert B. Fisher.
by Perales Lopez, Francisco Jose [editor.] | Fisher, Robert B [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
|
|
|
|
Algorithms in Bioinformatics [electronic resource] : 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings / edited by Keith Crandall, Jens Lagergren.
by Crandall, Keith [editor.] | Lagergren, Jens [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
|
|
|
|
Functional Imaging and Modelling of the Heart [electronic resource] : 9th International Conference, FIMH 2017, Toronto, ON, Canada, June 11-13, 2017, Proceedings / edited by Mihaela Pop, Graham A Wright.
by Pop, Mihaela [editor.] | Wright, Graham A [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
|
|
|
|
Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings / edited by Zoltán Ésik.
by Ésik, Zoltán [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
|
|
|
|
Bioinformatics Research and Development [electronic resource] : First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings / edited by Sepp Hochreiter, Roland Wagner.
by Hochreiter, Sepp [editor.] | Wagner, Roland [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
|
