Luís Caires – författare
Visar alla böcker från författaren Luís Caires. Handla med fri frakt och snabb leverans.
9 produkter
Programming Languages and Systems
28th 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
Av Luís Caires
Häftad, 2019
567 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
Formal Techniques for Distributed Objects, Components, and Systems
38th 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
Av Christel Baier, Luís Caires
Häftad, 2018
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, …
Formal Techniques for Distributed Objects, Components, and Systems
38th 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
Av Luis Caires, Christel Baier
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, …
Automata, Languages and Programming
32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
Av Luis Caires, Guiseppe F. Italiano m. fl.
2005
1331 kr
Lägg i varukorg
The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin …
Automata, Languages and Programming
32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
Av Moti Yung, Catuscia Palamidessi m. fl.
E-bok, 2005
1416 kr
Lägg i varukorg
The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin …
CONCUR 2007 - Concurrency Theory
18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
Av Luís Caires, Vasco T. Vasconcelos
Häftad, 2007
568 kr
Lägg i varukorg
This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, …
CONCUR 2007 - Concurrency Theory
18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
Av Vasco T. Vasconcelos, Luis Caires
E-bok, 2007
755 kr
Lägg i varukorg
