- 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
-
1341
-
1342
Computer science logic /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1343
Reliable software technologies -ADA-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1344
Algorithm theory - SWAT'96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1345
Workflow management systems for process organisations /
Published 1998“…Lecture notes in computer science ;…”
Book -
1346
ECOOP '96, object-oriented programming : 10th European conference, Linz, Austria, July 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1347
Application and theory of Petri Nets 1996 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1348
Hybrid systems III : verification and control /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1349
Intelligent tutoring systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1350
Advanced information systems engineering : 8th international conference, CAiSE '96, Heraklion, Crete, Greece, May 20-24, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1351
Multimedia, hypermedia and virtual reality : models, systems and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1352
Integer programming and combinatorial optimization /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1353
Higher-order algebra, logic and term rewriting /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1354
KORSO : methods, languages and tools for the construction of correct software. Final Report /
Published 1995“…Lecture notes in computer science ;…”
Book -
1355
SOFSEM'95 : theory and practice /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1356
Spatial representation and motion planning /
Published 1995“…Lecture notes in computer science ;…”
Book -
1357
Human-computer interaction : 5th international conference , EWHCI ’95, Moscow, Russia, July 3-7, 1995 : selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1358
Coordination languages and models /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1359
Graph-theoretic concepts in computer science /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1360
Network and operating systems support for digital audio and video /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book