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