- 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
-
361
Advances in database-technology - EDBT'96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
362
High-performance computing and networking /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
363
Towards evolvable hardware : the evolutionary engineering approach /
Published 1996“…Lecture notes in computer science ;…”
Book -
364
-
365
Computer science logic /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
366
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 -
367
Algorithm theory - SWAT'96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
368
Workflow management systems for process organisations /
Published 1998“…Lecture notes in computer science ;…”
Book -
369
ECOOP '96, object-oriented programming : 10th European conference, Linz, Austria, July 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
370
Application and theory of Petri Nets 1996 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
371
Hybrid systems III : verification and control /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
372
Intelligent tutoring systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
373
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 -
374
Multimedia, hypermedia and virtual reality : models, systems and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
375
Integer programming and combinatorial optimization /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
376
Higher-order algebra, logic and term rewriting /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
377
KORSO : methods, languages and tools for the construction of correct software. Final Report /
Published 1995“…Lecture notes in computer science ;…”
Book -
378
SOFSEM'95 : theory and practice /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
379
Spatial representation and motion planning /
Published 1995“…Lecture notes in computer science ;…”
Book -
380
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