|
|
|
Ontology-Driven Software Development [electronic resource] / edited by Jeff Z. Pan, Steffen Staab, Uwe A�mann, J�urgen Ebert, Yuting Zhao.
by Pan, Jeff Z [editor.] | Staab, Steffen [editor.] | A�mann, Uwe [editor.] | Ebert, J�urgen [editor.] | Zhao, Yuting [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
|
|
|
|
The Python Workbook [electronic resource] : A Brief Introduction with Exercises and Solutions / by Ben Stephenson.
by Stephenson, Ben [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
|
|
|
|
Environmental Software Systems. Fostering Information Sharing [electronic resource] : 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings / edited by Jiř�i Hřeb�iček, Gerald Schimak, Miroslav Kub�asek, Andrea E. Rizzoli.
by Hřeb�iček, Jiř�i [editor.] | Schimak, Gerald [editor.] | Kub�asek, Miroslav [editor.] | Rizzoli, Andrea E [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
|
|
|
|
Science Gateways for Distributed Computing Infrastructures [electronic resource] : Development Framework and Exploitation by Scientific User Communities / edited by P�eter Kacsuk.
by Kacsuk, P�eter [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
|
|
|
|
History and Philosophy of Computing [electronic resource] : Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers / edited by Fabio Gadducci, Mirko Tavosanis.
by Gadducci, Fabio [editor.] | Tavosanis, Mirko [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
|
|
|
|
Variation Based Dense 3D Reconstruction [electronic resource] : Application on Monocular Mini-Laparoscopic Sequences / by Sven Painer.
by Painer, Sven [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Software Sourcing in the Age of Open [electronic resource] : Leveraging the Unknown Workforce / by P�ar J. �Agerfalk, Brian Fitzgerald, Klaas-Jan Stol.
by �Agerfalk, P�ar J [author.] | Fitzgerald, Brian [author.] | Stol, Klaas-Jan [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
|
|
|
|
Verified Software. Theories, Tools, and Experiments [electronic resource] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik.
by Blazy, Sandrine [editor.] | Chechik, Marsha [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Tom Holvoet, Mirko Viroli.
by Holvoet, Tom [editor.] | Viroli, Mirko [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
|
|
|
|
Systems, Software and Services Process Improvement [electronic resource] : 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings / edited by Rory V. O'Connor, Mariye Umay Akkaya, Kerem Kemaneci, Murat Yilmaz, Alexander Poth, Richard Messnarz.
by O'Connor, Rory V [editor.] | Umay Akkaya, Mariye [editor.] | Kemaneci, Kerem [editor.] | Yilmaz, Murat [editor.] | Poth, Alexander [editor.] | Messnarz, Richard [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
|
|
|
|
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [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
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings / edited by Manfred A. Jeusfeld, Kamalakar Karlapalem.
by Jeusfeld, Manfred A [editor.] | Karlapalem, Kamalakar [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
|
|
|
|
Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes [electronic resource] / by Telmo Ad�ao, Lu�is Magalh�aes, Emanuel Peres.
by Ad�ao, Telmo [author.] | Magalh�aes, Lu�is [author.] | Peres, Emanuel [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
|
|
|
|
Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Micha� Skrzypczak.
by Skrzypczak, Micha� [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, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Waśniewski, Jerzy [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
|
|
|
|
Advanced Model-Based Engineering of Embedded Systems [electronic resource] : Extensions of the SPES 2020 Methodology / edited by Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald H�onninger.
by Pohl, Klaus [editor.] | Broy, Manfred [editor.] | Daembkes, Heinrich [editor.] | H�onninger, Harald [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
|
|
|
|
Innovative Technologies for Dependable OTS-Based Critical Systems [electronic resource] : Challenges and Achievements of the CRITICAL STEP Project / edited by Domenico Cotroneo.
by Cotroneo, Domenico [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Numbers and Computers [electronic resource] / by Ronald T. Kneusel.
by Kneusel, Ronald T [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
|
|
|
|
Semantic Models for Adaptive Interactive Systems [electronic resource] / edited by Tim Hussein, Heiko Paulheim, Stephan Lukosch, J�urgen Ziegler, Ga�elle Calvary.
by Hussein, Tim [editor.] | Paulheim, Heiko [editor.] | Lukosch, Stephan [editor.] | Ziegler, J�urgen [editor.] | Calvary, Ga�elle [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / edited by Atsushi Igarashi.
by Igarashi, Atsushi [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
|
