|
|
|
Computational Science - ICCS 2007 [electronic resource] : 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I / edited by Yong Shi, Geert Dick van Albada, Jack Dongarra, Peter M.A. Sloot.
by Shi, Yong [editor.] | Albada, Geert Dick van [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M.A [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
|
|
|
|
Stochastic Model Checking [electronic resource] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / edited by Anne Remke, Mariëlle Stoelinga.
by Remke, Anne [editor.] | Stoelinga, Mariëlle [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
|
|
|
|
Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / edited by Simon G. Thompson, Robert Ghanea-Hercock.
by Thompson, Simon G [editor.] | Ghanea-Hercock, Robert [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
|
|
|
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012, Proceedings / edited by Andrey Bogdanov, Somitra Sanadhya.
by Bogdanov, Andrey [editor.] | Sanadhya, Somitra [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
|
|
|
|
Object, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings / edited by Carlo A. Furia, Sebastian Nanz.
by Furia, Carlo A [editor.] | Nanz, Sebastian [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
|
|
|
|
Advances in Cryptology -- ASIACRYPT 2006 [electronic resource] : 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006, Proceedings / edited by Xuejia Lai, Kefei Chen.
by Lai, Xuejia [editor.] | Chen, Kefei [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
|
|
|
|
Controlled Natural Language [electronic resource] : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers / edited by Michael Rosner, Norbert E Fuchs.
by Rosner, Michael [editor.] | Fuchs, Norbert E [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
|
|
|
|
Artificial Immune Systems [electronic resource] : 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007, Proceedings / edited by Leandro N. de Castro, Fernando J. Von Zuben, Helder Knidel.
by Castro, Leandro N. de [editor.] | Von Zuben, Fernando J [editor.] | Knidel, Helder [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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings / edited by Nicolas Halbwachs, Lenore Zuck.
by Halbwachs, Nicolas [editor.] | Zuck, Lenore [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
|
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 13th International Conference, DIMVA 2016, San Sebastián, Spain, July 7-8, 2016, Proceedings / edited by Juan Caballero, Urko Zurutuza, Ricardo J. Rodríguez.
by Caballero, Juan [editor.] | Zurutuza, Urko [editor.] | Rodríguez, Ricardo J [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
|
|
|
|
Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / edited by Gerwin Klein, Ruben Gamboa.
by Klein, Gerwin [editor.] | Gamboa, Ruben [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
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings / edited by Zhenjiang Hu, Juan de Lara.
by Hu, Zhenjiang [editor.] | de Lara, Juan [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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli.
by Baier, Christel [editor.] | Tinelli, Cesare [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
|
|
|
|
Logic and Grammar [electronic resource] : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday / edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
by Pogodalla, Sylvain [editor.] | Quatrini, Myriam [editor.] | Retoré, Christian [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
|
|
|
|
Developments in Language Theory [electronic resource] : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings / edited by Oscar H. Ibarra, Zhe Dang.
by Ibarra, Oscar H [editor.] | Dang, Zhe [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / edited by Wolfgang De Meuter, Gruia-Catalin Roman.
by De Meuter, Wolfgang [editor.] | Roman, Gruia-Catalin [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
|
|
|
|
Applications and Theory of Petri Nets [electronic resource] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings / edited by Giuliana Franceschinis, Karsten Wolf.
by Franceschinis, Giuliana [editor.] | Wolf, Karsten [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
|
|
|
|
Model Checking Software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings / edited by Jaco van der Pol, Michael Weber.
by van der Pol, Jaco [editor.] | Weber, 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
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings / edited by Boris Konev, Frank Wolter.
by Konev, Boris [editor.] | Wolter, Frank [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 2016 [electronic resource] : 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings / edited by David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi.
by Pointcheval, David [editor.] | Nitaj, Abderrahmane [editor.] | Rachidi, Tajjeeddine [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
|
