Suggested Topics within your search.
Suggested Topics within your search.
Computer Science
Computer science
6,695
Software engineering
2,043
Computers
2,006
Artificial Intelligence (incl. Robotics)
1,856
Artificial intelligence
1,856
Theory of Computation
1,343
Computer Communication Networks
1,282
Computer communication systems
1,282
Software Engineering/Programming and Operating Systems
1,247
Software Engineering
1,228
Programming Languages, Compilers, Interpreters
1,114
Programming languages (Electronic computers)
1,114
Computer programming
1,086
Programming Techniques
1,086
Computer logic
953
Logics and Meanings of Programs
953
Algorithms
909
Algorithm Analysis and Problem Complexity
867
Mathematical logic
849
Mathematical Logic and Formal Languages
767
Data structures (Computer science)
729
Information Systems Applications (incl. Internet)
682
Computation by Abstract Devices
658
Information Storage and Retrieval
619
Information storage and retrieval
619
Computer graphics
604
Database Management
583
Database management
583
Data Structures, Cryptology and Information Theory
548
-
1Kommunikation 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
-
2Genetic 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 -
3Advances 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 -
4Higher 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 -
5Unified 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
-
6
-
7
-
8
-
9Texto bibliotecaCOLPOS
-
10Applied 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 -
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20