Caires, Luis.
Overview
| Works: | 8 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(1998 :); Caires, Luis.; SpringerLink (Online service)
(Electronic resources)
Formal Techniques for Distributed Objects, Components, and Systems38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
by:
(1998 :); Baier, Christel.; Caires, Luis.; SpringerLink (Online service)
(Electronic resources)
Programming languages and systems28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings /
by:
(1998 :); Caires, Luis.; SpringerLink (Online service)
(Electronic resources)
Subjects
Data Structures, Cryptology and Information Theory.
Theory of Computation.
Software Engineering.
Machine theory
Software Engineering/Programming and Operating Systems.
Electronic data processing
Data Structures.
Operating Systems.
Programming Techniques.
Computer programming
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Formal languages
Numeric Computing.
The Computing Profession.
Computer Science.
Discrete Mathematics in Computer Science.
Systems and Data Security.
Computer Communication Networks.
Computer System Implementation.
System Performance and Evaluation.