Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

THEORETICAL COMPUTER SCIENCE

Subject

Browse all works related to THEORETICAL COMPUTER SCIENCE.

Home
Subject
THEORETICAL COMPUTER SCIENCE

"44" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Theoretical computer science

Theoretical computer science: introduction to automata, computability, complexi…

by Hromkovič, Juraj, Informatiker

fromTexts in theoretical computer science

0 Type: Book

Logical foundations of computer science

Logical foundations of computer science: international symposium, LFCS 2020, Deerfield Bea…

by LFCS, Deerfield Beach, Fla

fromLecture Notes in Computer Science

0 Type: Book

Mathematics of László Lovász

Mathematics of László Lovász

fromBuilding bridges

0 Type: Book

Building Bridges II

Building Bridges II: On the ocasion of the 70th birthday of László Lov…

fromBolyai Society Mathematical Studies

0 Type: Book

1
2
3

Subjects

THEORETICAL COMPUTER SCIENCE (44) Theoretische Informatik (39) INFORMATIQUE THÉORIQUE (38) Computer Science (13) THEORIE DER PROGRAMMIERUNG (11) THEORY OF PROGRAMMING (11) THÉORIE DE LA PROGRAMMATION (11) Informatique (7) Electronic Data Processing (5) Informatique -- Congrès (5) Logique mathématique (5) Mathematical logic (5) Mathematische Logik (5) PROGRAMME UND ALGORITHMEN ZUR… (5) PROGRAMMES ET ALGORITHMES POU… (5) PROGRAMS AND ALGORITHMS FOR T… (5) Computer science -- Congresses (4) LEHRBÜCHER (DOKUMENTENTYP) (4) data processing (4) INFORMATIK + COMPUTERWISSENSC… (3) Informatik (3) MANUELS POUR L'ENSEIGNEMENT (… (3) Software Engineering (3) TEXTBOOKS (DOCUMENT TYPE) (3) (Produktform)Hardback (2) (Springer Nature Marketing Cl… (2) (Springer Nature Subject Code… (2) (Springer Nature Subject Code… (2) (Springer Nature Subject Coll… (2) (VLB-WN)1629: Hardcover, Soft… (2) 05-02, 05-06, 68-02, 68-06 (2) ALGORITHMEN UND BERECHENBARE … (2) ALGORITHMES ET FONCTIONS CALC… (2) ALGORITHMIC COMPLEXITY (MATHE… (2) ALGORITHMISCHE KOMPLEXITÄT (M… (2) ALGORITHMS AND COMPUTABLE FUN… (2) ANALYSE DE SYSTÈMES + CONCEPT… (2) ANALYSE NUMÉRIQUE ET APPLICAT… (2) ASPECTS MATHÉMATIQUES DE LA T… (2) COMPLEXITÉ ALGORITHMIQUE (MAT… (2) COMPUTERGESCHICHTE + INFORMAT… (2) CRYPTOGRAPHIE (THÉORIE DE L'I… (2) CRYPTOGRAPHY (INFORMATION THE… (2) Codes (2) Combinatorial optimization (2) Convex Optimization (2) DEVELOPMENT TOOLS + DEVELOPME… (2) DEVELOPPEMENT DE LOGICIELS (G… (2) Discrete mathematics (2) ENTWICKLUNGSWERKZEUGE + ENTWI… (2) Graph theory (2) Génie logiciel (2) HISTOIRE DE L'INFORMATIQUE ET… (2) HISTORY OF COMPUTERS + HISTOR… (2) IFIP (2) Intelligence artificielle (2) KRYPTOGRAPHIE (INFORMATIONSTH… (2) Logic, Symbolic and mathemati… (2) MATHEMATICAL ASPECTS OF INFOR… (2) MATHEMATISCHE ASPEKTE DER INF… (2) Matching theory (2) MÉTHODES DE PROGRAMMATION SPÉ… (2) NUMERICAL MATHEMATICS AND COM… (2) NUMERISCHE MATHEMATIK UND COM… (2) PARALLEL PROCESSING + CONCURR… (2) PARALLELVERARBEITUNG + NEBENL… (2) SEMANTICS OF PROGRAMMING LANG… (2) SEMANTIK VON PROGRAMMIERSPRAC… (2) SPECIAL PROGRAMMING METHODS (2) SPEZIELLE PROGRAMMIERMETHODEN (2) SYNTAXE ET SÉMANTIQUE DES LAN… (2) SYSTEMANALYSE + SYSTEMENTWICK… (2) SYSTEMS ANALYSIS + SYSTEMS DE… (2) TRAITEMENT PARALLELE + SIMULT… (2) VERIFICATION (SOFTWARE ENGINE… (2) VERIFIKATION (SOFTWARE ENGINE… (2) VÉRIFICATION (GÉNIE LOGICIEL) (2) artificial intelligence (2) continuous matroids (2) desgins (2) graph limits (2) linear algebra methods (2) ALGÈBRE DE PROCESSUS (SYSTÈME… (1) ANWENDUNGEN DER MATHEMATIK IN… (1) APPLICATIONS DES MATHÉMATIQUE… (1) APPLICATIONS OF MATHEMATICS I… (1) AUTOMATA MODELS FOR DATA STRU… (1) AUTOMATES D'ÉTAT FINI (THÉORI… (1) Algorithmus (1) Anwendungssystem (1) Automat (1) BIOGRAPHIEN (LEBEN U. WERK) (1) BIOGRAPHIES (LIFE AND WORK) (1) BIOGRAPHIES (VIE ET OEUVRE) (1) Berechenbarkeit (1) Berechnungskomplexität (1) Berechnungstheorie (1) CALCUL DES VARIATIONS (ANALYS… (1) CALCULUS OF VARIATIONS (MATHE… (1) CLASSES DE COMPLEXITÉ (INFORM… (1) COMPLEXITY CLASSES (THEORETIC… (1) COMPUTER PROGRAMS (1) CONSTRAINT PROGRAMMING (ARTIF… (1) CONSTRAINT-PROGRAMMIERUNG (KÜ… (1) CONTEXT-FREE GRAMMARS (MATHEM… (1) Calcolatori elettronici -- st… (1) Calude, Cristian S (1) Computer logic (1) Computer logic -- Congresses (1) Computer science -- Congresse… (1) Computer science -- Mathemati… (1) Computer science -- Philosophy (1) Computer software (1) Computermathematik (1) Control theory -- Mathematics (1) D.1 (1) D.3 (1) DECLARATIVE PROGRAMMING + LOG… (1) DEKLARATIVE PROGRAMMIERUNG + … (1) DYNAMICAL SYSTEMS (MATHEMATIC… (1) DYNAMISCHE SYSTEME (ANALYSIS) (1) Differential topology (1) Differentialtopologie (1) ENDLICHE AUTOMATEN (THEORIE D… (1) Economics (1) Elaboratori -- Storia (1) F.1 (1) F.2 (1) F.3 (1) FESTSCHRIFTEN, GEDENKSCHRIFTE… (1) FINANCIAL MATHEMATICS + MATHE… (1) FINANZMATHEMATIK + WIRTSCHAFT… (1) FINITE AUTOMATA (CONTROL SYST… (1) FORMAL LANGUAGES (MATHEMATICA… (1) FORMALE SPRACHEN (MATHEMATISC… (1) FST & TCS (1) Formale Methode (1) GEOGRAPHICAL INFORMATION SYST… (1) GEOGRAPHISCHE INFORMATIONSSYS… (1) GESAMMELTE WERKE/EINZELNER VE… (1) GRAMMAIRES NON CONTEXTUELLES … (1) Graphentheorie (1) Great Britain (1) Großes Datenbanksystem (1) HOARE LOGIC (MATHEMATICAL LOG… (1) HOARESCHE LOGIK (MATHEMATISCH… (1) HOMMAGES, IN MEMORIAM, MÉLANG… (1) Hoare, C. A. R., (Charles Ant… (1) Hoare, Charles A. R. (1) Hoare, Charles Antony Richard (1) Hochleistungsrechnen (1) INDIVIDUAL POLYGRAPHIES (1) Information (1) Information networks / Philos… (1) Informationstheorie (1) Informatique -- Congrès. -- M… (1) KOMPLEXITÄTSKLASSEN (THEORETI… (1) KONTEXTFREIE GRAMMATIKEN (MAT… (1) KONTROLLTHEORIE (MATHEMATIK) (1) Kombinatorik (1) Kommunikationstechnik (1) Kryptologie (1) Künstliche Intelligenz (1) LANGAGES FORMELS (LINGUISTIQU… (1) LOGIC (PHILOSOPHY) (1) LOGIK (PHILOSOPHIE) (1) LOGIQUE DE HOARE (LOGIQUE MAT… (1) LOGIQUE MODALE (LOGIQUE MATHÉ… (1) Logic design (1) Logic, Symbolic and mathemati… (1) Logiciels (1) Logiciels -- Congrès (1) Logik und Grundlagen (1) Logique (Philosophie) (1) Logique informatique -- Congr… (1) Logique symbolique et mathéma… (1) Logique symbolique et mathéma… (1) Lovász, László (1) MACHINES DE TURING (INFORMATI… (1) MACHINES DE TURING (MACHINES … (1) MANUELS POUR L'ENSEIGNEMENT (… (1) MATHÉMATIQUES FINANCIÈRES + M… (1) MODAL LOGIC (MATHEMATICAL LOG… (1) MODALE LOGIK (MATHEMATISCHE L… (1) MODELLE VON AUTOMATEN ZUR VER… (1) MODÈLES D'AUTOMATES POUR L'ÉL… (1) Mathematicians (1) Mathematicians -- Biography. … (1) Mathematik (1) Mathématiciens -- Biographies… (1) Mathématiques (1) Methode (1) Naturwissenschaften (1) POLYGRAPHIES/INDIVIDUELLES (1) PROCESS ALGEBRA (OPERATING SY… (1) PROGRAMMATION DÉCLARATIVE + P… (1) PROGRAMMATION PAR CONTRAINTES… (1) PROZESSALGEBRA (BETRIEBSSYSTE… (1) PUBLICATIONS IN HONOUR OF IND… (1) Philosophie (1) Programmierung (1) Programmierung -- Methode (1) ROYAUME-UNI DE GRANDE-BRETAGN… (1) Rechnernetz (1) SYSTÈMES D'INFORMATION GÉOGRA… (1) SYSTÈMES DYNAMIQUES (ANALYSE … (1) Smale, Stephen (1) Software Basico (1) Structure logique (1) TEXTBOOKS (DOCUMENT TYPES) (1) THÉORIE DE LA COMMANDE (MATHÉ… (1) TURING MACHINES (THEORETICAL … (1) TURING MACHINES (UNIVERSAL MA… (1) TURING, ALAN MATHISON, 1912-1… (1) TURINGMASCHINEN (THEORETISCHE… (1) TURINGMASCHINEN (UNIVERSELLE … (1) Teoria da computacao (1) Topologie différentielle (1) Trusted Computing (1) Turing, Alan (1) Turing, Alan Mathison (1) UNITED KINGDOM OF GREAT BRITA… (1) UNITED STATES OF AMERICA (NOR… (1) VARIATIONSRECHNUNG (ANALYSIS) (1) VEREINIGTE STAATEN VON AMERIK… (1) VEREINIGTES KÖNIGREICH GROSSB… (1) VLSI design (1) Wirtschaftsmathematik (1) Zufall (1) applied mathematics (1) mathematics (1) software (1) software technology (1) ÉTATS-UNIS D'AMÉRIQUE (AMÉRIQ… (1) Économie politique (1)

Contributor

International Colloquium on A… (4) Symposium on Mathematical Fou… (3) Abramsky, Samson (2) Aceto, Luca (2) Baeten, Jos C. M. (2) Boer, Frank S. de (2) IFIP International Conference… (2) International Computer Scienc… (2) Královič, Rastislav (2) Kulikov, Alexander (2) Navarro, Gonzalo (2) Černá, Ivana (2) Alliot, Jean-Marc (1) Baeten, J. C. M. (1) Balasubramanian, A. (1) Ball, Thomas (1) Ball, Tom (1) Brazilian Conference on Mathe… (1) Burgin, Mark (1) Calude, Cristian (1) Carnielli, Walter A., (Walter… (1) Cerone, Antonio (1) Conery, John S. (1) Conference on Foundations of … (1) Conference on Spatial Informa… (1) Conference on Theory and Prac… (1) Copeland, B. Jack, Philosoph,… (1) Copeland, B. Jack, Philosophe… (1) Copeland, B. Jack, Philosophe… (1) Cucker, Felipe (1) Davis, Martin (1) Dinneen, Michael J. (1) Dodig-Crnkovic, Gordana (1) ETAPS, Prag (1) Egenhofer, Max J., Computer s… (1) Egenhofer, Max J., Informatic… (1) Egenhofer, Max J., Informatik… (1) Eijck, Jan van (1) FASE, Prag (1) FST and TCS, Madras) (1) Hoare, Charles Antony Richard (1) Hromkovič, Juraj, Informatiker (1) ICMC, Haldia, Indien (1) ICTMF, Singapur (1) IFIP International Conference… (1) IFIP International Conference… (1) IFIP TC1/WG (Conference), Ams… (1) IFIP World Computer Congress (1) IFIP World Computer Congress,… (1) IFIP., Technical Committee 1,… (1) IFIP., Working Group 2.2, For… (1) International Colloquium on T… (1) International Conference on L… (1) International Conference on P… (1) International FCT Conference (1) Jampel, Michael (1) Jones, Cliff B. (1) Kutylowski, Miroslaw (1) LFCS, Deerfield Beach, Fla (1) McEvoy, K. (1) Moret, Bernard M. E., Electri… (1) Moret, Bernard M. E., Elektro… (1) Moret, Bernard M. E., Ingénie… (1) Murlak, Filip (1) Seminar on Current Trends in … (1) Smale, Stephen (1) Sudkamp, Thomas A. (1) Thiagarajan, P. S. (1) Tucker, J. V. (1) University of Leeds., Centre … (1) WTCS (2012, Auckland) (1) Workshop on Logic and the Flo… (1) Workshop on Over-Constrained … (1) Zhou, Qihai (1)

Publisher

Springer (31) Addison-Wesley (2) Springer-Verlag (2) Springer-Verlag GmbH (2) World Scientific (2) Adelphi (1) American mathematical Society (1) CRC Press (1) Cambridge University Press (1) Cépaduès (1) MIT Press (1) Oxford University Press (1) Singapore University Press (1) Springer Berlin (1)

Year

2020 (1) 2019 (3) 2017 (1) 2012 (5) 2011 (12) 2010 (4) 2009 (3) 2006 (2) 2004 (1) 2003 (1) 2002 (1) 2000 (1) 1999 (1) 1997 (2) 1996 (1) 1994 (4) 1990 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type