- Software engineering
- Ingeniería de software 62
- Programming languages 28
- Lenguajes de programación 25
- Programming techniques 18
- Logics and meanings of programs 16
- Programación-Técnicas 16
- Mathematical logic 14
- Lógica y significado de programas 13
- Distributed systems 12
- Formal languages 12
- Sistemas distribuidos 12
- Management of computing and information systems 11
- Artificial intelligence 9
- Inteligencia artificial 9
- Lenguajes formales 9
- Lógica matemática 9
- Administración de sistemas de computación y de información 8
- Administrative data processing 8
- Operating systems 8
- Sistemas operativos 8
- Database management 7
- Procesamiento de datos administrativos 7
- Analysis of algorithms and problem complexity 6
- Concurrent programming 6
- Ingenieria de software 6
- Programas-Especificación 6
- Programs-Specification 6
- Análisis de algoritmos y problemas de complejidad 5
- Computation by abstract devices 5
-
1
-
2
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
3
Mathematical foundations of computer science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
4
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 software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /
Published 2009“…Lecture notes in computer science,…”
Conference Proceeding Book -
5
Mathematical foundations of computer science 1995 : 20th international symposium, MFCS'95 Prague, Czech Republic, August 28/September 1,1995 Proceeding /
Published 1995“…Lecture notes in computer science ;…”
Book -
6
Computer aided learning and instruction in science and engineering /
Published 1996Subjects:Conference Proceeding Book -
7
-
8
Parallel programming with MPI /
Published 1997Subjects: Publisher description
Table of contents
Book -
9
Document engineering : analyzing and designing documents for business informatics & Web services /
Published 2005Subjects: “…Text processing-Computer science…”
Book -
10
Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers /
Published 1996Subjects: “…Management of computing and information science.…”
Conference Proceeding Book -
11
Workflow management systems for process organisations /
Published 1998Subjects: “…Social and behavioral sciences.…”
Book -
12
-
13
Distributed software agents and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
14
Intelligent agent systems : theoretical and practical issues /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
15
Intelligent agents III : agent theories, architectures, and languages : ECAI’96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
16
Software agents and soft computing : towards enhancing machine intelligence; concepts and applications /
Published 1997“…Lecture notes in computer science ;…”
Book -
17
Agents breaking away /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
18
Intelligent agents II : agent theories, architectures and languages : JCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
19
An integrated approach to software engineering /
Published 2005“…Texts in computer science…”
Publisher description
Table of contents only
Book -
20