Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 17 | << page >> |
Sort by
|
Book
ISBN: 9518801908 Year: 1988 Volume: vol 192 Publisher: Turku : Turun Yliopisto,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 2287004165 9782287004162 Year: 1993 Publisher: Paris: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Turing, Machines de --- Algorithmes --- Complexite de calcul (Informatique)
Book
Year: 1970 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Informatique --- Computer science. --- Turing machines. --- Turing, Machines de --- Décidabilité (logique mathématique) --- Algorithmique
ISBN: 0716782669 9780716782667 Year: 1994 Publisher: New York, NY : W. H. Freeman,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Formal languages --- Machine theory --- Computable functions --- Turing machines --- Informatique --- Turing, Machines de --- Langages formels --- Computer science. --- Formal languages. --- Turing machines. --- Logique mathematique --- Calculabilite
ISBN: 0471510106 Year: 1991 Publisher: New York, NY ; Chichester : John Wiley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic digital computers --- Ordinateurs --- Formal languages --- Langages formels --- Computer science --- Turing machines --- Informatique --- Turing, Machines de --- Formal languages. --- Computer science. --- Turing machines. --- Automates abstraits --- Automates finis
ISBN: 2100048538 9782100048533 Year: 2001 Publisher: Paris : Dunod,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Fonctions récursives --- Fonctions calculables --- Informatique --- Computable functions --- Automata --- Recursive functions --- Turing machines --- Electronic data processing --- Fonctions récursives --- Decidability (Mathematical logic) --- Recursive functions. --- Turing machines. --- Formal languages --- Computable functions. --- Décidabilité (logique mathématique) --- Langages formels --- Automates mathématiques, Théorie des --- Turing, machines de --- Langages formels. --- Fonctions récursives. --- Automates mathématiques, Théorie des. --- Fonctions calculables. --- Turing, Machines de.
ISBN: 0471802719 9780471802716 Year: 1986 Publisher: New York, NY : John Wiley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic digital computers --- Ordinateurs --- Formal languages --- Langages formels --- Computer science --- Turing machines --- Informatique --- Turing, Machines de --- Formal languages. --- Computer science. --- Turing machines. --- Grammar --- Context Free --- Turing Machine --- Language Theory --- Compiler --- Automates abstraits --- Automates finis
Book
ISBN: 202013571X 9782020135719 Year: 1995 Publisher: Paris : Editions du Seuil,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
AA / International- internationaal --- 654 --- 16 --- 305.6 --- 51 --- Informatieverwerking. Bureautica. --- Logica. Dialectiek. --- Risicotheorie, speltheorie. Risicokapitaal. Beslissingsmodellen. --- Wiskunde. --- Turing machines. --- Turing, Machines de. --- Informatieverwerking. Bureautica --- Logica. Dialectiek --- Risicotheorie, speltheorie. Risicokapitaal. Beslissingsmodellen --- Wiskunde
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Formal languages. --- Langages formels --- Computable functions --- Fonctions calculables. --- Informatique --- Computer science. --- Computer science. --- Turing machines. --- Informatique --- Turing, Machines de --- Automates abstraits --- Algorithmique --- Automates finis --- Complexite --- Automates abstraits --- Algorithmique --- Automates finis --- Complexite
Book
ISBN: 2729603727 9782729603724 Year: 1991 Publisher: Paris : InterEditions,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer algorithms --- Data structures (Computer science) --- Computer programming --- Algorithmes --- Structures de données (Informatique) --- Programmation (Informatique) --- Structures de données (Informatique) --- Decidability (Mathematical logic) --- Formal languages --- Recursive functions --- Machine theory --- Computable functions --- Turing machines --- Décidabilité (logique mathématique) --- Langages formels --- Fonctions récursives --- Automates mathématiques, Théorie des --- Fonctions calculables --- Turing, Machines de --- Langages formels. --- Fonctions récursives. --- Automates mathématiques, Théorie des. --- Fonctions calculables. --- Turing, Machines de. --- Décidabilité (logique mathématique) --- Fonctions récursives. --- Automates mathématiques, Théorie des.
| Listing 1 - 10 of 17 | << page >> |
Sort by
|