Suggested Topics within your search.
Suggested Topics within your search.
- Ingeniería de software
- Software engineering 60
- Lenguajes de programación 24
- Programming languages 23
- Programación-Técnicas 15
- Programming techniques 15
- Distributed systems 11
- Lógica y significado de programas 11
- Sistemas distribuidos 11
- Logics and meanings of programs 10
- Artificial intelligence 9
- Inteligencia artificial 9
- Administración de sistemas de computación y de información 8
- Administrative data processing 8
- Management of computing and information systems 8
- Formal languages 7
- Lenguajes formales 7
- Lógica matemática 7
- Mathematical logic 7
- Operating systems 7
- Procesamiento de datos administrativos 7
- Sistemas operativos 7
- Analysis of algorithms and problem complexity 6
- Database management 6
- Programas-Especificación 6
- Programs-Specification 6
- Análisis de algoritmos y problemas de complejidad 5
- Computation by abstract devices 5
- Concurrent programming 5
- Programación concurrente 5
-
1
Distributed software agents and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
Intelligent agent systems : theoretical and practical issues /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
3
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 -
4
Software agents and soft computing : towards enhancing machine intelligence; concepts and applications /
Published 1997“…Lecture notes in computer science ;…”
Book -
5
Agents breaking away /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
6
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 -
7
-
8
-
9
Fundamental approaches to software engineering : 9th International Conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...
Published 2006“…Lecture notes in computer science,…”
Conference Proceeding eBook -
10
ZUM '95... the Z formal specification notation : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
11
Software development with Z : a practical approach to formal methods of software engineering /
Published 1992“…International computer science series…”
Book -
12
-
13
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 2007“…Lecture notes in computer science…”
Unedited summary from book
Table of contents only
Publisher description
Conference Proceeding Book -
14
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 2009“…Lecture notes in computer science,…”
Conference Proceeding Book -
15
Software Product Lines : Going Beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : Proceedings /
Published 2010“…Lecture notes in computer science ;…”
Conference Proceeding Book -
16
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures...
Published 2009“…Lecture notes in computer science,…”
Conference Proceeding Book -
17
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 -
18
Software engineering - ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
19
Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
20
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