|
|
|
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by Jo�ao M. Louren�co, Eitan Farchi.
by Louren�co, Jo�ao M [editor.] | Farchi, Eitan [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
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan J�urjens, Benjamin Livshits, Riccardo Scandariato.
by J�urjens, Jan [editor.] | Livshits, Benjamin [editor.] | Scandariato, Riccardo [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
|
|
|
|
Specification, Algebra, and Software [electronic resource] : Essays Dedicated to Kokichi Futatsugi / edited by Shusaku Iida, Jos�e Meseguer, Kazuhiro Ogata.
by Iida, Shusaku [editor.] | Meseguer, Jos�e [editor.] | Ogata, Kazuhiro [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu.
by Ogata, Kazuhiro [editor.] | Lawford, Mark [editor.] | Liu, Shaoying [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
|
|
|
|
Ada 2012 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes.
by Barnes, John [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
|
|
|
|
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann.
by Beek, Maurice H. ter [editor.] | Lohmann, Niels [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
|
|
|
|
Break-Glass [electronic resource] : Handling Exceptional Situations in Access Control / by Helmut Petritsch.
by Petritsch, Helmut [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Software Language Engineering [electronic resource] : 7th International Conference, SLE 2014, V�aster�as, Sweden, September 15-16, 2014. Proceedings / edited by Beno�it Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju.
by Combemale, Beno�it [editor.] | Pearce, David J [editor.] | Barais, Olivier [editor.] | Vinju, Jurgen J [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
|
|
|
|
Trends in Functional Programming [electronic resource] : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers / edited by Hans-Wolfgang Loidl, Ricardo Pe�na.
by Loidl, Hans-Wolfgang [editor.] | Pe�na, Ricardo [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
|
|
|
|
Using Microsoft Dynamics AX 2012 [electronic resource] : Updated for Version R3 / by Andreas Luszczak.
by Luszczak, Andreas [author.] | SpringerLink (Online service). Edition: 4th ed. 2015.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
|
|
|
|
Transactions on Aspect-Oriented Software Development XI [electronic resource] / edited by Shigeru Chiba, �Eric Tanter, Eric Bodden, Shahar Maoz, J�org Kienzle.
by Chiba, Shigeru [editor.] | Tanter, �Eric [editor.] | Bodden, Eric [editor.] | Maoz, Shahar [editor.] | Kienzle, J�org [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
|
|
|
|
Working Around Disruptions of Network Infrastructures [electronic resource] : Mobile Ad-Hoc Systems for Resilient Communication in Disasters / by Amro Al-Akkad.
by Al-Akkad, Amro [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 Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [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 Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun.
by Groves, Lindsay [editor.] | Sun, Jing [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
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / edited by Amund Skavhaug, J�er�emie Guiochet, Friedemann Bitsch.
by Skavhaug, Amund [editor.] | Guiochet, J�er�emie [editor.] | Bitsch, Friedemann [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
|
|
|
|
Finite Difference Methods,Theory and Applications [electronic resource] : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / edited by Ivan Dimov, Istv�an Farag�o, Lubin Vulkov.
by Dimov, Ivan [editor.] | Farag�o, Istv�an [editor.] | Vulkov, Lubin [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
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.
by Liu, Zhiming [editor.] | Zhang, Zili [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
|
|
|
|
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg.
by Taft, S. Tucker [editor.] | Duff, Robert A [editor.] | Brukardt, Randall L [editor.] | Ploedereder, Erhard [editor.] | Leroy, Pascal [editor.] | Schonberg, Edmond [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
|
|
|
|
Model-Driven Engineering Languages and Systems [electronic resource] : 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings / edited by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrah�ao, Emilio Insfran.
by Dingel, Juergen [editor.] | Schulte, Wolfram [editor.] | Ramos, Isidro [editor.] | Abrah�ao, Silvia [editor.] | Insfran, Emilio [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
|
|
|
|
Modeling and Simulation of Complex Systems [electronic resource] : A Framework for Efficient Agent-Based Modeling and Simulation / by Robert Siegfried.
by Siegfried, Robert [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, 2014Online access: Click here to access online Availability: No items available
|
