語系
Lanese, Ivan.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
Reversible Computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings /
by:
Rawski, Mariusz.; Lanese, Ivan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
by:
Devitt, Simon.; SpringerLink (Online service); Lanese, Ivan.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
主題
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.
Application software.
Computers.
Operating systems (Computers).
Programming Languages, Compilers, Interpreters.
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.
Computer simulation.
Special purpose computers.
Management of Computing and Information Systems.
Computer communication systems.
Computer logic
Special Purpose and Application-Based Systems.
Quantum Computing.
Electronic data processing
Simulation and Modeling.
Computer science.
Management information systems.
Logic design.
Programming languages (Electronic computers)
Programming languages (Electronic computers).
Computation by Abstract Devices.