Languages
Lanese, Ivan.
Overview
| Works: | 0 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Theoretical computer science = 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
Diaz, Josep.; Lanese, Ivan.; Sangiorgi, Davide.; SpringerLink (Online service)
(Electronic resources)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
Devitt, Simon.; Lanese, Ivan.; SpringerLink (Online service)
(Electronic resources)
Reversible computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings /
by:
RC (Workshop : Reversible Computation) (2020 :); Lanese, Ivan.; Rawski, Mariusz.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for distributed objects components, and 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 /
by:
Albert, Elvira.; Lanese, Ivan.; SpringerLink (Online service)
(Electronic resources)
Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
Lanese, Ivan.; Madelaine, Eric.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Computer logic.
Quantum computers.
Data Structures and Information Theory.
Logics and Meanings of Programs.
Component software
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Management of Computing and Information Systems.
Information Systems Applications (incl. Internet)
Computers.
Computer science- Mathematics
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer logic
Logic design.
Programming languages (Electronic computers)
Algorithms.
Logic Design.
Numeric Computing.
Computer science
Electronic data processing- Distributed processing
Computer Science.
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Reversible computing
Computer science.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.