Languages
Lluch Lafuente, Alberto.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Coordination Models and Languages = 18th IFIP WG 6.1 International Conference, COORDINATION 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:
Lluch Lafuente, Alberto.; Proença, José.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Trustworthy global computing = 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Abadi, Martin.; Lluch Lafuente, Alberto.; SpringerLink (Online service)
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
Mavridou, Anastasia.; Lluch Lafuente, Alberto.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
Lluch Lafuente, Alberto.; Mavridou, Anastasia.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Coordination models and languages = 18th IFIP WG 6.1 International Conference, COORDINATION 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:
Proenca, Jose.; SpringerLink (Online service); Lluch Lafuente, Alberto.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Computer organization.
Computer engineering.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Artificial intelligence.
Software engineering.
Theory of Computation.
Computer networks
Computer Science.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Computer programming
Compilers and Interpreters.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Algorithms.
Computer Engineering and Networks.
Computer security
Artificial Intelligence.
Electronic data processing
Computer science.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Software architecture
Compilers (Computer programs).
Computer software