|
|
|
Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio.
by Bernardo, Marco [editor.] | Cortellessa, Vittorio [editor.] | Pierantonio, Alfonso [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
|
|
|
|
Practical Aspects of Knowledge Management [electronic resource] : 7th International Conference, PAKM 2008, Yokohama, Japan, November 22-23, 2008, Proceedings / edited by Takahira Yamaguchi.
by Yamaguchi, Takahira [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
|
|
|
|
Biometric Recognition [electronic resource] : 7th Chinese Conference, CCBR 2012, Guangzhou, China, December 4-5, 2012, Proceedings / edited by Wei-Shi Zheng, Zhenan Sun, Yunhong Wang, Xilin Chen, Pong C. Yuen, Jianhuang Lai.
by Zheng, Wei-Shi [editor.] | Sun, Zhenan [editor.] | Wang, Yunhong [editor.] | Chen, Xilin [editor.] | Yuen, Pong C [editor.] | Lai, Jianhuang [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
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / edited by Luca de Alfaro.
by de Alfaro, Luca [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
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008, Proceedings / edited by Petr Sojka, Aleš Horak, Ivan Kopecek.
by Sojka, Petr [editor.] | Horak, Aleš [editor.] | Kopecek, Ivan [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
|
|
|
|
Multimodal Signals: Cognitive and Algorithmic Issues [electronic resource] : COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008, Revised Selected and Invited Papers / edited by Anna Esposito, Amir Hussain, Maria Marinaro, Raffaele Martone.
by Esposito, Anna [editor.] | Hussain, Amir [editor.] | Marinaro, Maria [editor.] | Martone, Raffaele [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
|
|
|
|
Tests and Proofs [electronic resource] : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers / edited by Bertrand Meyer, Yuri Gurevich.
by Meyer, Bertrand [editor.] | Gurevich, Yuri [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
|
|
|
|
Security Protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers / edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson.
by Christianson, Bruce [editor.] | Malcolm, James [editor.] | Stajano, Frank [editor.] | Anderson, Jonathan [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
|
|
|
|
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings / edited by Werner Damm, Holger Hermanns.
by Damm, Werner [editor.] | Hermanns, Holger [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
|
|
|
|
Haptics: Perception, Devices and Scenarios [electronic resource] : 6th International Conference, EuroHaptics 2008 Madrid, Spain, June 11-13, 2008, Proceedings / edited by Manuel Ferre.
by Ferre, Manuel [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
|
|
|
|
Computable Models of the Law [electronic resource] : Languages, Dialogues, Games, Ontologies / edited by Giovanni Sartor, Núria Casellas, Rossella Rubino.
by Sartor, Giovanni [editor.] | Casellas, Núria [editor.] | Rubino, Rossella [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
|
|
|
|
Semantic Multimedia [electronic resource] : 4th International Conference on Semantic and Digital Media Technologies, SAMT 2009 Graz, Austria, December 2-4, 2009 Proceedings / edited by Tat-Seng Chua, Yiannis Kompatsiaris, Bernard Mérialdo, Werner Haas, Georg Thallinger, Werner Bailer.
by Chua, Tat-Seng [editor.] | Kompatsiaris, Yiannis [editor.] | Mérialdo, Bernard [editor.] | Haas, Werner [editor.] | Thallinger, Georg [editor.] | Bailer, Werner [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
|
|
|
|
Ubiquitous Computing Systems [electronic resource] : Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers / edited by Hitomi Murakami, Hideyuki Nakashima, Hideyuki Tokuda, Michiaki Yasumura.
by Murakami, Hitomi [editor.] | Nakashima, Hideyuki [editor.] | Tokuda, Hideyuki [editor.] | Yasumura, Michiaki [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
|
|
|
|
Frontiers of WWW Research and Development -- APWeb 2006 [electronic resource] : 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006, Proceedings / edited by Xiaofang Zhou, Jianzhong Li, Heng Tao Shen, Masaru Kitsuregawa, Yanchun Zhang.
by Zhou, Xiaofang [editor.] | Li, Jianzhong [editor.] | Shen, Heng Tao [editor.] | Kitsuregawa, Masaru [editor.] | Zhang, Yanchun [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
|
|
|
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers / edited by Bertrand Meyer, Mathai Joseph.
by Meyer, Bertrand [editor.] | Joseph, Mathai [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
|
|
|
|
Model Checking Software [electronic resource] : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker.
by Donaldson, Alastair [editor.] | Parker, David [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
|
|
|
|
The Semantic Web [electronic resource] : Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings / edited by Jeff Z. Pan, Huajun Chen, Hong-Gee Kim, Juanzi Li, Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, Zhaohui Wu.
by Pan, Jeff Z [editor.] | Chen, Huajun [editor.] | Kim, Hong-Gee [editor.] | Li, Juanzi [editor.] | Wu, Zhe [editor.] | Horrocks, Ian [editor.] | Mizoguchi, Riichiro [editor.] | Wu, Zhaohui [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
|
|
|
|
Software Architecture [electronic resource] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings / edited by Ivica Crnkovic, Volker Gruhn, Matthias Book.
by Crnkovic, Ivica [editor.] | Gruhn, Volker [editor.] | Book, Matthias [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
|
|
|
|
Collaboration and Technology [electronic resource] : 19th International Conference, CRIWG 2013, Wellington, New Zealand, October 30 - November 1, 2013, Proceedings / edited by Pedro Antunes, Marco Aurélio Gerosa, Allan Sylvester, Julita Vassileva, Gert-Jan de Vreede.
by Antunes, Pedro [editor.] | Gerosa, Marco Aurélio [editor.] | Sylvester, Allan [editor.] | Vassileva, Julita [editor.] | de Vreede, Gert-Jan [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
|
|
|
|
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I / edited by Rajiv Khosla.
by Khosla, Rajiv [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
|
