|
Showing 1 - 3 of
3 matches in All Departments
This book constitutes the refereed proceedings of the 11th Latin
American Symposium on Theoretical Informatics, LATIN 2014, held in
Montevideo, Uruguay, in March/April 2014. The 65 papers presented
together with 5 abstracts were carefully reviewed and selected from
192 submissions. The papers address a variety of topics in
theoretical computer science with a certain focus on complexity,
computational geometry, graph drawing, automata, computability,
algorithms on graphs, algorithms, random structures, complexity on
graphs, analytic combinatorics, analytic and enumerative
combinatorics, approximation algorithms, analysis of algorithms,
computational algebra, applications to bioinformatics, budget
problems and algorithms and data structures.
|
Language Engineering and Rigorous Software Development - International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers (Paperback, 2009 ed.)
Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto
|
R1,562
Discovery Miles 15 620
|
Ships in 10 - 15 working days
|
This volume contains the lecture notes from the courses o?ered at
the Inter- tional Summer School on Language Engineering and
Rigorous Software De- lopment, held in Piriap ' olis, Uruguay, from
February 25 to March 1, 2008. The aim of the schoolwasthe
dissemination of advancedscienti?c knowledge in the areas of
programming languages and rigorous methods for software -
velopment. The school was oriented to computer science graduate
students and
researchers,withaninterestinformaltechniquesforthedesignandconstruction
of software systems as well as programming languages. The school
was organized in the context of the LERnet (Language En- neering
and Rigorous Software Development) project. LERnet is a project of
the ALFA programme of the European Commission for co-operation
between higher education institutions of the European Union and
Latin America. The institutions that participate in the LERnet
project are the following: - Chalmers Tekniska H.. ogskola, Sweden
- Institut National de la Recherche en Informatique et Automatique
(INRIA), France - Universidad de Castilla-La Mancha, Spain -
Universidad Catol ' ica de Santiago del Estero, Argentina -
Universidad EAFIT, Colombia - Universidade Federal de Minas Gerais,
Brazil - Universidade do Minho, Portugal - Universidad Nacional de
San Luis, Argentina - Universidad Polit' ecnica de Valencia, Spain
- Universidad de la Republica ' , Uruguay - Universiteit Utrecht,
The Netherlands The project oversees the mobility of PhD students
from Latin America to the European Union and vice versa for a
period of up to 18 months, to pursue
This book constitutes the proceedings of the 19th Brazilian
Symposium on Progamming Languages, SBLP 2015, held in Belo
Horizonte, Brazil, in September 2015. The 10 papers presented in
this volume were carefully reviewed and selected from 26
submissions. They deal with fundamental principles and innovations
in the design and implementation of programming languages and
systems.
|
You may like...
Hampstead
Diane Keaton, Brendan Gleeson, …
DVD
R66
Discovery Miles 660
|