|
|
|
Cryptographic Hardware and Embedded Systems - CHES 2005 [electronic resource] : 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / edited by Josyula R. Rao, Berk Sunar.
by Rao, Josyula R [editor.] | Sunar, Berk [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
|
|
|
|
Advances in Visual Computing [electronic resource] : 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Fatih Porikli, Sandra Skaff, Alireza Entezari, Jianyuan Min, Daisuke Iwai, Amela Sadagic, Carlos Scheidegger, Tobias Isenberg.
by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Porikli, Fatih [editor.] | Skaff, Sandra [editor.] | Entezari, Alireza [editor.] | Min, Jianyuan [editor.] | Iwai, Daisuke [editor.] | Sadagic, Amela [editor.] | Scheidegger, Carlos [editor.] | Isenberg, Tobias [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
|
|
|
|
System Analysis and Modeling: About Models [electronic resource] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers / edited by Frank Alexander Kraemer, Peter Herrmann.
by Kraemer, Frank Alexander [editor.] | Herrmann, Peter [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
|
|
|
|
Sanskrit Computational Linguistics [electronic resource] : 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings / edited by Girish Nath Jha.
by Nath Jha, Girish [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / edited by Susanne Graf, Wenhui Zhang.
by Graf, Susanne [editor.] | Zhang, Wenhui [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Advances in Neuro-Information Processing [electronic resource] : 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I / edited by Mario Köppen, Nikola Kasabov, George Coghill.
by Köppen, Mario [editor.] | Kasabov, Nikola [editor.] | Coghill, George [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
|
|
|
|
Speech, Sound and Music Processing: Embracing Research in India [electronic resource] : 8th International Symposium, CMMR 2011 and 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers / edited by Sølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen, Sanghamitra Mohanty.
by Ystad, Sølvi [editor.] | Aramaki, Mitsuko [editor.] | Kronland-Martinet, Richard [editor.] | Jensen, Kristoffer [editor.] | Mohanty, Sanghamitra [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 Safety, Reliability, and Security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings / edited by Frank Ortmeier, Peter Daniel.
by Ortmeier, Frank [editor.] | Daniel, Peter [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
|
|
|
|
Social Robotics [electronic resource] : Third International Conference on Social Robotics, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings / edited by Bilge Mutlu, Christoph Bartneck, Jaap Ham, Vanessa Evers, Takayuki Kanda.
by Mutlu, Bilge [editor.] | Bartneck, Christoph [editor.] | Ham, Jaap [editor.] | Evers, Vanessa [editor.] | Kanda, Takayuki [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
|
|
|
|
Embedded Software and Systems [electronic resource] : Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings / edited by Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin.
by Yang, Laurence T [editor.] | Zhou, Xingshe [editor.] | Zhao, Wei [editor.] | Wu, Zhaohui [editor.] | Zhu, Yian [editor.] | Lin, Man [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 for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino.
by Leue, Stefan [editor.] | Merino, Pedro [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
|
|
|
|
Critical Information Infrastructures Security [electronic resource] : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009, Revised Papers / edited by Erich Rome, Robin Bloomfield.
by Rome, Erich [editor.] | Bloomfield, Robin [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
|
|
|
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / edited by Marco Bernardo, Alessandro Cimatti.
by Bernardo, Marco [editor.] | Cimatti, Alessandro [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 Security Applications [electronic resource] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers / edited by Jae-Kwang Lee, Okyeon Yi, Moti Yung.
by Lee, Jae-Kwang [editor.] | Yi, Okyeon [editor.] | Yung, Moti [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] : 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings / edited by Francesca Saglietti, Norbert Oster.
by Saglietti, Francesca [editor.] | Oster, Norbert [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
|
|
|
|
Reliable Software Technologies -- Ada-Europe 2013 [electronic resource] : 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk.
by Keller, Hubert B [editor.] | Plödereder, Erhard [editor.] | Dencker, Peter [editor.] | Klenk, Herbert [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
|
|
|
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean.
by Barthe, Gilles [editor.] | Burdy, Lilian [editor.] | Huisman, Marieke [editor.] | Lanet, Jean-Louis [editor.] | Muntean, Traian [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
|
|
|
|
Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / edited by Tiziana Maragria, Bernhard Steffen.
by Maragria, Tiziana [editor.] | Steffen, Bernhard [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
|
