Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Computer science 35
- Software engineering 25
- Software Engineering 24
- Computer networks 20
- Artificial Intelligence 16
- Artificial intelligence 16
- Computer Engineering and Networks 16
- Computer engineering 16
- Theory of Computation 15
- Algoritmos 13
- Computers 13
- Computer Science Logic and Foundations of Programming 12
- Formal Languages and Automata Theory 10
- Machine theory 10
- Compilers (Computer programs) 9
- Compilers and Interpreters 9
- Ordenadores 9
- Procesamiento paralelo (Ordenadores electrónicos) 9
- diseño y construcción 9
- Control Structures and Microprogramming 8
- Electronic digital computers—Evaluation 8
- Microprogramming 8
- System Performance and Evaluation 8
- Computer Communication Networks 7
- Computer Modelling 7
- Computer simulation 7
- Mathematics 7
- Professions 7
- The Computing Profession 7
- Computer Science 6
-
121Publicado 2018Tabla de Contenidos: “…Lam (Chapter Editor) -- chapter 16 DISCRETE OPTIMIZATION -- chapter 17 THEORETICAL COMPUTER SCIENCE -- chapter 18 INFORMATION STRUCTURES -- chapter 19 DATA MINING -- chapter 20 DISCRETE BIOINFORMATICS…”
Libro electrónico -
122Publicado 2020“…The conference is organized by the Computational Complexity Foundation (CCF) in cooperation with the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) and the European Association for Theoretical Computer Science (EATCS)…”
Libro electrónico -
123Publicado 2013“…Editorial decisions are made by dedicated clusters of editors concentrated in the following areas: foundations of mathematics, discrete mathematics, algebra, number theory, algebraic and complex geometry, differential geometry and geometric analysis, topology, analysis, probability, differential equations, computational mathematics, applied analysis, mathematical physics, and theoretical computer science…”
Revista digital -
124Publicado 2010“…Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management.The three volumes of the Combinatorial Optimization series aims to cover a wide range of topics in this area. …”
Libro electrónico -
125Publicado 2014“…Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management. The three volumes of the Combinatorial Optimization series aim to cover a wide range of topics in this area. …”
Libro electrónico -
126por Mendelson, Elliott“…Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. …”
Publicado 1997
Libro -
127Publicado 2022“…This book commemorates Solomon Marcus’s fifth death anniversary with a selection of articles in mathematics, theoretical computer science, and physics written by authors who work in Marcus’s research fields, some of whom have been influenced by his results and/or have collaborated with him…”
Libro electrónico -
128Publicado 1993“…A journal for the publication of original research papers on mathematical logic, foundations of mathematics and related areas such as General Logic, Model Theory, Recursion Theory, Set Theory, Proof Theory and Constructive Mathematics, Algebraic Logic, Nonstandard Models, and Logical Aspects of Theoretical Computer Science…”
Revista digital -
129por Gärtner, Bernd. author“…Linear programming has become an extremely usable tool in theoretical computer science and in mathematics. While many of the finest modern applications are much too complicated to be included in an introductory text, we hope to communicate some of the flavor (and excitement) of such applications on simpler examples…”
Publicado 2007
Libro electrónico -
130Publicado 2013“…Professor D'Atri started his career as a brilliant scholar interested in theoretical computer science, databases and, more generally information processing systems. …”
Libro electrónico -
131por Stuart, Tom, 1979-“…Understanding Computation explains theoretical computer science in a context you’ll recognize, helping you appreciate why these ideas matter and how they can inform your day-to-day programming. …”
Publicado 2013
Libro electrónico -
132Publicado 2023Tabla de Contenidos: “…Cover -- Copyright -- Contributors -- Table of Contents -- Preface -- Part 1: An Introduction to Computational Thinking -- Chapter 1: Fundamentals of Computer Science -- Technical requirements -- Introduction to computer science -- Learning about computers and the binary system -- Understanding theoretical computer science -- Algorithms -- Coding theory -- Computational biology -- Data structures -- Information theory -- Automata theory -- Formal language theory -- Symbolic computation -- Computational geometry -- Computational number theory -- Learning about a system's software…”
Libro electrónico -
133por Bast, Hannah“…It emerged from a research program established by the German Research Foundation (DFG) as priority program SPP 1736 on Algorithmics for Big Data where researchers from theoretical computer science worked together with application experts in order to tackle problems in domains such as networking, genomics research, and information retrieval. …”
Publicado 2022
Libro electrónico -
134por Piecha, Thomas“…For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. …”
Publicado 2024
Libro electrónico -
135Publicado 2009“…The volume will be of interest primarily to researchers and graduate students of philosophy, logic, mathematics and theoretical computer science. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields…”
Libro electrónico -
136Publicado 2015“…His research focuses on theoretical computer science, especially optimization and the design, analysis, and implementation of computer algorithms. …”