|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Open Source Systems: Integrating Communities [electronic resource] : 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedings / edited by Kevin Crowston, Imed Hammouda, Bj�orn Lundell, Gregorio Robles, Jonas Gamalielsson, Juho Lindman.
by Crowston, Kevin [editor.] | Hammouda, Imed [editor.] | Lundell, Bj�orn [editor.] | Robles, Gregorio [editor.] | Gamalielsson, Jonas [editor.] | Lindman, Juho [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
|
|
|
|
Decision Support Systems VI - Addressing Sustainability and Societal Challenges [electronic resource] : 2nd International Conference, ICDSST 2016, Plymouth, UK, May 23-25, 2016, Proceedings / edited by Shaofeng Liu, Boris Delibašić, Festus Oderanti.
by Liu, Shaofeng [editor.] | Delibašić, Boris [editor.] | Oderanti, Festus [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
|
|
|
|
Aspect-Oriented Requirements Engineering [electronic resource] / edited by Ana Moreira, Ruzanna Chitchyan, Jo�ao Ara�ujo, Awais Rashid.
by Moreira, Ana [editor.] | Chitchyan, Ruzanna [editor.] | Ara�ujo, Jo�ao [editor.] | Rashid, Awais [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
|
|
|
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 16th International Conference, ACIVS 2015, Catania, Italy, October 26-29, 2015. Proceedings / edited by Sebastiano Battiato, Jacques Blanc-Talon, Giovanni Gallo, Wilfried Philips, Dan Popescu, Paul Scheunders.
by Battiato, Sebastiano [editor.] | Blanc-Talon, Jacques [editor.] | Gallo, Giovanni [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
|
Software Technologies [electronic resource] : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / edited by Andreas Holzinger, Jorge Cardoso, Jos�e Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen.
by Holzinger, Andreas [editor.] | Cardoso, Jorge [editor.] | Cordeiro, Jos�e [editor.] | Libourel, Therese [editor.] | Maciaszek, Leszek A [editor.] | van Sinderen, Marten [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
|
Cloud Computing and Services Sciences [electronic resource] : International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3-5, 2014 Revised Selected Papers / edited by Markus Helfert, Fr�ed�eric Desprez, Donald Ferguson, Frank Leymann, Victor M�endez Munoz.
by Helfert, Markus [editor.] | Desprez, Fr�ed�eric [editor.] | Ferguson, Donald [editor.] | Leymann, Frank [editor.] | M�endez Munoz, Victor [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
|
|
|
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings / edited by Rajat Subhra Chakraborty, Peter Schwabe, Jon Solworth.
by Chakraborty, Rajat Subhra [editor.] | Schwabe, Peter [editor.] | Solworth, Jon [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
|
|
|
|
Computer Security -- ESORICS 2015 [electronic resource] : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I / edited by G�unther Pernul, Peter Y A Ryan, Edgar Weippl.
by Pernul, G�unther [editor.] | Y A Ryan, Peter [editor.] | Weippl, Edgar [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
|
|
|
|
Energy Efficient Data Centers [electronic resource] : Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers / edited by Sonja Klingert, Marta Chinnici, Milagros Rey Porto.
by Klingert, Sonja [editor.] | Chinnici, Marta [editor.] | Rey Porto, Milagros [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
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St. Petersburg, Russia, August 27-29, 2014. Proceedings / edited by Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy.
by Balandin, Sergey [editor.] | Andreev, Sergey [editor.] | Koucheryavy, Yevgeni [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
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione.
by Fantechi, Alessandro [editor.] | Pelliccione, Patrizio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
|
Security Protocols XXII [electronic resource] : 22nd International Workshop, Cambridge, UK, March 19-21, 2014, Revised Selected Papers / edited by Bruce Christianson, James Malcolm, Vashek Maty�aš, Petr Švenda, Frank Stajano, Jonathan Anderson.
by Christianson, Bruce [editor.] | Malcolm, James [editor.] | Maty�aš, Vashek [editor.] | Švenda, Petr [editor.] | Stajano, Frank [editor.] | Anderson, Jonathan [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
|
|
|
|
Information Systems and Global Assemblages. (Re)Configuring Actors, Artefacts, Organizations [electronic resource] : IFIP WG 8.2 Working Conference on Information Systems and Organizations, IS&O 2014, Auckland, New Zealand, December 11-12, 2014. Proceedings / edited by Bill Doolin, Eleni Lamprou, Nathalie Mitev, Laurie McLeod.
by Doolin, Bill [editor.] | Lamprou, Eleni [editor.] | Mitev, Nathalie [editor.] | McLeod, Laurie [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Future Data and Security Engineering [electronic resource] : Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings / edited by Tran Khanh Dang, Roland Wagner, Josef K�ung, Nam Thoai, Makoto Takizawa, Erich Neuhold.
by Dang, Tran Khanh [editor.] | Wagner, Roland [editor.] | K�ung, Josef [editor.] | Thoai, Nam [editor.] | Takizawa, Makoto [editor.] | Neuhold, Erich [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
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings / edited by Kuai Xu, Haojin Zhu.
by Xu, Kuai [editor.] | Zhu, Haojin [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
|
