|
|
|
FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bj�rner, Frank de Boer.
by Bj�rner, Nikolaj [editor.] | de Boer, 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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Business Information Systems [electronic resource] : 18th International Conference, BIS 2015, Poznań, Poland, June 24-26, 2015, Proceedings / edited by Witold Abramowicz.
by Abramowicz, Witold [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 City 360� [electronic resource] : First EAI International Summit, Smart City 360�, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers / edited by Alberto Leon-Garcia, Radim Lenort, David Holman, David Staš, Veronika Krutilova, Pavel Wicher, Dagmar Cag�aňov�a, Daniela Špirkov�a, Julius Golej, Kim Nguyen.
by Leon-Garcia, Alberto [editor.] | Lenort, Radim [editor.] | Holman, David [editor.] | Staš, David [editor.] | Krutilova, Veronika [editor.] | Wicher, Pavel [editor.] | Cag�aňov�a, Dagmar [editor.] | Špirkov�a, Daniela [editor.] | Golej, Julius [editor.] | Nguyen, Kim [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
|
|
|
|
Cloud Computing [electronic resource] : 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers / edited by Yin Zhang, Limei Peng, Chan-Hyun Youn.
by Zhang, Yin [editor.] | Peng, Limei [editor.] | Youn, Chan-Hyun [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
|
|
|
|
Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani.
by Dastani, Mehdi [editor.] | Sirjani, Marjan [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario.
by Sankaranarayanan, Sriram [editor.] | Vicario, Enrico [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
|
|
|
|
Automated Software and Service Composition [electronic resource] : A Survey and Evaluating Review / by Felix Mohr.
by Mohr, Felix [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
|
|
|
|
Knowledge Engineering and Knowledge Management [electronic resource] : 19th International Conference, EKAW 2014, Link�oping, Sweden, November 24-28, 2014. Proceedings / edited by Krzysztof Janowicz, Stefan Schlobach, Patrick Lambrix, Eero Hyv�onen.
by Janowicz, Krzysztof [editor.] | Schlobach, Stefan [editor.] | Lambrix, Patrick [editor.] | Hyv�onen, Eero [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
|
|
|
|
Social Informatics [electronic resource] : 6th International Conference, SocInfo 2014, Barcelona, Spain, November 11-13, 2014. Proceedings / edited by Luca Maria Aiello, Daniel McFarland.
by Aiello, Luca Maria [editor.] | McFarland, Daniel [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
|
|
|
|
Business Process Management Workshops [electronic resource] : BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers / edited by Marcello La Rosa, Pnina Soffer.
by Rosa, Marcello La [editor.] | Soffer, Pnina [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
|
|
|
|
Text Mining [electronic resource] : From Ontology Learning to Automated Text Processing Applications / edited by Chris Biemann, Alexander Mehler.
by Biemann, Chris [editor.] | Mehler, Alexander [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
|
|
|
|
Improving Disaster Resilience and Mitigation - IT Means and Tools [electronic resource] / edited by Horia-Nicolai Teodorescu, Alan Kirschenbaum, Svetlana Cojocaru, Claude Bruderlein.
by Teodorescu, Horia-Nicolai [editor.] | Kirschenbaum, Alan [editor.] | Cojocaru, Svetlana [editor.] | Bruderlein, Claude [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Sound, Music, and Motion [electronic resource] : 10th International Symposium, CMMR 2013, Marseille, France, October 15-18, 2013. Revised Selected Papers / edited by Mitsuko Aramaki, Olivier Derrien, Richard Kronland-Martinet, S�lvi Ystad.
by Aramaki, Mitsuko [editor.] | Derrien, Olivier [editor.] | Kronland-Martinet, Richard [editor.] | Ystad, S�lvi [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
|
|
|
|
Operations Research and Enterprise Systems [electronic resource] : Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers / edited by Eric Pinson, Fernando Valente, Bego�na Vitoriano.
by Pinson, Eric [editor.] | Valente, Fernando [editor.] | Vitoriano, Bego�na [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
|
|
|
|
Predicting Real World Behaviors from Virtual World Data [electronic resource] / edited by Muhammad Aurangzeb Ahmad, Cuihua Shen, Jaideep Srivastava, Noshir Contractor.
by Ahmad, Muhammad Aurangzeb [editor.] | Shen, Cuihua [editor.] | Srivastava, Jaideep [editor.] | Contractor, Noshir [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
|
|
|
|
High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / edited by Michel Dayd�e, Osni Marques, Kengo Nakajima.
by Dayd�e, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [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
|
|
|
|
Trends in Mobile Web Information Systems [electronic resource] : MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers / edited by Maristella Matera, Gustavo Rossi.
by Matera, Maristella [editor.] | Rossi, Gustavo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Precision Assembly Technologies and Systems [electronic resource] : 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papers / edited by Svetan Ratchev.
by Ratchev, Svetan [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
|
|
|
|
Practitioner's Knowledge Representation [electronic resource] : A Pathway to Improve Software Effort Estimation / by Emilia Mendes.
by Mendes, Emilia [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / edited by Samuel A. Fricker, Kurt Schneider.
by Fricker, Samuel A [editor.] | Schneider, Kurt [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
|
