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

"45" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Spatial information theory

Spatial information theory: 10th international conference : proceedings

by Egenhofer, Max J., Informatiker, Egenhofer, Max J., Informaticien, Egenhofer, Max J., Computer scientist, Conference on Spatial Information Theory

fromLecture Notes in Computer Science

0 Type: Book

Theoretical aspects of computing

Theoretical aspects of computing: 8th international colloquium : proceedings

by Cerone, Antonio, International Colloquium on Theoretical Aspects of Computing

fromLecture Notes in Computer Science

0 Type: Book

Computer science - theory and applications

Computer science - theory and applications: proceedings

by Kulikov, Alexander, International Computer Science Symposium in Russia

fromLecture Notes in Computer Science

0 Type: Book

Computer science - theory and applications

Computer science - theory and applications: proceedings

by Kulikov, Alexander, International Computer Science Symposium in Russia

fromLecture Notes in Computer Science

0 Type: Book

Automata, languages and programming

Automata, languages and programming: 37th international colloquium : proceedings

by Abramsky, Samson, International Colloquium on Automata, Languages and Programming

fromLecture Notes in Computer Science

0 Type: Book

Automata, languages and programming

Automata, languages and programming: 37th international colloquium : proceedings

by Abramsky, Samson, International Colloquium on Automata, Languages and Programming

fromLecture Notes in Computer Science

0 Type: Book

Automata, languages and programming

Automata, languages and programming: 38th international colloquium, proceedings

by Aceto, Luca, International Colloquium on Automata, Languages and Programming

fromLecture Notes in Computer Science

0 Type: Book

Automata, languages and programming

Automata, languages and programming: 38th international colloquium, proceedings

by Aceto, Luca, International Colloquium on Automata, Languages and Programming

fromLecture Notes in Computer Science

0 Type: Book

Theory and practice of computer science

Theory and practice of computer science: proceedings

by Černá, Ivana, Seminar on Current Trends in Theory and Practice of Informatics

fromLecture Notes in Computer Science

0 Type: Book

SOFSEM 2011

SOFSEM 2011: theory and practice of computer science : 37th co…

by Černá, Ivana, Conference on Theory and Practice of Informatics, Nový Smokovec)

fromLecture Notes in Computer Science

0 Type: Book

Theoretical Computer Science

Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS…

by Baeten, Jos C. M., IFIP., Technical Committee 1, Foundations of Computer Science, IFIP., Working Group 2.2, Formal Description of Programming Concepts, IFIP International Conference on Theoretical Computer Science

fromLecture Notes in Computer Science

0 Type: Book

Theoretical Computer Science

Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS…

by Boer, Frank S. de, Baeten, Jos C. M., Ball, Tom, IFIP TC1/WG (Conference), Amsterdam, Netherlands)

fromLecture Notes in Computer Science

0 Type: Book

Theoretical computer science

Theoretical computer science: 7th IFIP TC 1/WG 2.2 International Conference, TC…

by Boer, Frank S. de, IFIP International Conference on Theoretical Computer Science, Amsterdam, Netherlands), Baeten, J. C. M., Ball, Thomas

fromLNCS sublibrary

0 Type: Book

Theoretical foundations of VLSI design

Theoretical foundations of VLSI design: Workshop on theoretical aspects of VLSI design : …

by Tucker, J. V., McEvoy, K., University of Leeds., Centre for Theoretical Computer Science

0 Type: Book

Turing

Turing: pioneer of the information age

by Copeland, B. Jack, Philosoph, Neuseeland, Copeland, B. Jack, Philosophe, Nouvelle-Zélande, Copeland, B. Jack, Philosopher, New Zealand

0 Type: Book

Advances in contemporary logic and computer science

Advances in contemporary logic and computer science: proceedings of the Eleventh Brazilian Conference …

by Carnielli, Walter A., (Walter Alexandre), Brazilian Conference on Mathematical Logic, (Salvador (Bahia))

fromContemporary Mathematics

0 Type: Book

Logic and information flow

Logic and information flow

by Eijck, Jan van, Workshop on Logic and the Flow of Information, Amsterdam

fromMIT Press series in the foundations of computing

0 Type: Book

Explorations in computing

Explorations in computing: an introduction to computer science

by Conery, John S.

fromChapman & Hall/CRC textbooks in computing

0 Type: Book

Fundamentals of computation theory

Fundamentals of computation theory: 17th international symposium : proceedings

by Kutylowski, Miroslaw, International FCT Conference

fromLecture Notes in Computer Science

0 Type: Book

Mathematics and computing

Mathematics and computing: third International Conference, ICMC 2017, Haldia…

by ICMC, Haldia, Indien

fromCommunications in computer and information science

0 Type: Book

1
2
3

Subjects

THEORETICAL COMPUTER SCIENCE (45) Theoretische Informatik (39) INFORMATIQUE THÉORIQUE (38) Computer Science (14) 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) Cryptography (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) Program obfuscation (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) Jain, Aayush (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)

Language

eng (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

2021 (1) 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