Suggested Topics within your search.
Suggested Topics within your search.
Computer science
Computer Science
6,695
Computers
2,099
Software engineering
2,086
Artificial Intelligence (incl. Robotics)
1,948
Artificial intelligence
1,948
Theory of Computation
1,398
Computer Communication Networks
1,371
Computer communication systems
1,371
Software Engineering/Programming and Operating Systems
1,267
Software Engineering
1,255
Programming Languages, Compilers, Interpreters
1,122
Programming languages (Electronic computers)
1,122
Computer programming
1,093
Programming Techniques
1,093
Algorithms
1,009
Computer logic
961
Logics and Meanings of Programs
961
Algorithm Analysis and Problem Complexity
941
Mathematical logic
915
Mathematical Logic and Formal Languages
785
Information Systems Applications (incl. Internet)
776
Data structures (Computer science)
767
Information Storage and Retrieval
682
Information storage and retrieval
682
Computation by Abstract Devices
680
Computer graphics
636
Database Management
619
Database management
619
Data Structures, Cryptology and Information Theory
572
-
1Anais e Proceedings de eventos bibliotecaEMBRAPA
-
2Kommunikation in Verteilten Systemen [electronic resource] : Anwendungen, Betrieb, Grundlagen GI/NTG-Fachtagung, Aachen, 16.–20. Februar 1987 Proceedings / Kommunikation in Verteilten Systemen [electronic resource] : Anwendungen, Betrieb, Grundlagen GI/NTG-Fachtagung, Aachen, 16.–20. Februar 1987 Proceedings /Texto bibliotecaCOLPOS
-
3Genetic Algorithms—Principles and Perspectives [electronic resource] : A Guide to GA Theory / Genetic Algorithms—Principles and Perspectives [electronic resource] : A Guide to GA Theory /by Reeves, Colin R. author., Rowe, Jonathan E. author., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
4Advances in Spatial Databases [electronic resource] : 6th International Symposium, SSD’99 Hong Kong, China, July 20—23, 1999 Proceedings / Advances in Spatial Databases [electronic resource] : 6th International Symposium, SSD’99 Hong Kong, China, July 20—23, 1999 Proceedings /by Güting, Ralf Hartmut. editor., Papadias, Dimitris. editor., Lochovsky, Fred. editor., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS -
5Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings / Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings /by Melham, Thomas F. editor., Camilleri, Juanito. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
6Unified low-power design flow for data-dominated multi-media and telecom applications [electronic resource] : Based on selected partner contributions of the European Low Power Init... Unified low-power design flow for data-dominated multi-media and telecom applications [electronic resource] : Based on selected partner contributions of the European Low Power Init...Texto bibliotecaCOLPOS
-
7
-
8
-
9
-
10
-
11Texto bibliotecaCOLPOS
-
12Applied Parallel Computing Industrial Computation and Optimization [electronic resource] : Third International Workshop, PARA '96 Lyngby, Denmark, August 18–21, 1996 Proceedings /... Applied Parallel Computing Industrial Computation and Optimization [electronic resource] : Third International Workshop, PARA '96 Lyngby, Denmark, August 18–21, 1996 Proceedings /...by Waśniewski, Jerzy. editor., Dongarra, Jack. editor., Madsen, Kaj. editor., Olesen, Dorte. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20