Results 1 - 10 of 45 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
Refined by:
subject:
Computable Functions
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
A nondeterministic Turing machine variant to compute functionsColombo, João Guilherme Fritsche ; Marchi, JerusaTheoretical computer science, 2022-01, Vol.902, p.54-63 [Peer Reviewed Journal]Elsevier B.VFull text available |
| 2 |
Material Type: Book
|
|
Computability theory an introductionNeil D. JonesNew York Academic Press 1973Available at IME - Inst. Matemática e Estatística MARTA CAVALLO BUNGE (BUNGE QA810 J78c e.2 ) and other locations(GetIt) |
| 3 |
Material Type: Book
|
|
Turing Computability: Theory and ApplicationsSoare, Robert IBerlin, Heidelberg: Springer Nature 2016Full text available |
| 4 |
Material Type: Book
|
|
AutomataV. David Hopkin Barbara MossLondon Macmillan 1976Available at IME - Inst. Matemática e Estatística (QA810 H793a )(GetIt) |
| 5 |
Material Type: Book
|
|
Turing's cathedral the origins of the digital universeGeorge Dyson 1953-New York Pantheon Books 2012Available at FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (B26.13.7 )(GetIt) |
| 6 |
Material Type: Book
|
|
Computability Theory: An IntroductionJones, Neil D ; Ashenhurst, Robert LSaint Louis: Elsevier Science & Technology 1973Full text available |
| 7 |
Material Type: Book
|
|
Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, ProceedingsGopal, T. V ; Agrawal, Manindra ; Li, Angsheng ; Cooper, S. Barry Li, Angsheng ; Agrawal, Manindra ; Gopal, T V ; Cooper, S. BarryNetherlands: Springer Nature 2014Full text available |
| 8 |
Material Type: Book
|
|
Computability and Decidability: An Introduction for Students of Computer ScienceBeckmann, M ; Goos, G ; Künzi, H. PBerlin, Heidelberg: Springer Berlin / Heidelberg 1972Full text available |
| 9 |
Material Type: Book
|
|
Computability Theory: An IntroductionJones, Neil D ; Ashenhurst, Robert LAcademic Press 2014Full text available |
| 10 |
Material Type: Book
|
|
Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. ProceedingsChan, T-H. Hubert ; Lau, Lap Chi ; Trevisan, Luca Trevisan, Luca ; Lau, Lap Chi ; Chan, T-H. HubertNetherlands: Springer Nature 2013Full text available |
Results 1 - 10 of 45 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Resource Type
- Books (39)
- Articles (3)
- Dissertations (2)
- Book Chapters (1)
-
More options
Subject
- Computer Science (26)
- Mathematics (25)
- Computers (21)
- Theory Of Computation (18)
- Mathematical Logic (18)
- Berechenbarkeit (17)
- Algorithms (17)
- Machine Theory (17)
- Fonctions Calculables (17)
- Logic, Symbolic And Mathematical (15)
- Funciones Computables (15)
- Turing Machines (15)
- Computational Complexity (15)
- Computer Software (14)
- Informatique (14)
- Algorithm Analysis And Problem Complexity (13)
- Berechnungstheorie (11)
- Computation By Abstract Devices (11)
- Computability Theory (11)
- Recursive Functions (7)
- Computabilidade E Complexidade (3)
- Recursion Theory (2)
- Recursion Theory (1)
- Turing, Alan Mathison 1912-1954 (1)
- Teoria Da Computação (1)
- Recursive Functions (1)
- Random Access Memory (1)
- Mathematics Recursive functions Computability theory (1)
- Computadores (História) (1)
- Von Neumann, John 1903-1957 (1)
-
More options
Creation Date
- Before1982 (8)
- 1982To1993 (6)
- 1994To2006 (8)
- 2007To2013 (20)
- After 2013 (21)
-
More options
Library
Database/Library
- Springer Books (28)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (12)
- Springer Books Online Archive (12)
- SpringerLINK Lecture Notes in Computer Science (2015) (9)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (9)
- SpringerLink Books Lecture Notes in Computer Science Archive (5)
- Springer Nature - Springer Computer Science eBooks 2011 English International (4)
- eBook - All Access Books [EBAAB] (4)
- ScienceDirect eBooks (4)
- Springer Nature - Springer Computer Science eBooks 2015 English International (3)
- Science Citation Index Expanded (Web of Science) (3)
- EZB Electronic Journals Library (3)
- JSTOR Mathematics & Statistics (2)
- Diposit Digital de la Universitat de Barcelona (2)
- SpringerLINK Lecture Notes in Computer Science (2012) (2)
- Springer Nature - Springer Computer Science eBooks 2016 English International (2)
- SpringerLINK Lecture Notes in Computer Science (2013) (2)
- Springer Nature - Springer Computer Science eBooks 2013 English International (2)
- SpringerLINK Lecture Notes in Computer Science (2014) (2)
- JSTOR Archive Collection A-Z Listing (2)
-
More options
Language
- English (43)
- Catalan (2)
- German (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 