|
|
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings / edited by Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier.
by Bondavalli, Andrea [editor.] | Ceccarelli, Andrea [editor.] | Ortmeier, Frank [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
|
|
|
|
Validation of Evolving Software [electronic resource] / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina.
by Chockler, Hana [editor.] | Kroening, Daniel [editor.] | Mariani, Leonardo [editor.] | Sharygina, Natasha [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
|
|
|
|
Genetic Programming [electronic resource] : 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Krzysztof Krawiec, Alberto Moraglio, Ting Hu, A. Şima Etaner-Uyar, Bin Hu.
by Krawiec, Krzysztof [editor.] | Moraglio, Alberto [editor.] | Hu, Ting [editor.] | Etaner-Uyar, A. Şima [editor.] | Hu, Bin [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
|
|
|
|
Business Process Management Workshops [electronic resource] : BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers / edited by Niels Lohmann, Minseok Song, Petia Wohed.
by Lohmann, Niels [editor.] | Song, Minseok [editor.] | Wohed, Petia [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Privacy and Security for Cloud Computing [electronic resource] / edited by Siani Pearson, George Yee.
by Pearson, Siani [editor.] | Yee, George [editor.] | SpringerLink (Online service). 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
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers / edited by Yukiko Nakano, Ken Satoh, Daisuke Bekki.
by Nakano, Yukiko [editor.] | Satoh, Ken [editor.] | Bekki, Daisuke [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
|
|
|
|
Big Data Integration Theory [electronic resource] : Theory and Methods of Database Mappings, Programming Languages, and Semantics / by Zoran Majkić.
by Majkić, Zoran [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
|
|
|
|
A Rigorous Semantics for BPMN 2.0 Process Diagrams [electronic resource] / by Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschl�ager, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe.
by Kossak, Felix [author.] | Illibauer, Christa [author.] | Geist, Verena [author.] | Kubovy, Jan [author.] | Natschl�ager, Christine [author.] | Ziebermayr, Thomas [author.] | Kopetzky, Theodorich [author.] | Freudenthaler, Bernhard [author.] | Schewe, Klaus-Dieter [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Software Process Improvement and Capability Determination [electronic resource] : 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014, Proceedings / edited by Antanas Mitasiunas, Terry Rout, Rory V. O'Connor, Alec Dorling.
by Mitasiunas, Antanas [editor.] | Rout, Terry [editor.] | O'Connor, Rory V [editor.] | Dorling, Alec [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
|
|
|
|
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
|
|
|
|
Engineering Applications of Neural Networks [electronic resource] : 17th International Conference, EANN 2016, Aberdeen, UK, September 2-5, 2016, Proceedings / edited by Chrisina Jayne, Lazaros Iliadis.
by Jayne, Chrisina [editor.] | Iliadis, Lazaros [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
|
|
|
|
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
|
|
|
|
Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services [electronic resource] : IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part II / edited by Christos Emmanouilidis, Marco Taisch, Dimitris Kiritsis.
by Emmanouilidis, Christos [editor.] | Taisch, Marco [editor.] | Kiritsis, Dimitris [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
|
|
|
|
Rule Technologies. Research, Tools, and Applications [electronic resource] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman.
by Alferes, Jose Julio [editor.] | Bertossi, Leopoldo [editor.] | Governatori, Guido [editor.] | Fodor, Paul [editor.] | Roman, Dumitru [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
|
