|
|
|
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez.
by Atig, Mohamed Faouzi [editor.] | Bensalem, Saddek [editor.] | Bliudze, Simon [editor.] | Monsuez, Bruno [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
|
|
|
|
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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
by Dimitrova, Rayna [editor.] | Lahav, Ori [editor.] | Wolff, Sebastian [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
by Dimitrova, Rayna [editor.] | Lahav, Ori [editor.] | Wolff, Sebastian [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
|
|
|
|
Tools and Methods of Program Analysis [electronic resource] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers / edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova.
by Yavorskiy, Rostislav [editor.] | Cavalli, Ana Rosa [editor.] | Kalenkova, Anna [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
|
|
|
|
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
|
|
|
|
R-Calculus, V: Description Logics [electronic resource] / by Wei Li, Yuefei Sui.
by Li, Wei [author.] | Sui, Yuefei [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
|
|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers / edited by Nina Gierasimczuk, Fernando R. Velázquez-Quesada.
by Gierasimczuk, Nina [editor.] | Velázquez-Quesada, Fernando R [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
|
|
|
|
Mathematical Software - ICMS 2018 [electronic resource] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban.
by Davenport, James H [editor.] | Kauers, Manuel [editor.] | Labahn, George [editor.] | Urban, Josef [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
|
|
|
|
New Opportunities for Software Reuse [electronic resource] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina.
by Capilla, Rafael [editor.] | Gallina, Barbara [editor.] | Cetina, Carlos [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
|
|
|
|
Numerical Software Verification [electronic resource] : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings / edited by Majid Zamani, Damien Zufferey.
by Zamani, Majid [editor.] | Zufferey, Damien [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
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings / edited by Gabriele Kern-Isberner, Zoran Ognjanović.
by Kern-Isberner, Gabriele [editor.] | Ognjanović, Zoran [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
|
|
|
|
Data Structures and Algorithms with Python [electronic resource] : With an Introduction to Multiprocessing / by Kent D. Lee, Steve Hubbard.
by Lee, Kent D [author.] | Hubbard, Steve [author.] | SpringerLink (Online service). Edition: 2nd 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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron.
by Leporati, Alberto [editor.] | Martín-Vide, Carlos [editor.] | Shapira, Dana [editor.] | Zandron, Claudio [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
|
|
|
|
OpenMP: Portable Multi-Level Parallelism on Modern Systems [electronic resource] : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020, Proceedings / edited by Kent Milfeld, Bronis R. de Supinski, Lars Koesterke, Jannis Klinkenberg.
by Milfeld, Kent [editor.] | de Supinski, Bronis R [editor.] | Koesterke, Lars [editor.] | Klinkenberg, Jannis [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
|
|
|
|
Active Object Languages: Current Research Trends [electronic resource] / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan.
by de Boer, Frank [editor.] | Damiani, Ferruccio [editor.] | Hähnle, Reiner [editor.] | Broch Johnsen, Einar [editor.] | Kamburjan, Eduard [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
|
|
|
|
Model-Based Safety and Assessment [electronic resource] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings / edited by Marc Zeller, Kai Höfig.
by Zeller, Marc [editor.] | Höfig, Kai [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
|
