- 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
-
141
Information systems and data management : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
142
Euro-Par '95 Parallel processing : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
143
Computer analysis of images and patterns : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
144
Bringing telecommunication services to the people - IS&N '95 : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
145
Rules in database systems : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
146
Computing and combinatorics : first annual international conference, COCOON'95, Xi'an, China, August 1995 : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
147
ECOOP '95, object-oriented programming : 9th European Conference, Aarhus, Denmark, August 7-11, 1995 : proceedings / /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
148
Object representation in computer vision : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
149
Principles and practice of constraint programming - CP'95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
150
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 -
151
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
152
CONCUR - 1995 : Concurrency theory : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
153
Advances in cryptology - EUROCRYPT '94 /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
154
Field-Programmable logic and applications /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
155
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Book -
156
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 -
157
Quantitative evaluation of computing and communication systems : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
158
Fast software encryption : second international workshop, Leuven, Belgium, December 14-16, 1994 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Book -
159
Job scheduling strategies for parallel processing : IPPS '95 Workshop, Santa Barbara, CA, USA, April 25, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
160
Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book