Results
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 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. by Sankaranarayanan, Sriram | Sharygina, Natasha. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. by Kupferman, Orna | Sobocinski, Pawel. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. by Lambers, Leen | Uchitel, Sebasti�an. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 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 II. by Sankaranarayanan, Sriram | Sharygina, Natasha. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. by Wies, Thomas. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
Digital Interaction and Machine Intelligence : Proceedings of MIDI'2022 - 10th Machine Intelligence and Digital Interaction - Conference, December 12-15, 2022, Warsaw, Poland (Online). by Biele, Cezary | Kacprzyk, Janusz | Kopeć, Wies�aw | Owsiński, Jan W | Romanowski, Andrzej | Sikorski, Marcin. Series: Lecture Notes in Networks and Systems SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
|
|
|
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. by Enea, Constantin | Lal, Akash. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. by Enea, Constantin | Lal, Akash. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. by Enea, Constantin | Lal, Akash. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
|