- 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
-
341
Constraint databases and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
342
ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
343
Computer aided learning and instruction in science and engineering /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
344
Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Book -
345
Advances in cryptology - CRYPTO 1996 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
346
Object-based parallel and distributed computation /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
347
Field programmable logic : smart applications, new paradigms and compilers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
348
Teleservices and multimedia communications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
349
FME'96 : industrial benefit and advances in formal methods /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
350
Object technologies for advanced software /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
351
Computer aided systems theory - CAST'94 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
352
Automata, languages and programming /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
353
Digital signature schemes : general framework and fail-stop signatures /
Published 1996“…Lecture notes in computer science ;…”
Book -
354
-
355
Rewriting techniques and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
356
The programming language ADA : reference manual /
Published 1981“…Lecture notes in computer science ;…”
Book -
357
Parallel symbolic languages and systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
358
Graphics recognition : methods and applications, Rangachar Kasturi, Karl Tombre.
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
359
Artificial evolution : European conference, AE '95, Brest, France, September 4-6, 1995 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
360
Programming languages and systems-ESOP'96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book