Suggested Topics within your search.
Suggested Topics within your search.
- 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
-
341
Recent developments in computer vision : Second Asian Conference on Computer Vision, ACCV '95, Singapore, December 5-8, 1995 : invited session papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
342
Applied parallel computing : computations in physics, chemistry and engineering science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
343
Constraint databases and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
344
ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
345
Computer aided learning and instruction in science and engineering /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
346
Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Book -
347
Advances in cryptology - CRYPTO 1996 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
348
Object-based parallel and distributed computation /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
349
Field programmable logic : smart applications, new paradigms and compilers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
350
Teleservices and multimedia communications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
351
FME'96 : industrial benefit and advances in formal methods /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
352
Object technologies for advanced software /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
353
Computer aided systems theory - CAST'94 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
354
Automata, languages and programming /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
355
Digital signature schemes : general framework and fail-stop signatures /
Published 1996“…Lecture notes in computer science ;…”
Book -
356
-
357
Rewriting techniques and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
358
The programming language ADA : reference manual /
Published 1981“…Lecture notes in computer science ;…”
Book -
359
Parallel symbolic languages and systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
360
Graphics recognition : methods and applications, Rangachar Kasturi, Karl Tombre.
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book