Languages
Lanese, Ivan.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
by:
Ulidowski, Irek.; Schultz, Ulrik Pagh.; SpringerLink (Online service); Lanese, Ivan.; Ferreira, Carla.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Lanese, Ivan.; Devitt, Simon.
(Language materials, printed)
Reversible Computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings /
by:
Rawski, Mariusz.; Lanese, Ivan.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Lanese, Ivan.; Madelaine, Eric.; SpringerLink (Online service)
(Language materials, printed)
Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
by:
Devitt, Simon.; SpringerLink (Online service); Lanese, Ivan.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
SpringerLink (Online service); Lanese, Ivan.; Albert, Elvira.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
by:
SpringerLink (Online service); Madelaine, Eric.; Lanese, Ivan.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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.; Workshop on the Preservation of Stability under Discretization ((2001 :); Lanese, Ivan.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Computer System Implementation.
Computer Communication Networks.
Software engineering.
Logic Design.
Programming Techniques.
Reversible computing
Computer programming.
Computer Systems Organization and Communication Networks.
Component software
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Algorithms.
Quantum computers.
Computer simulation.
Special purpose computers.
Management of Computing and Information Systems.
Computer communication systems.
Computer logic
Application software.
Special Purpose and Application-Based Systems.
Quantum Computing.
Electronic data processing
Simulation and Modeling.
Computer science.
Management information systems.
Logic design.
Computers.
Operating systems (Computers).
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computation by Abstract Devices.
Software Engineering.
Data Structures and Information Theory.
Computer logic.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Information Systems Applications (incl. Internet).
Data structures (Computer science).
Architecture, Computer.
Computer Science.