|
|
|
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov.
by Abdulla, Parosh Aziz [editor.] | Potapov, 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
|
|
|
|
Web Dynpro ABAP for Practitioners [electronic resource] / by Ulrich Gellert, Ana Daniela Cristea.
by Gellert, Ulrich [author.] | Cristea, Ana Daniela [author.] | SpringerLink (Online service). Edition: 2nd ed. 2013.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
|
|
|
|
Arts and Technology [electronic resource] : Third International Conference, ArtsIT 2013, Milan, Italy, March 21-23, 2013, Revised Selected Papers / edited by Giorgio De Michelis, Francesco Tisato, Andrea Bene, Diego Bernini.
by Michelis, Giorgio De [editor.] | Tisato, Francesco [editor.] | Bene, Andrea [editor.] | Bernini, Diego [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
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Van Gorp, Tom Ritter, Louis M. Rose.
by Gorp, Pieter Van [editor.] | Ritter, Tom [editor.] | Rose, Louis M [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
|
|
|
|
Internet of Things. IoT Infrastructures [electronic resource] : Second International Summit, IoT 360� 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II / edited by Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cag�aňov�a, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov, Radu-Laurentiu Vieriu.
by Mandler, Benny [editor.] | Marquez-Barja, Johann [editor.] | Mitre Campista, Miguel Elias [editor.] | Cag�aňov�a, Dagmar [editor.] | Chaouchi, Hakima [editor.] | Zeadally, Sherali [editor.] | Badra, Mohamad [editor.] | Giordano, Stefano [editor.] | Fazio, Maria [editor.] | Somov, Andrey [editor.] | Vieriu, Radu-Laurentiu [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
|
|
|
|
FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou.
by Fitzgerald, John [editor.] | Heitmeyer, Constance [editor.] | Gnesi, Stefania [editor.] | Philippou, Anna [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
|
|
|
|
Testbeds and Research Infrastructure: Development of Networks and Communities [electronic resource] : 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers / edited by Victor C.M. Leung, Min Chen, Jiafu Wan, Yin Zhang.
by Leung, Victor C.M [editor.] | Chen, Min [editor.] | Wan, Jiafu [editor.] | Zhang, Yin [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
|
|
|
|
Collaboration Meets Interactive Spaces [electronic resource] / edited by Craig Anslow, Pedro Campos, Joaquim Jorge.
by Anslow, Craig [editor.] | Campos, Pedro [editor.] | Jorge, Joaquim [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
|
|
|
|
Quality in Business Process Modeling [electronic resource] / by John Krogstie.
by Krogstie, 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
|
|
|
|
The Languages of Western Tonality [electronic resource] / by Eytan Agmon.
by Agmon, Eytan [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems IX [electronic resource] / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [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
|
|
|
|
User-Centred Engineering [electronic resource] : Creating Products for Humans / by Michael Richter, Markus Fl�uckiger.
by Richter, Michael [author.] | Fl�uckiger, Markus [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
|
|
|
|
Cloud Computing Patterns [electronic resource] : Fundamentals to Design, Build, and Manage Cloud Applications / by Christoph Fehling, Frank Leymann, Ralph Retter, Walter Schupeck, Peter Arbitter.
by Fehling, Christoph [author.] | Leymann, Frank [author.] | Retter, Ralph [author.] | Schupeck, Walter [author.] | Arbitter, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Modeling with UML [electronic resource] : Language, Concepts, Methods / by Bernhard Rumpe.
by Rumpe, Bernhard [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
|
|
|
|
Business Modeling and Software Design [electronic resource] : Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers / edited by Boris Shishkov.
by Shishkov, Boris [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
|
|
|
|
Service-Oriented Computing [electronic resource] : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings / edited by Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu.
by Basu, Samik [editor.] | Pautasso, Cesare [editor.] | Zhang, Liang [editor.] | Fu, Xiang [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
|
|
|
|
Practical LaTeX [electronic resource] / by George Gr�atzer.
by Gr�atzer, George [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
|
|
|
|
Model-Integrating Software Components [electronic resource] : Engineering Flexible Software Systems / by Mahdi Derakhshanmanesh.
by Derakhshanmanesh, Mahdi [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Fundamentals of Business Intelligence [electronic resource] / by Wilfried Grossmann, Stefanie Rinderle-Ma.
by Grossmann, Wilfried [author.] | Rinderle-Ma, Stefanie [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
|
|
|
|
Cloud Computing [electronic resource] : 4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013, Revised Selected Papers / edited by Victor C.M. Leung, Min Chen.
by Leung, Victor C.M [editor.] | Chen, Min [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
|
