Results
|
|
6041.
|
Computational science and its applications -- ICCSA 2024 Workshops : Hanoi, Vietnam, July 1-4, 2024, Proceedings. Part XI / Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago, editors. by Series: Lecture notes in computer science ; 14825.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer, 2024
Availability: Items available for loan: e-Library (1).
|
|
|
6042.
|
Computational science and its applications -- ICCSA 2024 Workshops : Hanoi, Vietnam, July 1-4, 2024, Proceedings. Part II / Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago, editors. by Series: Lecture notes in computer science ; 14816.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2024
Availability: Items available for loan: e-Library (1).
|
|
|
6043.
|
Computational science and its applications -- ICCSA 2024 Workshops : Hanoi, Vietnam, July 1-4, 2024, Proceedings. Part I / Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago, editors. by Series: Lecture notes in computer science ; 14815.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2024
Availability: Items available for loan: e-Library (1).
|
|
|
6044.
|
|
|
|
6045.
|
Computational Science and Its Applications -- ICCSA 2024 Workshops : Hanoi, Vietnam, July 1-4, 2024, Proceedings. Part IX / Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago, editors. by Series: Lecture notes in computer science ; 14823.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2024
Availability: Items available for loan: e-Library (1).
|
|
|
6046.
|
Coalgebraic methods in computer science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, proceedings / Barbara König, Henning Urbat, editors. by Series: Lecture notes in computer science ; 14617.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|
|
|
6047.
|
Verified software. Theories, tools and experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers / Andrew Reynolds, Serdar Tasiran, editors. by Series: Lecture notes in computer science ; 14095.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|
|
|
6048.
|
Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, proceedings. Part II / Arie Gurfinkel, Vijay Ganesh, editors. by Series: Lecture notes in computer science ; 14682.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|
|
|
6049.
|
Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, proceedings. Part I / Arie Gurfinkel, Vijay Ganesh, editors. by Series: Lecture notes in computer science ; 14681.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|
|
|
6050.
|
Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, proceedings. Part III / Arie Gurfinkel, Vijay Ganesh, editors. by Series: Lecture notes in computer science ; 14683.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|
|
|
6051.
|
Computational science and its applications - ICCSA 2024 workshops : Hanoi, Vietnam, July 1-4, 2024, proceedings. Part X / Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago, editors. by Series: Lecture notes in computer science ; 14824.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|
|
|
6052.
|
Computational science and its applications - ICCSA 2024 workshops : Hanoi, Vietnam, July 1-4, 2024, proceedings. Part VI / Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago, editors. by Series: Lecture notes in computer science ; 14820.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|
|
|
6053.
|
Computational science and its applications - ICCSA 2024 workshops : Hanoi, Vietnam, July 1-4, 2024, proceedings. Part VIII / Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago, editors. by Series: Lecture notes in computer science ; 14822.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|
|
|
6054.
|
Computational science and its applications - ICCSA 2024 workshops : Hanoi, Vietnam, July 1-4, 2024, proceedings. Part III / Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago, editors. by Series: Lecture notes in computer science ; 14817.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|
|
|
6055.
|
Computational science and its applications - ICCSA 2024 workshops : Hanoi, Vietnam, July 1-4, 2024, proceedings. Part V / Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago, editors. by Series: Lecture notes in computer science ; 14819.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|
|
|
6056.
|
Mathematical software -- ICMS 2024 : 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings / Kevin Buzzard, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Ren, editors. by Series: Lecture notes in computer science ; 14749.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2024
Availability: Items available for loan: e-Library (1).
|
|
|
6057.
|
Reuse and software quality : 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings / Achilleas Achilleos, Lidia Fuentes, George Angelos Papadopoulos, editors. by Series: Lecture notes in computer science ; 14614.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2024
Availability: Items available for loan: e-Library (1).
|
|
|
6058.
|
|
|
|
6059.
|
Computational science and its applications -- ICCSA 2024 : 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings. Part I / Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago, editors. by Series: Lecture notes in computer science ; 14813.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2024
Availability: Items available for loan: e-Library (1).
|
|
|
6060.
|
|