- 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
-
161
Spatial information theory : a theoretical basis for GIS /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
162
Logic and computational complexity : selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
163
Algorithms and data structures : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
164
Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
165
Evolutionary computing : AISB Workshop, Brighton, U.K., April 3-4, 1995 : selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
166
Exploitation of fine-grain parallelism /
Published 1995“…Lecture notes in computer science ;…”
Book -
167
Advances in cryptology - CRYPTO 1995 : 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
168
Programming languages : implementations, logics and programs : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
169
Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers...
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
170
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 -
171
Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
172
-
173
Parallel algorithms for irregularly structured problems : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
174
The complexity of simple computer architectures /
Published 1995“…Lecture notes in computer science ;…”
Book -
175
Information management in computer integrated manufacturing : a comprehensive guide to state-of-the-art CIM solutions /
Published 1995“…Lecture notes in computer science ;…”
Book -
176
Computer science today : recent trends and developments /
Published 1995“…Lecture notes in computer science ;…”
Book -
177
Cryptography : proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29-April 2, 1982 /
Published 1983“…Lecture notes in computer science ;…”
Conference Proceeding Book -
178
-
179
Artificial neural networks : INCANN 96 : 1996 international conference, Bochum, Germany, July 16-19, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
180
Job scheduling strategies for parallel processing : IPPS/SPDP '98 Workshop, Orlando, Florida, USA, March 30, 1998 : proceedings /
Published 1998“…Lecture notes in computer science ;…”
Conference Proceeding Book