|
|
|
Highlights on Practical Applications of Agents and Multi-Agent Systems [electronic resource] : International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings / edited by Juan M. Corchado, Javier Bajo, Jaroslaw Kozlak, Pawel Pawlewski, Jose M. Molina, Vicente Julian, Ricardo Azambuja Silveira, Rainer Unland, Sylvain Giroux.
by Corchado, Juan M [editor.] | Bajo, Javier [editor.] | Kozlak, Jaroslaw [editor.] | Pawlewski, Pawel [editor.] | Molina, Jose M [editor.] | Julian, Vicente [editor.] | Silveira, Ricardo Azambuja [editor.] | Unland, Rainer [editor.] | Giroux, Sylvain [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
|
|
|
|
Correct System Design [electronic resource] : Symposium in Honor of Ernst-R�udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, Andr�e Platzer, Heike Wehrheim.
by Meyer, Roland [editor.] | Platzer, Andr�e [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Smart Grid Security [electronic resource] : Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers / edited by Jorge Cuellar.
by Cuellar, Jorge [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Mobile Web Information Systems [electronic resource] : 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings / edited by Irfan Awan, Muhammad Younas, Xavier Franch, Carme Quer.
by Awan, Irfan [editor.] | Younas, Muhammad [editor.] | Franch, Xavier [editor.] | Quer, Carme [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Foundations of Security Analysis and Design VII [electronic resource] : FOSAD 2012/2013 Tutorial Lectures / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli.
by Aldini, Alessandro [editor.] | Lopez, Javier [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Advances in Web-Based Learning -- ICWL 2015 [electronic resource] : 14th International Conference, Guangzhou, China, November 5-8, 2015, Proceedings / edited by Frederick W.B. Li, Ralf Klamma, Mart Laanpere, Jun Zhang, Baltasar Fern�andez Manj�on, Rynson W.H. Lau.
by Li, Frederick W.B [editor.] | Klamma, Ralf [editor.] | Laanpere, Mart [editor.] | Zhang, Jun [editor.] | Manj�on, Baltasar Fern�andez [editor.] | Lau, Rynson W.H [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Modular System Design and Evaluation [electronic resource] / by Mark Sh. Levin.
by Levin, Mark Sh [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Android Malware [electronic resource] / by Xuxian Jiang, Yajin Zhou.
by Jiang, Xuxian [author.] | Zhou, Yajin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Active Media Technology [electronic resource] : 10th International Conference, AMT 2014, Warsaw, Poland, August 11-14, 2014. Proceedings / edited by Dominik Śl�ezak, Gerald Schaefer, Son T. Vuong, Yoo-Sung Kim.
by Śl�ezak, Dominik [editor.] | Schaefer, Gerald [editor.] | Vuong, Son T [editor.] | Kim, Yoo-Sung [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / edited by M�arcio Corn�elio, Bill Roscoe.
by Corn�elio, M�arcio [editor.] | Roscoe, Bill [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
|
Euro-Par 2014 Parallel Processing [electronic resource] : 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings / edited by Fernando Silva, In�es Dutra, V�itor Santos Costa.
by Silva, Fernando [editor.] | Dutra, In�es [editor.] | Santos Costa, V�itor [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Autonomy Requirements Engineering for Space Missions [electronic resource] / by Emil Vassev, Mike Hinchey.
by Vassev, Emil [author.] | Hinchey, Mike [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
The Power of Algorithms [electronic resource] : Inspiration and Examples in Everyday Life / edited by Giorgio Ausiello, Rossella Petreschi.
by Ausiello, Giorgio [editor.] | Petreschi, Rossella [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
|
|
|
|
An Introduction to Network Programming with Java [electronic resource] : Java 7 Compatible / by Jan Graba.
by Graba, Jan [author.] | SpringerLink (Online service). Edition: 3rd ed. 2013.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Electronic Government and the Information Systems Perspective [electronic resource] : 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016, Proceedings / edited by Andrea Kő, Enrico Francesconi.
by Kő, Andrea [editor.] | Francesconi, Enrico [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Understanding Network Hacks [electronic resource] : Attack and Defense with Python / by Bastian Ballmann.
by Ballmann, Bastian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Decision Diagrams for Optimization [electronic resource] / by David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker.
by Bergman, David [author.] | Cire, Andre A [author.] | van Hoeve, Willem-Jan [author.] | Hooker, John [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / edited by Amund Skavhaug, J�er�emie Guiochet, Erwin Schoitsch, Friedemann Bitsch.
by Skavhaug, Amund [editor.] | Guiochet, J�er�emie [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Cultural Robotics [electronic resource] : First International Workshop, CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers / edited by Jeffrey T.K.V. Koh, Belinda J. Dunstan, David Silvera-Tawil, Mari Velonaki.
by Koh, Jeffrey T.K.V [editor.] | Dunstan, Belinda J [editor.] | Silvera-Tawil, David [editor.] | Velonaki, Mari [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Preserving Privacy Against Side-Channel Leaks [electronic resource] : From Data Publishing to Web Applications / by Wen Ming Liu, Lingyu Wang.
by Liu, Wen Ming [author.] | Wang, Lingyu [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
