Results
|
|
1.
|
|
|
|
2.
|
Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Cormac Flanagan, Barbara König (eds.). by Series: Lecture notes in computer science ; 7214. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2012
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
3.
|
|
|
|
4.
|
Foundations of software science and computation structures : 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings / Jean Goubault-Larrecq, Barbara König (eds.). by Series: Lecture notes in computer science ; 12077. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer Open, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
5.
|
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).
|