|
|
|
Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky.
by Arbab, Farhad [editor.] | Ölveczky, Peter Csaba [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
|
|
|
|
Trustworthy Global Computing [electronic resource] : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers / edited by Roberto Bruni, Vladimiro Sassone.
by Bruni, Roberto [editor.] | Sassone, Vladimiro [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
|
|
|
|
Supercomputing [electronic resource] : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014, Proceedings / edited by Julian Martin Kunkel, Thomas Ludwig, Hans Meuer.
by Kunkel, Julian Martin [editor.] | Ludwig, Thomas [editor.] | Meuer, Hans [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
|
|
|
|
Unifying Theories of Programming [electronic resource] : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / edited by Jonathan P. Bowen, Huibiao Zhu.
by Bowen, Jonathan P [editor.] | Zhu, Huibiao [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
|
|
|
|
Algorithms in Bioinformatics [electronic resource] : 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings / edited by Rita Casadio, Gene Myers.
by Casadio, Rita [editor.] | Myers, Gene [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
|
|
|
|
Multi-Agent Systems [electronic resource] : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers / edited by Massimo Cossentino, Michael Kaisers, Karl Tuyls, Gerhard Weiss.
by Cossentino, Massimo [editor.] | Kaisers, Michael [editor.] | Tuyls, Karl [editor.] | Weiss, Gerhard [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
|
|
|
|
Recent Advances in Intrusion Detection [electronic resource] : 10th International Symposium, RAID 2007, Gold Coast, Australia, September 5-7, 2007, Proceedings / edited by Christopher Kruegel, Richard Lippmann, Andrew Clark.
by Kruegel, Christopher [editor.] | Lippmann, Richard [editor.] | Clark, Andrew [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
|
|
|
|
String Processing and Information Retrieval [electronic resource] : 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings / edited by Nivio Ziviani, Ricardo Baeza-Yates.
by Ziviani, Nivio [editor.] | Baeza-Yates, Ricardo [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
|
|
|
|
Software Product Lines [electronic resource] : 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings / edited by Henk Obbink, Klaus Pohl.
by Obbink, Henk [editor.] | Pohl, Klaus [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
|
|
|
|
Reachability Problems [electronic resource] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings / edited by Antonin Kucera, Igor Potapov.
by Kucera, Antonin [editor.] | Potapov, Igor [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
|
|
|
|
Human-Computer Interaction. Interaction Platforms and Techniques [electronic resource] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part II / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
|
|
|
Progress in Cryptology - VIETCRYPT 2006 [electronic resource] : First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers / edited by Phong Q. Nguyen.
by Nguyen, Phong Q [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
|
|
|
|
Computer Vision - ACCV 2010 [electronic resource] : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part III / edited by Reinhard Klette, Ron Kimmel, Akihiro Sugimoto.
by Klette, Reinhard [editor.] | Kimmel, Ron [editor.] | Sugimoto, Akihiro [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
|
|
|
|
Social Informatics [electronic resource] : 9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017, Proceedings, Part I / edited by Giovanni Luca Ciampaglia, Afra Mashhadi, Taha Yasseri.
by Ciampaglia, Giovanni Luca [editor.] | Mashhadi, Afra [editor.] | Yasseri, Taha [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
|
|
|
|
Security and Privacy in Ad-Hoc and Sensor Networks [electronic resource] : Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers / edited by Levente Buttyan, Virgil Gligor, Dirk Westhoff.
by Buttyan, Levente [editor.] | Gligor, Virgil [editor.] | Westhoff, Dirk [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
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings / edited by Nicola Olivetti.
by Olivetti, Nicola [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
|
|
|
|
Network Control and Optimization [electronic resource] : First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007, Proceedings / edited by Tijani Chahed, Bruno Tuffin.
by Chahed, Tijani [editor.] | Tuffin, Bruno [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
|
|
|
|
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings / edited by João M. Lourenço, Eitan Farchi.
by Lourenço, João M [editor.] | Farchi, Eitan [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
|
|
|
|
Combinatorial and Algorithmic Aspects of Networking [electronic resource] : Third Workshop, CAAN 2006, Chester, UK, July 2, 2006, Revised Papers / edited by Thomas Erlebach.
by Erlebach, Thomas [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 Protocols [electronic resource] : 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.
by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [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
|
