- Artificial intelligence 73
- Inteligencia artificial 73
- Software engineering 62
- Logics and meanings of programs 58
- Lógica y significado de programas 55
- Programming languages 55
- Ingeniería de software 51
- Lenguajes de programación 51
- Analysis of algorithms and problem complexity 45
- Análisis de algoritmos y problemas de complejidad 43
- Mathematical logic 43
- Computer networks 40
- Formal languages 39
- Lógica matemática 39
- Redes de computadoras 39
- Computation by abstract devices 38
- Deducción y prueba de teoremas 38
- Deduction and theorem proving 37
- Discrete mathematics 37
- Database management 36
- Lenguajes formales 36
- Mathematical logic-Computation 36
- Computación mediante dispositivos abstractos 34
- Data encryption 34
- Lógica matemática-Computación 34
- Sistemas distribuidos 34
- Distributed systems 33
- Matemática discreta 33
- Programming techniques 33
- Administrative data processing 32
-
61
Advances in knowledge acquisition : 9th European Knowledge Acquisition Workshop, EKAW ’96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
62
Advances in artificial intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'96 Toronto, Ontario, Canada, May 21-24, 1996 :...
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
63
Progress in case-based reasoning : first United Kingdom workshop, Salford, UK, January 12, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Book -
64
Advances in fuzzy logic, neural networks and genetic algorithms : EEE/Nagoya University World Wisepersons Workshop, Nagoya, Japan, August 9-10, 1994 : selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
65
Theorem proving with analytic tableaux and related methods /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
66
25 years of model checking : history, achievements, perspectives /
Published 2008“…Lecture notes in computer science,…”
Book -
67
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice...
Published 2009“…Lecture notes in computer science ;…”
Conference Proceeding Book -
68
Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published 2007“…Lecture notes in computer science,…”
Publisher description
Conference Proceeding Book -
69
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 -
70
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006“…Lecture notes in computer science ;…”
Conference Proceeding Book -
71
Conditional and typed rewriting systems : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
72
ZUM '95... the Z formal specification notation : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
73
Algebraic and logic programming /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
74
Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
75
Computer science logic /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
76
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
Published 1994“…Lecture notes in computer science ;…”
Book -
77
Process algebra and probabilistic methods : perfomance modeling and verification /
Published 2002“…Lecture notes in computer science ;…”
Conference Proceeding Book -
78
Applied semantics /
Published 2002“…Lecture notes in computer science ;…”
Conference Proceeding Book -
79
CONCUR - 2003 : Concurrency theory /
Published 2003“…Lecture notes in computer science ;…”
Conference Proceeding Book -
80
Formal methods for real-time and probabilistic systems /
Published 1999“…Lecture notes in computer science ;…”
Conference Proceeding Book