|
|
|
FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings / edited by Michael Butler, Wolfram Schulte.
by Butler, Michael [editor.] | Schulte, Wolfram [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
|
|
|
|
Trust Management [electronic resource] : 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings / edited by Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio MASSACCI.
by Stølen, Ketil [editor.] | Winsborough, William H [editor.] | Martinelli, Fabio [editor.] | MASSACCI, Fabio [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2015 International Workshops, BITCOIN, WAHC, and Wearable, San Juan, Puerto Rico, January 30, 2015, Revised Selected Papers / edited by Michael Brenner, Nicolas Christin, Benjamin Johnson, Kurt Rohloff.
by Brenner, Michael [editor.] | Christin, Nicolas [editor.] | Johnson, Benjamin [editor.] | Rohloff, Kurt [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Science VI [electronic resource].
by 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
|
|
|
|
Information and Communications Security [electronic resource] : 11th International Conference, ICICS 2009 / edited by Sihan Qing, Chris J. Mitchell, Guilin Wang.
by Qing, Sihan [editor.] | Mitchell, Chris J [editor.] | Wang, Guilin [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
|
|
|
|
Automated Deduction -- CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / edited by Maria Paola Bonacina.
by Bonacina, Maria Paola [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2016 [electronic resource] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I / edited by Jung Hee Cheon, Tsuyoshi Takagi.
by Cheon, Jung Hee [editor.] | Takagi, Tsuyoshi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings / edited by Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen.
by Cao, Jian [editor.] | Li, Minglu [editor.] | Wu, Min-You [editor.] | Chen, Jinjun [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
|
|
|
|
Digital Libraries: International Collaboration and Cross-Fertilization [electronic resource] : 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004, Proceedings / edited by Zhaoneng Chen, Hsinchun Chen, Qihao Miao, Yuxi Fu, Edward Fox, Ee-peng Lim.
by Chen, Zhaoneng [editor.] | Chen, Hsinchun [editor.] | Miao, Qihao [editor.] | Fu, Yuxi [editor.] | Fox, Edward [editor.] | Lim, Ee-peng [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 Artificial Intelligence and Its Applications [electronic resource] : 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I / edited by Félix Castro, Alexander Gelbukh, Miguel González Mendoza.
by Castro, Félix [editor.] | Gelbukh, Alexander [editor.] | González Mendoza, Miguel [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
|
|
|
|
Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007, Proceedings / edited by Paolo Petta, Jörg Müller, Matthias Klusch, Michael Georgeff.
by Petta, Paolo [editor.] | Müller, Jörg [editor.] | Klusch, Matthias [editor.] | Georgeff, Michael [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
|
|
|
|
Trust and Trustworthy Computing [electronic resource] : Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010, Proceedings / edited by Alessandro Acquisti, Sean W. Smith, Ahmad-Reza Sadeghi.
by Acquisti, Alessandro [editor.] | Smith, Sean W [editor.] | Sadeghi, Ahmad-Reza [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
|
|
|
|
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013, Proceedings / edited by Maosong Sun, Min Zhang, Dekang Lin, Haifeng Wang.
by Sun, Maosong [editor.] | Zhang, Min [editor.] | Lin, Dekang [editor.] | Wang, Haifeng [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
|
|
|
|
Advances in Databases: Concepts, Systems and Applications [electronic resource] : 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007 Proceedings / edited by Ramamohanarao Kotagiri, P. Radha Krishna, Mukesh Mohania, Ekawit Nantajeewarawat.
by Kotagiri, Ramamohanarao [editor.] | Krishna, P. Radha [editor.] | Mohania, Mukesh [editor.] | Nantajeewarawat, Ekawit [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
|
|
|
|
Multiple Access Communications [electronic resource] : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012, Proceedings / edited by Boris Bellalta, Alexey Vinel, Magnus Jonsson, Jaume Barcelo, Roman Maslennikov, Periklis Chatzimisios, David Malone.
by Bellalta, Boris [editor.] | Vinel, Alexey [editor.] | Jonsson, Magnus [editor.] | Barcelo, Jaume [editor.] | Maslennikov, Roman [editor.] | Chatzimisios, Periklis [editor.] | Malone, 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
|
|
|
|
Testing Software and Systems [electronic resource] : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings / edited by Mercedes G. Merayo, Edgardo Montes de Oca.
by Merayo, Mercedes G [editor.] | Montes de Oca, Edgardo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision - ECCV 2016 [electronic resource] : 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part II / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling.
by Leibe, Bastian [editor.] | Matas, Jiri [editor.] | Sebe, Nicu [editor.] | Welling, Max [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
|
|
|
|
Service Availability [electronic resource] : First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / edited by Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser.
by Malek, Miroslaw [editor.] | Reitenspieß, Manfred [editor.] | Kaiser, Jörg [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 Multimedia Information Processing - PCM 2004 [electronic resource] : 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part II / edited by Kiyoharu Aizawa, Yuichi Nakamura, Shin'ichi Satoh.
by Aizawa, Kiyoharu [editor.] | Nakamura, Yuichi [editor.] | Satoh, Shin'ichi [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
|
|
|
|
Web Services and Formal Methods [electronic resource] : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers / edited by Emilio Tuosto, Chun Ouyang.
by Tuosto, Emilio [editor.] | Ouyang, Chun [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
|
