|
|
|
Software Architecture [electronic resource] : Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings / edited by Ronald Morrison, Dharini Balasubramaniam, Katrina Falkner.
by Morrison, Ronald [editor.] | Balasubramaniam, Dharini [editor.] | Falkner, Katrina [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
|
|
|
|
Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book.
by Gschwind, Thomas [editor.] | De Paoli, Flavio [editor.] | Gruhn, Volker [editor.] | Book, Matthias [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
|
|
|
|
Aliasing in Object-Oriented Programming [electronic resource] : Types, Analysis and Verification / edited by David Clarke, Tobias Wrigstad, James Noble.
by Clarke, David [editor.] | Wrigstad, Tobias [editor.] | Noble, James [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
|
|
|
|
Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman.
by Benzmüller, Christoph [editor.] | Ricca, Francesco [editor.] | Parent, Xavier [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Scala: From a Functional Programming Perspective [electronic resource] : An Introduction to the Programming Language / by Vicenç Torra.
by Torra, Vicenç [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings / edited by Tiago Massoni, Mohammad Reza Mousavi.
by Massoni, Tiago [editor.] | Mousavi, Mohammad Reza [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Agreement Technologies [electronic resource] : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers / edited by Marin Lujak.
by Lujak, Marin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Trends in Functional Programming [electronic resource] : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers / edited by David Van Horn, John Hughes.
by Van Horn, David [editor.] | Hughes, John [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Chatbot Research and Design [electronic resource] : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019, Revised Selected Papers / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg.
by Følstad, Asbjørn [editor.] | Araujo, Theo [editor.] | Papadopoulos, Symeon [editor.] | Law, Effie Lai-Chong [editor.] | Granmo, Ole-Christoffer [editor.] | Luger, Ewa [editor.] | Brandtzaeg, Petter Bae [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski.
by Wyrzykowski, Roman [editor.] | Deelman, Ewa [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Frontiers in Software Engineering Education [electronic resource] : First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers / edited by Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh.
by Bruel, Jean-Michel [editor.] | Capozucca, Alfredo [editor.] | Mazzara, Manuel [editor.] | Meyer, Bertrand [editor.] | Naumchev, Alexandr [editor.] | Sadovykh, Andrey [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / edited by Xipeng Shen, Frank Mueller, James Tuck.
by Shen, Xipeng [editor.] | Mueller, Frank [editor.] | Tuck, James [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / edited by Martina Seidl, Nikolai Tillmann.
by Seidl, Martina [editor.] | Tillmann, Nikolai [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Advances in Neural Networks -- ISNN 2010 [electronic resource] : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II / edited by James Kwok, Liqing Zhang, Bao-Liang Lu.
by Kwok, James [editor.] | Zhang, Liqing [editor.] | Lu, Bao-Liang [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
|
|
|
|
Intelligent Transport Systems [electronic resource] : 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings / edited by Ana Lucia Martins, Joao C. Ferreira, Alexander Kocian, Ulpan Tokkozhina, Berit Irene Helgheim, Svein Bråthen.
by Martins, Ana Lucia [editor.] | Ferreira, Joao C [editor.] | Kocian, Alexander [editor.] | Tokkozhina, Ulpan [editor.] | Helgheim, Berit Irene [editor.] | Bråthen, Svein [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
OpenMP: Conquering the Full Hardware Spectrum [electronic resource] : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings / edited by Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman.
by Fan, Xing [editor.] | de Supinski, Bronis R [editor.] | Sinnen, Oliver [editor.] | Giacaman, Nasser [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Modeling Programming Competency [electronic resource] : A Qualitative Analysis / by Natalie Kiesler.
by Kiesler, Natalie [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Cloud-Native Application Architecture [electronic resource] : Microservice Development Best Practice / by FreeWheel Biz-UI Team.
by Team, FreeWheel Biz-UI [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe.
by Calinescu, Radu [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe.
by Combemale, Benoit [editor.] | Cheng, Betty H.C [editor.] | France, Robert B [editor.] | Jézéquel, Jean-Marc [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
