|
|
|
Discovery Science [electronic resource] : 10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings / edited by Vincent Corruble, Masayuki Takeda, Einoshin Suzuki.
by Corruble, Vincent [editor.] | Takeda, Masayuki [editor.] | Suzuki, Einoshin [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
|
|
|
|
Digital Watermarking [electronic resource] : 9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers / edited by Hyoung-Joong Kim, Yun Q. Shi, Mauro Barni.
by Kim, Hyoung-Joong [editor.] | Shi, Yun Q [editor.] | Barni, Mauro [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
|
|
|
|
NASA Formal Methods [electronic resource] : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings / edited by Clark Barrett, Misty Davies, Temesghen Kahsai.
by Barrett, Clark [editor.] | Davies, Misty [editor.] | Kahsai, Temesghen [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
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2013 [electronic resource] : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III / edited by Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab.
by Mori, Kensaku [editor.] | Sakuma, Ichiro [editor.] | Sato, Yoshinobu [editor.] | Barillot, Christian [editor.] | Navab, Nassir [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
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings / edited by Elena A. Troubitsyna.
by Troubitsyna, Elena A [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
|
|
|
|
Service-Oriented Computing ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings / edited by Dimitrios Georgakopoulos, Norbert Ritter, Boualem Benatallah, Christian Zirpins, George Feuerlicht, Marten Schoenherr, Hamid R. Motahari-Nezhad.
by Georgakopoulos, Dimitrios [editor.] | Ritter, Norbert [editor.] | Benatallah, Boualem [editor.] | Zirpins, Christian [editor.] | Feuerlicht, George [editor.] | Schoenherr, Marten [editor.] | Motahari-Nezhad, Hamid R [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
|
|
|
|
Persuasive Technology [electronic resource] : 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings / edited by Shlomo Berkovsky, Jill Freyne.
by Berkovsky, Shlomo [editor.] | Freyne, Jill [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
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / edited by Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion.
by Dhaenens, Clarisse [editor.] | Jourdan, Laetitia [editor.] | Marmion, Marie-Eléonore [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings / edited by Eric Dubois, Klaus Pohl.
by Dubois, Eric [editor.] | Pohl, Klaus [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
|
|
|
|
Smart Computing and Communication [electronic resource] : First International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings / edited by Meikang Qiu.
by Qiu, Meikang [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
|
|
|
|
Swarm Robotics [electronic resource] : SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / edited by Erol Sahin, William M. Spears.
by Sahin, Erol [editor.] | Spears, William M [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
|
|
|
|
Human-Computer Interaction -- INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV / edited by Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler.
by Campos, Pedro [editor.] | Graham, Nicholas [editor.] | Jorge, Joaquim [editor.] | Nunes, Nuno [editor.] | Palanque, Philippe [editor.] | Winckler, 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
|
|
|
|
Public Key Infrastructure [electronic resource] : Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers / edited by David Chadwick, Gansen Zhao.
by Chadwick, David [editor.] | Zhao, Gansen [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 Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter.
by Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [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
|
|
|
|
MultiMedia Modeling [electronic resource] : 23rd International Conference, MMM 2017, Reykjavik, Iceland, January 4-6, 2017, Proceedings, Part I / edited by Laurent Amsaleg, Gylfi Þór Guðmundsson, Cathal Gurrin, Björn Þór Jónsson, Shin'ichi Satoh.
by Amsaleg, Laurent [editor.] | Guðmundsson, Gylfi Þór [editor.] | Gurrin, Cathal [editor.] | Jónsson, Björn Þór [editor.] | Satoh, Shin'ichi [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
|
|
|
|
Transactions on Rough Sets VI [electronic resource] : Commemorating Life and Work of Zdislaw Pawlak, Part I / edited by James F. Peters, Ivo Düntsch, Jerzy Grzymala-Busse, Ewa Orlowska, Lech Polkowski.
by Peters, James F [editor.] | Düntsch, Ivo [editor.] | Grzymala-Busse, Jerzy [editor.] | Orlowska, Ewa [editor.] | Polkowski, Lech [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
|
|
|
|
Managing the Dynamics of Networks and Services [electronic resource] : 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011, Proceedings / edited by Isabelle Chrisment, Alva Couch, Rémi Badonnel, Martin Waldburger.
by Chrisment, Isabelle [editor.] | Couch, Alva [editor.] | Badonnel, Rémi [editor.] | Waldburger, Martin [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
|
|
|
|
Computers Helping People with Special Needs [electronic resource] : 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008, Proceedings / edited by Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer.
by Miesenberger, Klaus [editor.] | Klaus, Joachim [editor.] | Zagler, Wolfgang [editor.] | Karshmer, Arthur [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
|
|
|
|
Parameterized and Exact Computation [electronic resource] : Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings / edited by Hans L. Bodlaender, Michael A. Langston.
by Bodlaender, Hans L [editor.] | Langston, Michael 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
|
