Results
|
|
281.
|
|
|
|
282.
|
Foundations of Software Science and Computation Structures [electronic resource] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / edited by Naoki Kobayashi, James Worrell. by Series: Lecture Notes in Computer Science ; 14575
Edition: 1st ed. 2024.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
283.
|
Programming Languages and Systems [electronic resource] : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / edited by Stephanie Weirich. by Series: Lecture Notes in Computer Science ; 14577
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
284.
|
Fundamental Approaches to Software Engineering [electronic resource] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings / edited by Dirk Beyer, Ana Cavalcanti. by Series: Lecture Notes in Computer Science ; 14573
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
285.
|
Programming Languages and Systems [electronic resource] : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / edited by Stephanie Weirich. by Series: Lecture Notes in Computer Science ; 14576
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
286.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / edited by Bernd Finkbeiner, Laura Kovács. by Series: Lecture Notes in Computer Science ; 14572
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
287.
|
Foundations of Software Science and Computation Structures [electronic resource] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / edited by Naoki Kobayashi, James Worrell. by Series: Lecture Notes in Computer Science ; 14574
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
288.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / edited by Bernd Finkbeiner, Laura Kovács. by Series: Lecture Notes in Computer Science ; 14570
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
289.
|
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education [electronic resource] : 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23–25, 2023, Proceedings / edited by Jean-Philippe Pellet, Gabriel Parriaux. by Series: Lecture Notes in Computer Science ; 14296
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
|
290.
|
Digital Health Transformation, Smart Ageing, and Managing Disability [electronic resource] : 20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, Proceedings / edited by Kim Jongbae, Mounir Mokhtari, Hamdi Aloulou, Bessam Abdulrazak, Lee Seungbok. by Series: Lecture Notes in Computer Science ; 14237
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
|
291.
|
Electronic Voting [electronic resource] : 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3–6, 2023, Proceedings / edited by Melanie Volkamer, David Duenas-Cid, Peter Rønne, Peter Y. A. Ryan, Jurlind Budurushi, Oksana Kulyk, Adrià Rodriguez Pérez, Iuliia Spycher-Krivonosova. by Series: Lecture Notes in Computer Science ; 14230
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
|
292.
|
|
|
|
293.
|
|
|
|
294.
|
|
|
|
295.
|
|
|
|
296.
|
|
|
|
297.
|
|
|
|
298.
|
|
|
|
299.
|
|
|
|
300.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I / edited by Sriram Sankaranarayanan, Natasha Sharygina. by Series: Lecture Notes in Computer Science ; 13993
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
