|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings / edited by Zied Bouraoui, Srdjan Vesic.
by Bouraoui, Zied [editor.] | Vesic, Srdjan [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2020 [electronic resource] : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings / edited by Luca Pulina, Martina Seidl.
by Pulina, Luca [editor.] | Seidl, Martina [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 Inference [electronic resource] : 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers / edited by Christopher L. Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Noor Sajid, Hideaki Shimazaki, Tim Verbelen, Martijn Wisse.
by Buckley, Christopher L [editor.] | Cialfi, Daniela [editor.] | Lanillos, Pablo [editor.] | Ramstead, Maxwell [editor.] | Sajid, Noor [editor.] | Shimazaki, Hideaki [editor.] | Verbelen, Tim [editor.] | Wisse, Martijn [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
|
|
|
|
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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings / edited by Catalin Dima, Mahsa Shirmohammadi.
by Dima, Catalin [editor.] | Shirmohammadi, Mahsa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
The Practice of Enterprise Modeling [electronic resource] : 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings / edited by João Paulo A. Almeida, Monika Kaczmarek-Heß, Agnes Koschmider, Henderik A. Proper.
by Almeida, João Paulo A [editor.] | Kaczmarek-Heß, Monika [editor.] | Koschmider, Agnes [editor.] | Proper, Henderik A [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
|
|
|
|
Ontology-Based Evolution of Domain-Oriented Languages [electronic resource] : Models, Methods and Tools for User Interface Design in General-Purpose Software Systems / by Eduard Babkin, Boris Ulitin.
by Babkin, Eduard [author.] | Ulitin, Boris [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 Nature Switzerland : Imprint: Springer, 2024Online 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
|
|
|
|
The Fundamental Research for Trustworthy Software [electronic resource] / edited by Jifeng He.
by He, Jifeng [editor.] | 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
|
|
|
|
ISTQB® Certified Tester Foundation Level [electronic resource] : A Self-Study Guide Syllabus v4.0 / by Lucjan Stapp, Adam Roman, Michaël Pilaeten.
by Stapp, Lucjan [author.] | Roman, Adam [author.] | Pilaeten, Michaël [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 Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning and Knowledge Extraction [electronic resource] : 4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Dublin, Ireland, August 25-28, 2020, Proceedings / edited by Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar Weippl.
by Holzinger, Andreas [editor.] | Kieseberg, Peter [editor.] | Tjoa, A Min [editor.] | Weippl, Edgar [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
|
|
|
|
Linking Theory and Practice of Digital Libraries [electronic resource] : 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20-23, 2022, Proceedings / edited by Gianmaria Silvello, Oscar Corcho, Paolo Manghi, Giorgio Maria Di Nunzio, Koraljka Golub, Nicola Ferro, Antonella Poggi.
by Silvello, Gianmaria [editor.] | Corcho, Oscar [editor.] | Manghi, Paolo [editor.] | Di Nunzio, Giorgio Maria [editor.] | Golub, Koraljka [editor.] | Ferro, Nicola [editor.] | Poggi, Antonella [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Euro-Par 2021: Parallel Processing [electronic resource] : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings / edited by Leonel Sousa, Nuno Roma, Pedro Tomás.
by Sousa, Leonel [editor.] | Roma, Nuno [editor.] | Tomás, Pedro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings / edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov.
by Lin, Anthony W [editor.] | Zetzsche, Georg [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings / edited by Silvia Lizeth Tapia Tarifa, José Proença.
by Tapia Tarifa, Silvia Lizeth [editor.] | Proença, José [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : Proceedings of PDCAT 2023 / edited by Ji Su Park, Hiroyuki Takizawa, Hong Shen, James J. Park.
by Park, Ji Su [editor.] | Takizawa, Hiroyuki [editor.] | Shen, Hong [editor.] | Park, James J [editor.] | 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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings / edited by Haniel Barbosa, Yoni Zohar.
by Barbosa, Haniel [editor.] | Zohar, Yoni [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II / edited by Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi, Xiaozhou Li.
by Kadgien, Regine [editor.] | Jedlitschka, Andreas [editor.] | Janes, Andrea [editor.] | Lenarduzzi, Valentina [editor.] | Li, Xiaozhou [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I / edited by Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi, Xiaozhou Li.
by Kadgien, Regine [editor.] | Jedlitschka, Andreas [editor.] | Janes, Andrea [editor.] | Lenarduzzi, Valentina [editor.] | Li, Xiaozhou [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
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2022 [electronic resource] : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
