|
|
3121.
|
Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Khalil Drira.
by Drira, Khalil [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3122.
|
ECOOP 2013 – Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings / edited by Giuseppe Castagna.
by Castagna, Giuseppe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3123.
|
Human Factors in Computing and Informatics [electronic resource] : First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings / edited by Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaž Debevc.
by Holzinger, Andreas [editor.] | Ziefle, Martina [editor.] | Hitz, Martin [editor.] | Debevc, Matjaž [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3124.
|
Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder.
by Järvisalo, Matti [editor.] | Van Gelder, Allen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3125.
|
Privacy Enhancing Technologies [electronic resource] : 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings / edited by Emiliano Cristofaro, Matthew Wright.
by Cristofaro, Emiliano [editor.] | Wright, Matthew [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3126.
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings / edited by Linda C. Gaag.
by Gaag, Linda C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3127.
|
E-Voting and Identify [electronic resource] : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings / edited by James Heather, Steve Schneider, Vanessa Teague.
by Heather, James [editor.] | Schneider, Steve [editor.] | Teague, Vanessa [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3128.
|
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg.
by Fomin, Fedor V [editor.] | Freivalds, Rūsiņš [editor.] | Kwiatkowska, Marta [editor.] | Peleg, David [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3129.
|
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg.
by Fomin, Fedor V [editor.] | Freivalds, Rūsiņš [editor.] | Kwiatkowska, Marta [editor.] | Peleg, David [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3130.
|
Security and Privacy Protection in Information Processing Systems [electronic resource] : 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings / edited by Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi.
by Janczewski, Lech J [editor.] | Wolfe, Henry B [editor.] | Shenoi, Sujeet [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3131.
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings / edited by Konrad Rieck, Patrick Stewin, Jean-Pierre Seifert.
by Rieck, Konrad [editor.] | Stewin, Patrick [editor.] | Seifert, Jean-Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3132.
|
Ad-hoc, Mobile, and Wireless Network [electronic resource] : 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings / edited by Jacek Cichoń, Maciej Gȩbala, Marek Klonowski.
by Cichoń, Jacek [editor.] | Gȩbala, Maciej [editor.] | Klonowski, Marek [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3133.
|
RoboCup 2012: Robot Soccer World Cup XVI [electronic resource] / edited by Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn Zant.
by Chen, Xiaoping [editor.] | Stone, Peter [editor.] | Sucar, Luis Enrique [editor.] | Zant, Tijn [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3134.
|
Data and Applications Security and Privacy XXVII [electronic resource] : 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013. Proceedings / edited by Lingyu Wang, Basit Shafiq.
by Wang, Lingyu [editor.] | Shafiq, Basit [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3135.
|
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu.
by Liu, Shaoying [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3136.
|
Information Assurance and Security Education and Training [electronic resource] : 8th IFIP WG 11.8 World Conference on Information Security Education, WISE 8, Auckland, New Zealand, July 8-10, 2013, Proceedings, WISE 7, Lucerne Switzerland, June 9-10, 2011, and WISE 6, Bento Gonçalves, RS, Brazil, July 27-31, 2009, Revised Selected Papers / edited by Ronald C. Dodge, Lynn Futcher.
by Dodge, Ronald C [editor.] | Futcher, Lynn [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3137.
|
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings / edited by Alexander Dudin, Koen Turck.
by Dudin, Alexander [editor.] | Turck, Koen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3138.
|
Data Integration in the Life Sciences [electronic resource] : 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings / edited by Christopher J. O. Baker, Greg Butler, Igor Jurisica.
by Baker, Christopher J. O [editor.] | Butler, Greg [editor.] | Jurisica, Igor [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3139.
|
Web-Age Information Management [electronic resource] : WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings / edited by Yunjun Gao, Kyuseok Shim, Zhiming Ding, Peiquan Jin, Zujie Ren, Yingyuan Xiao, An Liu, Shaojie Qiao.
by Gao, Yunjun [editor.] | Shim, Kyuseok [editor.] | Ding, Zhiming [editor.] | Jin, Peiquan [editor.] | Ren, Zujie [editor.] | Xiao, Yingyuan [editor.] | Liu, An [editor.] | Qiao, Shaojie [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
3140.
|
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke.
by Morgenstern, Leora [editor.] | Stefaneas, Petros [editor.] | Lévy, François [editor.] | Wyner, Adam [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
