Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Results
Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / Dang Van Hung, Oleg Sokolsky (eds.).

by ATVA (Symposium) (18th : 2020 : Hanoi, Vietnam) | Dang, Hung Van, 1950- [editor.] | Sokolsky, Oleg [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12302. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer Nature eBookMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: ATVA 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / Dang Van Hung, Oleg Sokolsky (eds.).

by ATVA (Symposium) (18th : 2020 : Hanoi, Vietnam) | Dang, Hung Van, 1950- [editor.] | Sokolsky, Oleg [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12302. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer Nature eBookMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: ATVA 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Principles and practice of constraint programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker.

by CP (Conference) (24th : 2018 : Lille, France) | Hooker, John, 1949- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11008. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2018Other title: CP 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday / Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner (eds.).

by Blass, Andreas, 1947- | Cégielski, Patrick, 1954- | Dershowitz, Nachum | Droste, Manfred, 1956- | Finkbeiner, Bernd.

Series: Serienbezeichnung | Lecture notes in computer science ; 12180. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Cham : Springer, 2020Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Reversible computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / edited by Ivan Lanese, Mariusz Rawski.

by RC (Workshop : Reversible Computation) (12th : 2020 : Online) | Lanese, Ivan | Rawski, Mariusz.

Series: Serienbezeichnung | Lecture notes in computer science ; 12227. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cham : Springer, 2020Other title: RC 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Reversible computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / edited by Ivan Lanese, Mariusz Rawski.

by RC (Workshop : Reversible Computation) (12th : 2020 : Online) | Lanese, Ivan | Rawski, Mariusz.

Series: Serienbezeichnung | Lecture notes in computer science ; 12227. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cham : Springer, 2020Other title: RC 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha