- 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
-
221
Managing information highways : the PRISM book : principles, methods and case studies for designing telecomunications management systems /
Published 1996“…Lecture notes in computer science ;…”
Book -
222
Algorithmic foundations of geographic information systems /
Published 1997“…Lecture notes in computer science ;…”
Book -
223
Evolution of parallel cellular machines : the cellular programming approach.
Published 1997“…Lecture notes in computer science ;…”
Book -
224
Disconnected operation in a distributed file system /
Published 1995“…Lecture notes in computer science ;…”
Book -
225
Advances in intelligent data analysis : reasoning about data /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
226
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
227
Worldwide computing and its applications - WWCA'98 /
Published 1998“…Lecture notes in computer science ;…”
Conference Proceeding Book -
228
Advances in spatial databases /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
229
Computer science logic /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
230
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht /
Published 1997“…Lecture notes in computer science ;…”
Book -
231
Parallel computing technologies /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
232
Automata implementation /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
233
Computing and combinatorics /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
234
Computer aided verification : proceedindings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
235
Solving irregularly structured problems in parallel /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
236
Scale-space theory in computer vision /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
237
Evolvable systems : from biology to hardware /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
238
Combinatorial pattern matching /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
239
ADA 95 reference manual : language and standard libraries : international standard ISO/IEC 8652 : 1995(E) /
Published 1995“…Lecture notes in computer science ;…”
Book -
240
ADA 95 rationale : the language, the standard libraries /
Published 1995“…Lecture notes in computer science ;…”
Book