Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
Sailing routes in the world of computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018, Proceedings / Florin Manea, Russell G. Miller, Dirk Nowotka (eds.). by Series: Lecture notes in computer science ; 10936. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
5.
|
Computing with foresight and industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings / Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.). by Series: Lecture notes in computer science ; 11558. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2019]
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
6.
|
Beyond the horizon of computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings / Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly (eds.). by Series: Lecture notes in computer science ; 12098. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Cham : Springer, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
7.
|
Connecting with computability : 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021, Proceedings / Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque (eds.). by Series: Lecture notes in computer science ; 12813. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2021]
Availability: Items available for loan: e-Library (1).
|
|
|
8.
|
Unity of logic and computation : 19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023, proceedings / Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea, editors. by Series: Lecture notes in computer science ; 13967.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2023]Copyright date: ©2023
Availability: Items available for loan: e-Library (1).
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
Twenty years of theoretical and practical synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings / Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea, editors. by Series: Lecture notes in computer science ; 14773. | Lecture notes in computer science. Advanced research in computing and software science.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2024
Availability: Items available for loan: e-Library (1).
|