Explore: Informatique Théorique
Discover books, insights, and more — all in one place.
Learn more about Informatique Théorique with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “informatique-th%C3%A9orique”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Intelligence artificielle et informatique théorique
By Jean-Marc Alliot
“Intelligence artificielle et informatique théorique” Metadata:
- Title: ➤ Intelligence artificielle et informatique théorique
- Author: Jean-Marc Alliot
- Language: fre
- Number of Pages: Median: 520
- Publisher: Cépaduès-éd.
- Publish Date: 1994
- Publish Location: Toulouse
“Intelligence artificielle et informatique théorique” Subjects and Themes:
- Subjects: ➤ Programmation génétique - Algorithme génétique - Réseau neuronal - Apprentissage symbolique - Programmation PROLOG - Programmation SCHEME - Système expert - Programme jeu - Satisfiabilité - Programmation avec contrainte - Théorie complexité - Calculabilité - Logique non classique - Théorie résolution - Machine Turing - Calcul prédicat - Calcul propositionnel - Logique mathématique - Informatique théorique - Intelligence artificielle - Langages formels - Logique symbolique et mathématique - Systèmes experts (informatique) - Programmation logique - Réseaux neuronaux (informatique) - Informatique
- Time: 20e s.
Edition Identifiers:
- The Open Library ID: OL38631463M
- Online Computer Library Center (OCLC) ID: 489612504
- All ISBNs: 2854283244 - 9782854283242
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Intelligence artificielle et informatique théorique at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Fundamentals of computation theory
By International FCT-Conference (1st 1977 Poznán, Poland and Kórnik, Poland)
“Fundamentals of computation theory” Metadata:
- Title: ➤ Fundamentals of computation theory
- Author: ➤ International FCT-Conference (1st 1977 Poznán, Poland and Kórnik, Poland)
- Language: English
- Number of Pages: Median: 542
- Publisher: Springer-Verlag
- Publish Date: 1977
- Publish Location: Berlin - New York
“Fundamentals of computation theory” Subjects and Themes:
- Subjects: ➤ Categories (Mathematics) - Computational complexity - Congresses - Machine theory - Recursion theory - Théorie catégorie - Informatique théorique - Complexité - Congrès - Décidabilité - Logik - Berechenbarkeit - Théorie nombre - Analyse combinatoire - Algèbre universelle - Recursivité, Théorie de la - Théorie jeu - Automatentheorie - Complexité de calcul (Informatique)
Edition Identifiers:
- The Open Library ID: OL4546214M
- Library of Congress Control Number (LCCN): 77014022
- All ISBNs: 9780387084428 - 0387084428
Access and General Info:
- First Year Published: 1977
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Fundamentals of computation theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Rewriting Techniques and Applications
By Jean-Pierre Jouannaud
“Rewriting Techniques and Applications” Metadata:
- Title: ➤ Rewriting Techniques and Applications
- Author: Jean-Pierre Jouannaud
- Language: English
- Number of Pages: Median: 441
- Publisher: Springer-Verlag - Springer
- Publish Date: 1985 - 1986
- Publish Location: New York - Berlin
“Rewriting Techniques and Applications” Subjects and Themes:
- Subjects: ➤ Réécriture - Algebraïsche logica - Algorithme - Informatique théorique - Logiciel - Congrès - Computer programming - Termersetzungssystem - Démonstration théorème - Bewijstheorie - Algorithmes - Réécriture, Systèmes de (Informatique) - Rewriting systems (Computer science) - Specificatie - Démonstration automatique - Computer algorithms - Programmation (Informatique) - Congresses - Unification - Programmation en logique - Computermethoden - Algorithms - Machine theory - Systèmes de réécriture (Informatique) - Datenverarbeitung - Produktion - Reduktionssystem
Edition Identifiers:
- The Open Library ID: OL2540880M - OL12772163M - OL7443581M
- Online Computer Library Center (OCLC) ID: 12582911
- Library of Congress Control Number (LCCN): 85022164
- All ISBNs: 0387159762 - 9783540159766 - 9780387159768 - 3540159762
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Rewriting Techniques and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Results and trends in theoretical computer science
By Arto Salomaa, Hermann A. Maurer, Grzegorz Rozenberg, J. Karhumaki and H. Maurer
“Results and trends in theoretical computer science” Metadata:
- Title: ➤ Results and trends in theoretical computer science
- Authors: Arto SalomaaHermann A. MaurerGrzegorz RozenbergJ. KarhumakiH. Maurer
- Language: English
- Number of Pages: Median: 445
- Publisher: Springer-Verlag - Springer
- Publish Date: 1994
- Publish Location: Berlin - New York
“Results and trends in theoretical computer science” Subjects and Themes:
- Subjects: ➤ Congresses - Computer science - Fundamentele informatica - Informatique - Informatique théorique - Cryptographie - Congrès - Teoria Da Computacao - Automate - Complexité calcul
Edition Identifiers:
- The Open Library ID: OL7447540M - OL9061252M - OL1095779M
- Online Computer Library Center (OCLC) ID: 30511338
- Library of Congress Control Number (LCCN): 94020330
- All ISBNs: 3540581316 - 9783540581314 - 9780387581316 - 0387581316
First Setence:
"Stephen A. Cook described a transformation in 1971 that can, for instance, improve program running times from exponential to linear (as functions of their input size)."
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Results and trends in theoretical computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Aspects and prospects of theoretical computer science
By International Meeting of Young Computer Scientists (6th 1990 Smolenice, Slovakia)
“Aspects and prospects of theoretical computer science” Metadata:
- Title: ➤ Aspects and prospects of theoretical computer science
- Author: ➤ International Meeting of Young Computer Scientists (6th 1990 Smolenice, Slovakia)
- Language: English
- Number of Pages: Median: 298
- Publisher: Springer-Verlag - Springer
- Publish Date: 1990
- Publish Location: Berlin - New York
“Aspects and prospects of theoretical computer science” Subjects and Themes:
- Subjects: ➤ Computer science - Congresses - Informatique - Fundamentele informatica - Informatique théorique - Congrès
Edition Identifiers:
- The Open Library ID: OL9060552M - OL1864624M
- Online Computer Library Center (OCLC) ID: 22710870
- Library of Congress Control Number (LCCN): 90022566
- All ISBNs: 9783540534143 - 3540534148 - 9780387534145 - 0387534148
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Aspects and prospects of theoretical computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Theoretical Computer Science
By K. Weihrauch
“Theoretical Computer Science” Metadata:
- Title: Theoretical Computer Science
- Author: K. Weihrauch
- Languages: English - fre
- Number of Pages: Median: 340
- Publisher: Springer
- Publish Date: 1979
“Theoretical Computer Science” Subjects and Themes:
- Subjects: ➤ Informatique théorique - [congrès] - Machine theory - Theorie des Automates mathematiques - CONFERENCES - Langages formels - Formal languages - MACHINE ORIENTED LANGUAGES - Congres - Congresses - Automates
Edition Identifiers:
- The Open Library ID: OL12771298M
- All ISBNs: 3540091181 - 9783540091189
Access and General Info:
- First Year Published: 1979
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Theoretical Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Mathematical methods of specification and synthesis of software systems '85
By W. Bibel
“Mathematical methods of specification and synthesis of software systems '85” Metadata:
- Title: ➤ Mathematical methods of specification and synthesis of software systems '85
- Author: W. Bibel
- Language: English
- Number of Pages: Median: 245
- Publisher: Springer
- Publish Date: 1986
- Publish Location: New York - Berlin
“Mathematical methods of specification and synthesis of software systems '85” Subjects and Themes:
- Subjects: ➤ Development - Congresses - Computer software - Conception logiciel - Informatique théorique - Inférence inductive - Théorie mathématique logiciel - Softwareentwicklung - Logiciels - Développement - Développement logiciel - Type abstrait - Génie logiciel - Computer programs - Computer programming - Symbolic and mathematical Logic - Universal Algebra
Edition Identifiers:
- The Open Library ID: OL2314714M
- Online Computer Library Center (OCLC) ID: 17384515 - 13876557
- Library of Congress Control Number (LCCN): 86195028
- All ISBNs: 9780387164441 - 0387164448
Author's Alternative Names:
"Wolfgang Bibel"Access and General Info:
- First Year Published: 1986
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mathematical methods of specification and synthesis of software systems '85 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Foundations of software technology and theoretical computer science
By V. Vinay
“Foundations of software technology and theoretical computer science” Metadata:
- Title: ➤ Foundations of software technology and theoretical computer science
- Author: V. Vinay
- Language: English
- Number of Pages: Median: 387
- Publisher: Springer
- Publish Date: 1996
“Foundations of software technology and theoretical computer science” Subjects and Themes:
- Subjects: ➤ Réécriture - Informatik - Informatique théorique - Théorie type - Congrès - Computer science - Logique équationnelle - Algèbre processus - Computer software - Informatique - Informatica - Kongreß - Théorie complexité - Congresses - Géométrie algorithmique - Logiciels - Logique temporelle - Programmatuurtechniek - Sémantique - Geometry - Data processing
Edition Identifiers:
- The Open Library ID: OL12777545M
- Online Computer Library Center (OCLC) ID: 36242624
- All ISBNs: 3540620346 - 9783540620341
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Foundations of software technology and theoretical computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)
By S. Biswas
“Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)” Metadata:
- Title: ➤ Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)
- Author: S. Biswas
- Language: English
- Number of Pages: Median: 420
- Publisher: Springer
- Publish Date: 1992
“Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)” Subjects and Themes:
- Subjects: ➤ Réécriture - Informatik - Algorithme - Informatique théorique - Théorie automate - Complexité - Congrès - Computer science - Type - Computer software - Informatique - Informatica - Kongress - Programmation (Informatique) - Congresses - Logiciels - Programmatuurtechniek - Génie logiciel - Theoretische Informatik - Sémantique
Edition Identifiers:
- The Open Library ID: OL10153653M
- Online Computer Library Center (OCLC) ID: 24796579
- Library of Congress Control Number (LCCN): 91039207
- All ISBNs: 9780387549675 - 0387549676
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10STACS 85
By K. Mehlhorn
“STACS 85” Metadata:
- Title: STACS 85
- Author: K. Mehlhorn
- Language: English
- Number of Pages: Median: 388
- Publisher: Springer
- Publish Date: 1985
“STACS 85” Subjects and Themes:
- Subjects: ➤ Informatique - Treillis - Informatique théorique - Complexité calcul - Congrès - Computer science - Congresses - Ordinateurs - DATA PROCESSING - COMPUTER PROGRAMMING - COMPUTERS - CONFERENCES - Computable functions
Edition Identifiers:
- The Open Library ID: OL12771774M
- Online Computer Library Center (OCLC) ID: 11589951
- Library of Congress Control Number (LCCN): 84026882
- All ISBNs: 9783540139126 - 3540139125
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find STACS 85 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Theoretical Computer Science (vol. # 3701)
By E. Lodi and G. Michele Pinna
“Theoretical Computer Science (vol. # 3701)” Metadata:
- Title: ➤ Theoretical Computer Science (vol. # 3701)
- Authors: E. LodiG. Michele Pinna
- Language: English
- Number of Pages: Median: 411
- Publisher: Springer
- Publish Date: 2005
“Theoretical Computer Science (vol. # 3701)” Subjects and Themes:
- Subjects: ➤ Logic design - Computational complexity - Computer science - Data structures (Computer science) - Computer software - Informatique - Machine Theory - Informatique théorique - Reference - COMPUTERS - Congrès - Hardware - Computer Literacy - Congresses - Data Processing - General - Information Technology
Edition Identifiers:
- The Open Library ID: OL9718088M
- Online Computer Library Center (OCLC) ID: 62092123
- Library of Congress Control Number (LCCN): 2005933156
- All ISBNs: 9783540291060 - 3540291067
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Theoretical Computer Science (vol. # 3701) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.