- Ingeniería de software
- Software engineering 42
- Lenguajes de programación 29
- Programming languages 28
- Programación-Técnicas 14
- Programming techniques 14
- Lógica y significado de programas 10
- Logics and meanings of programs 9
- Formal languages 7
- Lenguajes formales 7
- Lógica matemática 7
- Mathematical logic 7
- Operating systems 7
- Sistemas operativos 7
- Analysis of algorithms and problem complexity 5
- Computation by abstract devices 5
- Distributed systems 5
- Sistemas distribuidos 5
- Análisis de algoritmos y problemas de complejidad 4
- Database management 4
- Programas-Especificación 4
- Programming languages-Formal definitions and theory 4
- Programs-Specification 4
- Administración de base de datos 3
- Administrative data processing 3
- Artificial intelligence 3
- Computación mediante dispositivos abstractos 3
- Concurrent programming 3
- Discrete mathematics 3
- Inteligencia artificial 3
-
1
-
2
-
3
-
4
-
5
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures /
Published 2009Subjects:Conference Proceeding Book -
6
KORSO : methods, languages and tools for the construction of correct software. Final Report /
Published 1995Subjects:Book -
7
Mastering Enterprise JavaBeans /
Published 2005Subjects: Table of contents only
Contributor biographical information
Publisher description
Book -
8
-
9
-
10
-
11
Software development with Z : a practical approach to formal methods of software engineering /
Published 1992Subjects:Book -
12
-
13
-
14
-
15
Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /
Published 1995Subjects:Conference Proceeding Book -
16
ADA 95 reference manual : language and standard libraries : international standard ISO/IEC 8652 : 1995(E) /
Published 1995Subjects:Book -
17
-
18
Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of...
Published 2009Subjects:Conference Proceeding Book -
19
Intelligent agents II : agent theories, architectures and languages : JCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings
Published 1996Conference Proceeding Book -
20
Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Bra...
Published 2007Subjects: Unedited summary from book
Table of contents only
Publisher description
Conference Proceeding Book