|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / edited by Radhia Cousot.
by Cousot, Radhia [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
|
|
|
|
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur.
by Bin, Eyal [editor.] | Ziv, Avi [editor.] | Ur, Shmuel [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
|
|
|
|
Formal Aspects of Security and Trust [electronic resource] : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers / edited by Gilles Barthe, Anupam Datta, Sandro Etalle.
by Barthe, Gilles [editor.] | Datta, Anupam [editor.] | Etalle, Sandro [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
|
|
|
|
Database and XML Technologies [electronic resource] : 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings / edited by Zohra Bellahsène, Ela Hunt, Michael Rys, Rainer Unland.
by Bellahsène, Zohra [editor.] | Hunt, Ela [editor.] | Rys, Michael [editor.] | Unland, Rainer [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
|
|
|
|
Transactions on Computational Collective Intelligence XVIII [electronic resource] / edited by Ngoc Thanh Nguyen.
by Nguyen, Ngoc Thanh [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 Data Hiding and Multimedia Security IX [electronic resource] : Special Issue on Visual Cryptography / edited by Yun Q. Shi, Feng Liu, Weiqi Yan.
by Shi, Yun Q [editor.] | Liu, Feng [editor.] | Yan, Weiqi [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
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings / edited by Alexander Gelbukh.
by Gelbukh, Alexander [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
|
|
|
|
Information Security Applications [electronic resource] : 15th International Workshop, WISA 2014, Jeju Island, Korea, August 25-27, 2014. Revised Selected Papers / edited by Kyung-Hyune Rhee, Jeong Hyun Yi.
by Rhee, Kyung-Hyune [editor.] | Yi, Jeong Hyun [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
|
|
|
|
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi.
by Wolff, Burkhard [editor.] | Gaudel, Marie-Claude [editor.] | Feliachi, Abderrahmane [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
|
|
|
|
Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers [electronic resource] : 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007. Proceedings / edited by Dion Hoe Lian Goh, Tru Hoang Cao, Ingeborg Sølvberg, Edie Rasmussen.
by Goh, Dion Hoe Lian [editor.] | Cao, Tru Hoang [editor.] | Sølvberg, Ingeborg [editor.] | Rasmussen, Edie [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
|
|
|
|
Progress in Cryptology - AFRICACRYPT 2008 [electronic resource] : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008, Proceedings / edited by Serge Vaudenay.
by Vaudenay, Serge [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
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / edited by Lea Kutvonen.
by Kutvonen, Lea [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
|
|
|
|
Logic and Its Applications [electronic resource] : Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings / edited by Mohua Banerjee, Anil Seth.
by Banerjee, Mohua [editor.] | Seth, Anil [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
|
|
|
|
Language, Culture, Computation: Computing - Theory and Technology [electronic resource] : Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I / edited by Nachum Dershowitz, Ephraim Nissan.
by Dershowitz, Nachum [editor.] | Nissan, Ephraim [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
|
|
|
|
Mining Intelligence and Knowledge Exploration [electronic resource] : 4th International Conference, MIKE 2016, Mexico City, Mexico, November 13 - 19, 2016, Revised Selected Papers / edited by Rajendra Prasath, Alexander Gelbukh.
by Prasath, Rajendra [editor.] | Gelbukh, Alexander [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
|
|
|
|
Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / edited by Chris Hankin, Igor Siveroni.
by Hankin, Chris [editor.] | Siveroni, Igor [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
|
|
|
|
Metainformatics [electronic resource] : International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers / edited by Uffe Kock Wiil.
by Kock Wiil, Uffe [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
|
|
|
|
Privacy in Statistical Databases [electronic resource] : UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012, Proceedings / edited by Josep Domingo-Ferrer, Ilenia Tinnirello.
by Domingo-Ferrer, Josep [editor.] | Tinnirello, Ilenia [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
|
|
|
|
Automated Deduction - CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / edited by Robert Nieuwenhuis.
by Nieuwenhuis, Robert [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 Security - ESORICS 2006 [electronic resource] : 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings / edited by Eugene Asarin, Dieter Gollmann, Jan Meier, Andrei Sabelfeld.
by Asarin, Eugene [editor.] | Gollmann, Dieter [editor.] | Meier, Jan [editor.] | Sabelfeld, Andrei [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
|
