|
|
|
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings / edited by Khalid Al-Begain, Simonetta Balsamo, Dieter Fiems, Andrea Marin.
by Al-Begain, Khalid [editor.] | Balsamo, Simonetta [editor.] | Fiems, Dieter [editor.] | Marin, Andrea [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 of Cryptography [electronic resource] : Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings / edited by Joe Kilian.
by Kilian, Joe [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
|
|
|
|
Euro-Par 2014: Parallel Processing [electronic resource] : 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings / edited by Fernando Silva, Inês Dutra, Vitor Santos Costa.
by Silva, Fernando [editor.] | Dutra, Inês [editor.] | Santos Costa, Vitor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Privacy Enhancing Technologies [electronic resource] : 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers / edited by David Martin, Andrei Serjantov.
by Martin, David [editor.] | Serjantov, Andrei [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
|
|
|
|
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
|
|
|
|
Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / edited by Peter Van Roy.
by Van Roy, Peter [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
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings / edited by Paris Avgeriou.
by Avgeriou, Paris [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
|
|
|
|
Information Security and Cryptology [electronic resource] : First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings / edited by Dengguo Feng, Dongdai Lin, Moti Yung.
by Feng, Dengguo [editor.] | Lin, Dongdai [editor.] | Yung, Moti [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 Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 / edited by Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue.
by Aichernig, Bernhard K [editor.] | de Boer, Frank S [editor.] | Bonsangue, Marcello M [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
|
|
|
|
Progress in Cryptology -- AFRICACRYPT 2011 [electronic resource] : 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011, Proceedings / edited by Abderrahmane Nitaj, David Pointcheval.
by Nitaj, Abderrahmane [editor.] | Pointcheval, David [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
|
|
|
|
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
|
|
|
|
Secure Data Management [electronic resource] : Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006, Proceedings / edited by Willem Jonker, Milan Petkovic.
by Jonker, Willem [editor.] | Petkovic, Milan [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
|
|
|
|
Search Based Software Engineering [electronic resource] : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings / edited by Myra B. Cohen, Mel O Cinneide.
by Cohen, Myra B [editor.] | O Cinneide, Mel [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
|
|
|
|
Peer-to-Peer Systems IV [electronic resource] : 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers / edited by Miguel Castro, Robbert van Renesse.
by Castro, Miguel [editor.] | van Renesse, Robbert [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
|
|
|
|
Emerging Trends in Information and Communication Security [electronic resource] : International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings / edited by Günter Müller.
by Müller, Günter [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
|
|
|
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / edited by Roberto Gorrieri, Heike Wehrheim.
by Gorrieri, Roberto [editor.] | Wehrheim, Heike [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
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel.
by de Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Hallerstede, Stefan [editor.] | Leuschel, Michael [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
|
|
|
|
Distributed Computing [electronic resource] : 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings / edited by Andrzej Pelc.
by Pelc, Andrzej [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
|
|
|
|
Architecting Systems with Trustworthy Components [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski.
by Reussner, Ralf H [editor.] | Stafford, Judith A [editor.] | Szyperski, Clemens 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
|
|
|
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe.
by Barthe, Gilles [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
|
