Explore: Teoria Da Computacao

Discover books, insights, and more — all in one place.

Learn more about Teoria Da Computacao with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “teoria-da-computacao”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Differential games

By

Book's cover

“Differential games” Metadata:

  • Title: Differential games
  • Author:
  • Language: English
  • Number of Pages: Median: 208
  • Publisher: ➤  Wiley-Interscience - Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society
  • Publish Date:
  • Publish Location: Providence - New York

“Differential games” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1971
  • 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:

Online Marketplaces

Find Differential games at online marketplaces:


2A view of programming languages

By

Book's cover

“A view of programming languages” Metadata:

  • Title: ➤  A view of programming languages
  • Authors:
  • Language: English
  • Number of Pages: Median: 309
  • Publisher: ➤  Addison Wesley Longman Publishing Co - Addison-Wesley Pub. Co.
  • Publish Date:
  • Publish Location: Reading, Mass

“A view of programming languages” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1970
  • 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:

Online Marketplaces

Find A view of programming languages at online marketplaces:


3Decision tables

By

“Decision tables” Metadata:

  • Title: Decision tables
  • Author:
  • Language: English
  • Number of Pages: Median: 186
  • Publisher: ➤  John Wiley & Sons Inc - Wiley-Interscience
  • Publish Date:
  • Publish Location: New York

“Decision tables” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1971
  • 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:

Online Marketplaces

Find Decision tables at online marketplaces:


4The influence of computing on mathematical research and education

By

Book's cover

“The influence of computing on mathematical research and education” Metadata:

  • Title: ➤  The influence of computing on mathematical research and education
  • Author: ➤  
  • Language: English
  • Number of Pages: Median: 205
  • Publisher: American Mathematical Society
  • Publish Date:
  • Publish Location: Providence

“The influence of computing on mathematical research and education” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1974
  • 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:

Online Marketplaces

Find The influence of computing on mathematical research and education at online marketplaces:


5The theory and operation of the slide rule

By

Book's cover

“The theory and operation of the slide rule” Metadata:

  • Title: ➤  The theory and operation of the slide rule
  • Author:
  • Language: English
  • Number of Pages: Median: 289
  • Publisher: Dover Publications
  • Publish Date:
  • Publish Location: New York

“The theory and operation of the slide rule” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1961
  • 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:

Online Marketplaces

Find The theory and operation of the slide rule at online marketplaces:


6Logic and logic design

By

Book's cover

“Logic and logic design” Metadata:

  • Title: Logic and logic design
  • Author:
  • Language: English
  • Number of Pages: Median: 328
  • Publisher: International Textbook Co.
  • Publish Date:
  • Publish Location: London

“Logic and logic design” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1973
  • 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:

Online Marketplaces

Find Logic and logic design at online marketplaces:


7Proceedings of the twenty-ninth annual ACM Symposium on Theory of Computing

By

Book's cover

“Proceedings of the twenty-ninth annual ACM Symposium on Theory of Computing” Metadata:

  • Title: ➤  Proceedings of the twenty-ninth annual ACM Symposium on Theory of Computing
  • Author: ➤  
  • Language: English
  • Number of Pages: Median: 752
  • Publisher: ACM Press
  • Publish Date:
  • Publish Location: New York

“Proceedings of the twenty-ninth annual ACM Symposium on Theory of Computing” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1997
  • 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:

Online Marketplaces

Find Proceedings of the twenty-ninth annual ACM Symposium on Theory of Computing at online marketplaces:


8Introduction to the Theory of Computation

By

Book's cover

“Introduction to the Theory of Computation” Metadata:

  • Title: ➤  Introduction to the Theory of Computation
  • Author:
  • Language: English
  • Number of Pages: Median: 400
  • Publisher: ➤  Thomson Course Technology - Course Technology
  • Publish Date:

“Introduction to the Theory of Computation” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2005
  • 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 Introduction to the Theory of Computation at online marketplaces:


    9Fundamentals of speech recognition

    By

    Book's cover

    “Fundamentals of speech recognition” Metadata:

    • Title: ➤  Fundamentals of speech recognition
    • Author:
    • Language: English
    • Number of Pages: Median: 507
    • Publisher: PTR Prentice Hall
    • Publish Date:
    • Publish Location: Englewood Cliffs, N.J

    “Fundamentals of speech recognition” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1993
    • Is Full Text Available: Yes
    • Is The Book Public: No
    • Access Status: Printdisabled

    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 Fundamentals of speech recognition at online marketplaces:


      10CONCUR 2000 - Concurrency Theory

      By

      Book's cover

      “CONCUR 2000 - Concurrency Theory” Metadata:

      • Title: ➤  CONCUR 2000 - Concurrency Theory
      • Author:
      • Language: English
      • Number of Pages: Median: 618
      • Publisher: ➤  Springer - Springer London, Limited
      • Publish Date:

      “CONCUR 2000 - Concurrency Theory” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 2000
      • Is Full Text Available: Yes
      • Is The Book Public: No
      • Access Status: Printdisabled

      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 CONCUR 2000 - Concurrency Theory at online marketplaces:


        11Automata, languages, and programming

        By

        Book's cover

        “Automata, languages, and programming” Metadata:

        • Title: ➤  Automata, languages, and programming
        • Authors: ➤  
        • Language: English
        • Number of Pages: Median: 709
        • Publisher: ➤  Not Avail - Springer - Springer-Verlag
        • Publish Date:
        • Publish Location: Berlin - New York

        “Automata, languages, and programming” Subjects and Themes:

        Edition Identifiers:

        First Setence:

        "This talk restricts attention to program result checkers for a certain clean class of computational problems."

        Access and General Info:

        • First Year Published: 1993
        • 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 Automata, languages, and programming at online marketplaces:


          12Results and trends in theoretical computer science

          By

          Book's cover

          “Results and trends in theoretical computer science” Metadata:

          • Title: ➤  Results and trends in theoretical computer science
          • Authors:
          • Language: English
          • Number of Pages: Median: 445
          • Publisher: Springer-Verlag - Springer
          • Publish Date:
          • Publish Location: Berlin - New York

          “Results and trends in theoretical computer science” Subjects and Themes:

          Edition Identifiers:

          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:


            13Automata, languages, and programming

            By

            Book's cover

            “Automata, languages, and programming” Metadata:

            • Title: ➤  Automata, languages, and programming
            • Author: ➤  
            • Language: English
            • Number of Pages: Median: 671
            • Publisher: Springer-Verlag
            • Publish Date:
            • Publish Location: New York - Berlin

            “Automata, languages, and programming” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1980
            • Is Full Text Available: Yes
            • Is The Book Public: No
            • Access Status: Printdisabled

            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 Automata, languages, and programming at online marketplaces:


              14Fileorganisation and processing

              By

              Book's cover

              “Fileorganisation and processing” Metadata:

              • Title: ➤  Fileorganisation and processing
              • Author:
              • Language: English
              • Number of Pages: Median: 398
              • Publisher: Wiley
              • Publish Date:
              • Publish Location: Chichester - New York

              “Fileorganisation and processing” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 1988
              • Is Full Text Available: Yes
              • Is The Book Public: No
              • Access Status: Printdisabled

              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 Fileorganisation and processing at online marketplaces:


                15Symbolic and algebraic computation

                By

                Book's cover

                “Symbolic and algebraic computation” Metadata:

                • Title: ➤  Symbolic and algebraic computation
                • Author: ➤  
                • Language: English
                • Number of Pages: Median: 543
                • Publisher: Springer-Verlag
                • Publish Date:
                • Publish Location: Berlin - New York

                “Symbolic and algebraic computation” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 1989
                • Is Full Text Available: Yes
                • Is The Book Public: No
                • Access Status: Printdisabled

                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 Symbolic and algebraic computation at online marketplaces:


                  16Advanced lectures on machine learning

                  By

                  Book's cover

                  “Advanced lectures on machine learning” Metadata:

                  • Title: ➤  Advanced lectures on machine learning
                  • Authors:
                  • Language: English
                  • Number of Pages: Median: 263
                  • Publisher: ➤  Springer - Springer London, Limited
                  • Publish Date:

                  “Advanced lectures on machine learning” Subjects and Themes:

                  Edition Identifiers:

                  First Setence:

                  "In these notes our aim is to survey recent (and not so recent) results regarding the mathematical foundations of learning theory."

                  Access and General Info:

                  • First Year Published: 2003
                  • 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 Advanced lectures on machine learning at online marketplaces:


                    17TAPSOFT ʼ91

                    By

                    Book's cover

                    “TAPSOFT ʼ91” Metadata:

                    • Title: TAPSOFT ʼ91
                    • Author: ➤  
                    • Language: English
                    • Number of Pages: Median: 455
                    • Publisher: Springer-Verlag - Springer
                    • Publish Date:
                    • Publish Location: Berlin - New York

                    “TAPSOFT ʼ91” Subjects and Themes:

                    Edition Identifiers:

                    First Setence:

                    "In recent years, many models of concurrent computation based upon partial orders have been proposed in the literature, e.g. Petri Nets [Rei85], Event Structures [Win80,87], Pom-sets [Pr86] and, more recently, Causal Trees [DD89]."

                    Access and General Info:

                    • First Year Published: 1991
                    • Is Full Text Available: Yes
                    • Is The Book Public: No
                    • Access Status: Printdisabled

                    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 TAPSOFT ʼ91 at online marketplaces:


                      18STACS 2000

                      By

                      Book's cover

                      “STACS 2000” Metadata:

                      • Title: STACS 2000
                      • Author: ➤  
                      • Language: English
                      • Number of Pages: Median: 662
                      • Publisher: Springer
                      • Publish Date:

                      “STACS 2000” Subjects and Themes:

                      Edition Identifiers:

                      Access and General Info:

                      • First Year Published: 2000
                      • Is Full Text Available: Yes
                      • Is The Book Public: No
                      • Access Status: Printdisabled

                      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 2000 at online marketplaces:


                        19Algorithms - ESA '99

                        By

                        Book's cover

                        “Algorithms - ESA '99” Metadata:

                        • Title: Algorithms - ESA '99
                        • Author: ➤  
                        • Language: English
                        • Number of Pages: Median: 552
                        • Publisher: Springer
                        • Publish Date:
                        • Publish Location: New York - Berlin

                        “Algorithms - ESA '99” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1999
                        • Is Full Text Available: Yes
                        • Is The Book Public: No
                        • Access Status: Printdisabled

                        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 Algorithms - ESA '99 at online marketplaces:


                          20Genetic programming

                          By

                          Book's cover

                          “Genetic programming” Metadata:

                          • Title: Genetic programming
                          • Author: ➤  
                          • Language: English
                          • Number of Pages: Median: 360
                          • Publisher: Springer
                          • Publish Date:
                          • Publish Location: New York

                          “Genetic programming” Subjects and Themes:

                          Edition Identifiers:

                          Access and General Info:

                          • First Year Published: 2000
                          • Is Full Text Available: Yes
                          • Is The Book Public: No
                          • Access Status: Printdisabled

                          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 Genetic programming at online marketplaces:


                            21Algorithms and Computation

                            By

                            Book's cover

                            “Algorithms and Computation” Metadata:

                            • Title: Algorithms and Computation
                            • Authors:
                            • Language: English
                            • Number of Pages: Median: 542
                            • Publisher: Springer
                            • Publish Date:

                            “Algorithms and Computation” Subjects and Themes:

                            Edition Identifiers:

                            Access and General Info:

                            • First Year Published: 1993
                            • 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 Algorithms and Computation at online marketplaces:


                              22Category Theory Applied to Computation and Control

                              By

                              Book's cover

                              “Category Theory Applied to Computation and Control” Metadata:

                              • Title: ➤  Category Theory Applied to Computation and Control
                              • Author:
                              • Language: English
                              • Number of Pages: Median: 260
                              • Publisher: Springer
                              • Publish Date:

                              “Category Theory Applied to Computation and Control” Subjects and Themes:

                              Edition Identifiers:

                              Access and General Info:

                              • First Year Published: 1975
                              • 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 Category Theory Applied to Computation and Control at online marketplaces:


                                23Thirteenth Annual Symposium on Principles of Programming Languages

                                By

                                Book's cover

                                “Thirteenth Annual Symposium on Principles of Programming Languages” Metadata:

                                • Title: ➤  Thirteenth Annual Symposium on Principles of Programming Languages
                                • Author: ➤  
                                • Language: English
                                • Number of Pages: Median: 326
                                • Publisher: ➤  Association for Computing Machinery
                                • Publish Date:

                                “Thirteenth Annual Symposium on Principles of Programming Languages” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1986
                                • 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 Thirteenth Annual Symposium on Principles of Programming Languages at online marketplaces:


                                  24Sympostium on theoretical aspects of computer science, STACS 84

                                  By

                                  Book's cover

                                  “Sympostium on theoretical aspects of computer science, STACS 84” Metadata:

                                  • Title: ➤  Sympostium on theoretical aspects of computer science, STACS 84
                                  • Author:
                                  • Languages: English - fre
                                  • Number of Pages: Median: 348
                                  • Publisher: Springer
                                  • Publish Date:

                                  “Sympostium on theoretical aspects of computer science, STACS 84” Subjects and Themes:

                                  Edition Identifiers:

                                  Access and General Info:

                                  • First Year Published: 1984
                                  • 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 Sympostium on theoretical aspects of computer science, STACS 84 at online marketplaces:


                                    25Mathematical Foundations of Computer Science, 1998

                                    By

                                    Book's cover

                                    “Mathematical Foundations of Computer Science, 1998” Metadata:

                                    • Title: ➤  Mathematical Foundations of Computer Science, 1998
                                    • Authors:
                                    • Language: English
                                    • Number of Pages: Median: 843
                                    • Publisher: Springer-Verlag Telos
                                    • Publish Date:

                                    “Mathematical Foundations of Computer Science, 1998” Subjects and Themes:

                                    Edition Identifiers:

                                    First Setence:

                                    "A directed hypergraph is a generalization of the concept of directed graph."

                                    Access and General Info:

                                    • First Year Published: 1998
                                    • Is Full Text Available: Yes
                                    • Is The Book Public: No
                                    • Access Status: Printdisabled

                                    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 Mathematical Foundations of Computer Science, 1998 at online marketplaces:


                                      26Fundamentals of computation theory

                                      By

                                      Book's cover

                                      “Fundamentals of computation theory” Metadata:

                                      • Title: ➤  Fundamentals of computation theory
                                      • Author:
                                      • Language: English
                                      • Number of Pages: Median: 471
                                      • Publisher: Springer-Verlag
                                      • Publish Date:
                                      • Publish Location: New York - Berlin

                                      “Fundamentals of computation theory” Subjects and Themes:

                                      Edition Identifiers:

                                      Access and General Info:

                                      • First Year Published: 1993
                                      • Is Full Text Available: Yes
                                      • Is The Book Public: No
                                      • Access Status: Printdisabled

                                      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 Fundamentals of computation theory at online marketplaces:


                                        27CONCOUR9 9, concurrency theory

                                        By

                                        Book's cover

                                        “CONCOUR9 9, concurrency theory” Metadata:

                                        • Title: CONCOUR9 9, concurrency theory
                                        • Authors:
                                        • Language: English
                                        • Number of Pages: Median: 573
                                        • Publisher: Springer
                                        • Publish Date:

                                        “CONCOUR9 9, concurrency theory” Subjects and Themes:

                                        Edition Identifiers:

                                        Access and General Info:

                                        • First Year Published: 1999
                                        • Is Full Text Available: Yes
                                        • Is The Book Public: No
                                        • Access Status: Printdisabled

                                        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 CONCOUR9 9, concurrency theory at online marketplaces: