|
|
|
The Common Component Modeling Example [electronic resource] : Comparing Software Component Models / edited by Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil.
by Rausch, Andreas [editor.] | Reussner, Ralf H [editor.] | Mirandola, Raffaela [editor.] | Plasil, Frantisek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiß.
by Keller, Rainer [editor.] | Kramer, David [editor.] | Weiß, Jan-Philipp [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Dependable and Historic Computing [electronic resource] : Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday / edited by Cliff B. Jones, John L. Lloyd.
by Jones, Cliff B [editor.] | Lloyd, John L [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency XI [electronic resource] / edited by Maciej Koutny, Jörg Desel, Jetty Kleijn.
by Koutny, Maciej [editor.] | Desel, Jörg [editor.] | Kleijn, Jetty [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Transactions on Aspect-Oriented Software Development XI [electronic resource] / edited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle.
by Chiba, Shigeru [editor.] | Tanter, Éric [editor.] | Bodden, Eric [editor.] | Maoz, Shahar [editor.] | Kienzle, Jörg [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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 Computational Science I [electronic resource] / edited by C. J. Kenneth Tan.
by Tan, C. J. Kenneth [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Benchmarking Peer-to-Peer Systems [electronic resource] : Understanding Quality of Service in Large-Scale Distributed Systems / edited by Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe.
by Effelsberg, Wolfgang [editor.] | Steinmetz, Ralf [editor.] | Strufe, Thorsten [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Ada 2005 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes.
by Barnes, John [author.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Aspect-Oriented Software Development XII [electronic resource] / edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld.
by Chiba, Shigeru [editor.] | Tanter, Éric [editor.] | Ernst, Erik [editor.] | Hirschfeld, Robert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Facing the Multicore-Challenge II [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss.
by Keller, Rainer [editor.] | Kramer, David [editor.] | Weiss, Jan-Philipp [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Concurrent Objects and Beyond [electronic resource] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura.
by Agha, Gul [editor.] | Igarashi, Atsushi [editor.] | Kobayashi, Naoki [editor.] | Masuhara, Hidehiko [editor.] | Matsuoka, Satoshi [editor.] | Shibayama, Etsuya [editor.] | Taura, Kenjiro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser.
by Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Visser, Joost [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue.
by Giachino, Elena [editor.] | Hähnle, Reiner [editor.] | de Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Specification, Algebra, and Software [electronic resource] : Essays Dedicated to Kokichi Futatsugi / edited by Shusaku Iida, José Meseguer, Kazuhiro Ogata.
by Iida, Shusaku [editor.] | Meseguer, José [editor.] | Ogata, Kazuhiro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / edited by Ralf Lämmel, Joost Visser, João Saraiva.
by Lämmel, Ralf [editor.] | Visser, Joost [editor.] | Saraiva, João [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter.
by Leavens, Gary T [editor.] | Chiba, Shigeru [editor.] | Haupt, Michael [editor.] | Ostermann, Klaus [editor.] | Wohlstadter, Eric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer.
by Zsók, Viktória [editor.] | Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
The Disappearing Computer [electronic resource] : Interaction Design, System Infrastructures and Applications for Smart Environments / edited by Norbert Streitz, Achilles Kameas, Irene Mavrommati.
by Streitz, Norbert [editor.] | Kameas, Achilles [editor.] | Mavrommati, Irene [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithm Engineering [electronic resource] : Bridging the Gap Between Algorithm Theory and Practice / edited by Matthias Müller-Hannemann, Stefan Schirra.
by Müller-Hannemann, Matthias [editor.] | Schirra, Stefan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
