top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Algebraic theory of automata / Abraham Ginzburg
Algebraic theory of automata / Abraham Ginzburg
Autore Ginzburg, Abraham
Pubbl/distr/stampa New York : Academic Press, 1968
Descrizione fisica ix, 165 p. : ill. ; 24 cm.
Disciplina 006.3
Collana ACM monograph series
Soggetto topico Automata theory
Machine theory
Classificazione AMS 68Q68
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000662649707536
Ginzburg, Abraham  
New York : Academic Press, 1968
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Aspetti algebrico-categoriali della teoria dei dispositivi / G. Darbo
Aspetti algebrico-categoriali della teoria dei dispositivi / G. Darbo
Autore Darbo, G.
Pubbl/distr/stampa Genova : Ist. Mat. Univ. Genova, 1970
Descrizione fisica [33] p. ; 23 cm.
Disciplina 511.2
Collana Pubblicazioni dell'Istituto di Matematica dell'Università di Genova ; 218
Soggetto topico Automata theory
Categories of machines
Classificazione AMS 18B20
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000700639707536
Darbo, G.  
Genova : Ist. Mat. Univ. Genova, 1970
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Automata, languages, and machines / Samuel Eilenberg
Automata, languages, and machines / Samuel Eilenberg
Autore Eilenberg, Samuel
Pubbl/distr/stampa New York : Academic Press, 1974-76
Descrizione fisica 2 v. ; 24 cm.
Disciplina 005.131
Collana Pure and applied mathematics. A series of monographs & textbooks [Academic Press], 0079-8169 ; 59-A
Pure and applied mathematics. A series of monographs & textbooks [Academic Press], 0079-8169 ; 59-B
Soggetto topico Automata theory
Formal languages
Sequential machine theory
ISBN 0122340019 (v. A)
0122340027 (v. B)
Classificazione AMS 68Q68
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000708099707536
Eilenberg, Samuel  
New York : Academic Press, 1974-76
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Automaten und Funktoren / von Lothar Budach und Hans J. Hoehnke
Automaten und Funktoren / von Lothar Budach und Hans J. Hoehnke
Autore Budach, Lothar
Pubbl/distr/stampa Berlin : Akademie-Verlag, 1975
Descrizione fisica xi, 383 p. : ill. ; 25 cm.
Disciplina 006.3
Altri autori (Persone) Hoehnke, Hans Jurgen
Collana Mathematische Monographien ; 35
Soggetto topico Automata theory
Functor theory
Machine theory
Classificazione AMS 68Q68
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISALENTO-991000708589707536
Budach, Lothar  
Berlin : Akademie-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Computability and decidability : an introduction for students of computer science / J. Loeckx
Computability and decidability : an introduction for students of computer science / J. Loeckx
Autore Loeckx, Jacques J. C.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1972
Descrizione fisica vi, 76 p. : ill. ; 26 cm.
Disciplina 001.535
Collana Lecture notes in economics and mathematical systems, 0075-8442 ; 68
Soggetto topico Automata theory
Programming
Sequential machine theory
Turing machines
ISBN 3540058699
Classificazione AMS 68N05
AMS 68Q68
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000772929707536
Loeckx, Jacques J. C.  
Berlin : Springer-Verlag, 1972
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
Autore Hopcroft, John E.
Pubbl/distr/stampa Reading, Mass. : Addison-Wesley, c1969
Descrizione fisica vii, 242 p. : ill. ; 24 cm.
Disciplina 001.535
Altri autori (Persone) Ullman, Jeffrey D.
Collana Addison-Wesley series in computer science and information processing
Soggetto topico Automata theory
Formal languages
Machine theory
Programming
Classificazione AMS 68N05
AMS 68Q45
AMS 68Q68
AMS 68T25
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000901569707536
Hopcroft, John E.  
Reading, Mass. : Addison-Wesley, c1969
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Lecons sur la théorie des automates mathématiques / C. Boucher
Lecons sur la théorie des automates mathématiques / C. Boucher
Autore Boucher, C.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1971
Descrizione fisica viii, 193 p. ; 24 cm.
Disciplina 001.535
Collana Lecture notes in operations research and mathematical systems ; 46
Soggetto topico Automata theory
ISBN 3540054499
Classificazione AMS 68Q68
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNISALENTO-991001061879707536
Boucher, C.  
Berlin : Springer-Verlag, 1971
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
An overview of artificial intelligence and robotics [[electronic resource] /] / William B. Gevarter
An overview of artificial intelligence and robotics [[electronic resource] /] / William B. Gevarter
Autore Gevarter William B
Pubbl/distr/stampa Washington, D.C., : National Aeronautics and Space Administration, [1982-1983]
Descrizione fisica 1 online resource (4 volumes) : illustrations ; ; 28 cm
Collana NASA technical memorandum
NBSIR
Soggetto topico Artificial intelligence
Automata theory
Computation
Computer programming
Expert systems
Mechanization
Problem solving
Robotics
Robots
Technology assessment
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto v.1. Artificial intelligence, pt. A. Core Ingredients -- v.1. Artificial intelligence, pt. B. Applications -- v. 1, Artificial intelligence, pt. C. Basic AI topics -- v. 2. Robotics.
Record Nr. UNINA-9910700975303321
Gevarter William B  
Washington, D.C., : National Aeronautics and Space Administration, [1982-1983]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Space station systems technology study, (add-on task) final report
Space station systems technology study, (add-on task) final report
Pubbl/distr/stampa [Huntsville, Ala. : , : Boeing Aerospace Company, Spectra Research Systems ; , : NASA Marshall Space Flight Center, , February 1985
Descrizione fisica 1 online resource (3 volumes) : illustrations
Collana NASA-CR
Soggetto topico Automata theory
Flight operations
Orbit Maneuvering Engine (Space Shuttle)
Orbit transfer vehicles
Orbital maneuvering vehicles
Space stations
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto v. 1. Executive summary. -- v. 2. Trade study and technology selection, technical report. -- v. 3. Technology advancement program plan.
Altri titoli varianti Space station systems technology study
Record Nr. UNINA-9910702892903321
[Huntsville, Ala. : , : Boeing Aerospace Company, Spectra Research Systems ; , : NASA Marshall Space Flight Center, , February 1985
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Synthesis of digital automata / edited by V. G. Lazarev and A. D. Zakrevskii ; translated from Russian by Edwin S. Spiegelthal
Synthesis of digital automata / edited by V. G. Lazarev and A. D. Zakrevskii ; translated from Russian by Edwin S. Spiegelthal
Autore Lazarev, V. G.
Pubbl/distr/stampa New York : Consultants Bureau, 1969
Descrizione fisica ix, 172 p. : ill. ; 28 cm.
Disciplina 006.3
Altri autori (Persone) Zakrevskii, A. D.
Soggetto topico Automata theory
Machine theory-addresses, essays, lectures
Classificazione AMS 68Q68
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001409219707536
Lazarev, V. G.  
New York : Consultants Bureau, 1969
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui