Your search returned 6 results.

Not what you expected? Check for suggestions

Results
	1.	Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings / Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.). by IFIP International Conference on Theoretical Computer Science (8th : 2014 : Rome, Italy) Díaz, J. (Josep), 1950- [editor.] Lanese, Ivan [editor.] Sangiorgi, Davide [editor.] Series: Lecture notes in computer science ; 8705. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, 2014 Other title: TCS 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers / Ivan Lanese, Eric Madelaine (eds.). by FACS (Symposium) (11th : 2014 : Bertinoro, Italy) Lanese, Ivan [editor.] Madelaine, Eric [editor.] Series: Lecture notes in computer science ; 8997. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2015]Copyright date: ©2015 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Formal techniques for distributed systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, proceedings / Elvira Albert, Ivan Lanese (eds.). by FORTE (Conference) (36th : 2016 : Ērakleion, Greece) Albert, Elvira [editor.] Lanese, Ivan [editor.] International Federated Conferences on Distributed Computing Techniques (11th : 2016 : Ērakleion, Greece) Series: LNCS sublibrary. SL 2, Programming and software engineering. \| Lecture notes in computer science ; 9688. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: FORTE 2016 DisCoTec 2013 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Reversible computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / edited by Simon Devitt, Ivan Lanese. by RC (Workshop : Reversible computation) (8th : 2016 : Bologna, Italy) Devitt, Simon [editor.] Lanese, Ivan [editor.] Series: Lecture notes in computer science ; 9720. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2016 Other title: RC 2016 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Reversible computation : extending horizons of computing : selected results of the COST Action IC1405 / Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira (eds.). by Ulidowski, Irek [editor.] Lanese, Ivan [editor.] Schultz, Ulrik Pagh [editor.] Ferreira, Carla [editor.] Series: Lecture notes in computer science ; 12070. \| 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 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	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: Lecture notes in computer science ; 12227. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2020 Other title: RC 2020 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha