- Programming languages 83
- Artificial intelligence 81
- Inteligencia artificial 81
- Lenguajes de programación 78
- Mathematical logic 77
- Logics and meanings of programs 74
- Lógica matemática 73
- Software engineering 73
- Formal languages 68
- Lógica y significado de programas 68
- Lenguajes formales 62
- Ingeniería de software 60
- Analysis of algorithms and problem complexity 50
- Análisis numérico 48
- Análisis de algoritmos y problemas de complejidad 47
- Discrete mathematics 45
- Computer networks 43
- Mathematical logic-Computation 43
- FILOSOFIA DE LA CIENCIA 42
- Programming techniques 42
- Redes de computadoras 42
- Computation by abstract devices 41
- Lógica matemática-Computación 41
- Matemática discreta 40
- Deducción y prueba de teoremas 39
- Ecuaciones diferenciales parciales 39
- Database management 38
- Deduction and theorem proving 38
- Numerical analysis 38
- Computación mediante dispositivos abstractos 36
-
1321
Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Book -
1322
Advances in cryptology - CRYPTO 1996 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1323
Object-based parallel and distributed computation /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1324
Field programmable logic : smart applications, new paradigms and compilers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1325
Teleservices and multimedia communications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1326
FME'96 : industrial benefit and advances in formal methods /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1327
Object technologies for advanced software /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1328
Computer aided systems theory - CAST'94 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1329
Automata, languages and programming /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1330
Digital signature schemes : general framework and fail-stop signatures /
Published 1996“…Lecture notes in computer science ;…”
Book -
1331
-
1332
Rewriting techniques and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1333
The programming language ADA : reference manual /
Published 1981“…Lecture notes in computer science ;…”
Book -
1334
Parallel symbolic languages and systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1335
Graphics recognition : methods and applications, Rangachar Kasturi, Karl Tombre.
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1336
Artificial evolution : European conference, AE '95, Brest, France, September 4-6, 1995 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1337
Programming languages and systems-ESOP'96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1338
Advances in database-technology - EDBT'96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1339
High-performance computing and networking /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1340
Towards evolvable hardware : the evolutionary engineering approach /
Published 1996“…Lecture notes in computer science ;…”
Book