Results
|
41.
|
|
|
42.
|
|
|
43.
|
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by
- Păsăreanu, Corina S [editor.]
- Salaün, Gwen [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7684
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
44.
|
Data Privacy Management and Autonomous Spontaneous Security [electronic resource] : 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers / edited by Roberto Di Pietro, Javier Herranz, Ernesto Damiani, Radu State. by
- Pietro, Roberto Di [editor.]
- Herranz, Javier [editor.]
- Damiani, Ernesto [editor.]
- State, Radu [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7731
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
45.
|
Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. by
- Kučera, Antonín [editor.]
- Henzinger, Thomas A [editor.]
- Nešetřil, Jaroslav [editor.]
- Vojnar, Tomáš [editor.]
- Antoš, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7721
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
46.
|
|
|
47.
|
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by
- Czarnecki, Krzysztof [editor.]
- Hedin, Görel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7745
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
48.
|
Security Protocols XVII [electronic resource] : 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers / edited by Bruce Christianson, James A. Malcolm, Vashek Matyáš, Michael Roe. by
- Christianson, Bruce [editor.]
- Malcolm, James A [editor.]
- Matyáš, Vashek [editor.]
- Roe, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7028
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
49.
|
|
|
50.
|
Information Hiding [electronic resource] : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers / edited by Matthias Kirchner, Dipak Ghosal. by
- Kirchner, Matthias [editor.]
- Ghosal, Dipak [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7692
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
51.
|
|
|
52.
|
Medical Content-Based Retrieval for Clinical Decision Support [electronic resource] : Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1, 2012, Revised Selected Papers / edited by Hayit Greenspan, Henning Müller, Tanveer Syeda-Mahmood. by
- Greenspan, Hayit [editor.]
- Müller, Henning [editor.]
- Syeda-Mahmood, Tanveer [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7723
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
53.
|
S-BPM ONE - Running Processes [electronic resource] : 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings / edited by Herbert Fischer, Josef Schneeberger. by
- Fischer, Herbert [editor.]
- Schneeberger, Josef [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 360
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
54.
|
System Analysis and Modeling: Theory and Practice [electronic resource] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers / edited by Øystein Haugen, Rick Reed, Reinhard Gotzhein. by
- Haugen, Øystein [editor.]
- Reed, Rick [editor.]
- Gotzhein, Reinhard [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7744
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
55.
|
Principles of Security and Trust [electronic resource] : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by David Basin, John C. Mitchell. by
- Basin, David [editor.]
- Mitchell, John C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7796
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
56.
|
Security and Privacy in Communication Networks [electronic resource] : 8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers / edited by Angelos D. Keromytis, Roberto Di Pietro. by
- Keromytis, Angelos D [editor.]
- Pietro, Roberto Di [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 106
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
57.
|
|
|
58.
|
Foundations and Practice of Security [electronic resource] : 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi. by
- Garcia-Alfaro, Joaquin [editor.]
- Cuppens, Frédéric [editor.]
- Cuppens-Boulahia, Nora [editor.]
- Miri, Ali [editor.]
- Tawbi, Nadia [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7743
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
59.
|
Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings / edited by Ariel M. Greenberg, William G. Kennedy, Nathan D. Bos. by
- Greenberg, Ariel M [editor.]
- Kennedy, William G [editor.]
- Bos, Nathan D [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7812
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
60.
|
Policies and Research in Identity Management [electronic resource] : Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings / edited by Simone Fischer-Hübner, Elisabeth de Leeuw, Chris Mitchell. by
- Fischer-Hübner, Simone [editor.]
- Leeuw, Elisabeth de [editor.]
- Mitchell, Chris [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 396
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|