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.
1. Fachtagung über Automatentheorie und Formale Sprachen [[electronic resource] ] : GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973 / / herausgegeben von Karl-Heinz Böhling, Klaus Indermark
| 1. Fachtagung über Automatentheorie und Formale Sprachen [[electronic resource] ] : GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973 / / herausgegeben von Karl-Heinz Böhling, Klaus Indermark |
| Edizione | [1st ed. 1973.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1973 |
| Descrizione fisica | 1 online resource (X, 330 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Computers Mathematical logic Programming Techniques Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 3-540-37826-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the structure of algorithmic problems -- A mathematical model of digital computers -- On some recent problems concerning developmental languages -- Fault-tolerance and stability of fuzzy-state automata -- Bemerkungen über Homomorphismen endlicher in lineare Automaten -- Der Kaskadenzerlegungssatz für Halbautomaten -- Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme -- Ketten und arithmetische Prädikate von endlichen Automaten -- Une hierarchie infinie de cones d'Accepteurs verificateurs -- Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten -- Ein automatentheoretisches Modell einer Speicherhierarchie -- Deterministic one-counter automata -- The use of metric and uniform spaces for the formalization of behavioral proximity of states -- Quelques generateurs des langages algebriques -- Une caracterisation des langages quasi-rationnels standards -- Der Einfluss von Kontext auf spezielle CF-Grammatiken -- Zur Komplexität gesteuerter kontextfreier Ersetzungen -- Characterization of derivation sets of formal systems -- Die Darstellung indizierter Sprachen durch Ausdrücke -- Codes and aperiodic languages -- The characterization of certain classes of languages in the context sensitive area by automata -- A characterization of boolean closures of families of languages -- Zufällige Folgen und Bi-Immunität -- Die mittler Additionsdauer eines Paralleladdierwerks -- On the number of multiplications required by the product of two matrices -- Elementare und subelementare Funktionenklassen über binären Bäumen -- Über die Vernetzungsstruktur von Maschinen -- On the simulation of time bounded machines -- Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen -- Über eine Hierarchie von Push-Down-Entscheidbaren Mengen -- A characterization of the classes L1 and R1 of primitive recursive word functions -- A drum scheduling algorithm -- Some considerations about classes of mappings between context-free derivation systems -- On ianov schemas with one memory location -- Reduction goals in bottom-up recognition -- Un modele semantique pour un langage simple de programmation -- Erweiterungen subrekursiver Programmiersprachen. |
| Record Nr. | UNISA-996465422103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
1001 computer words you need to know / / Jerry Pournelle, editor [[electronic resource]]
| 1001 computer words you need to know / / Jerry Pournelle, editor [[electronic resource]] |
| Pubbl/distr/stampa | New York : , : Oxford University Press, , 2020 |
| Descrizione fisica | 1 online resource (xxi, 240 pages) |
| Disciplina | 004/.03 |
| Collana | Oxford scholarship online |
| Soggetto topico |
Computers
Computer science |
| ISBN |
0-19-756216-7
0-19-976991-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910467375803321 |
| New York : , : Oxford University Press, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1001 computer words you need to know / / Jerry Pournelle, editor [[electronic resource]]
| 1001 computer words you need to know / / Jerry Pournelle, editor [[electronic resource]] |
| Pubbl/distr/stampa | New York : , : Oxford University Press, , 2020 |
| Descrizione fisica | 1 online resource (xxi, 240 pages) |
| Disciplina | 004/.03 |
| Collana | Oxford scholarship online |
| Soggetto topico |
Computers
Computer science |
| ISBN |
0-19-756216-7
0-19-976991-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910793427503321 |
| New York : , : Oxford University Press, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1001 computer words you need to know / / Jerry Pournelle, editor [[electronic resource]]
| 1001 computer words you need to know / / Jerry Pournelle, editor [[electronic resource]] |
| Pubbl/distr/stampa | New York : , : Oxford University Press, , 2020 |
| Descrizione fisica | 1 online resource (xxi, 240 pages) |
| Disciplina | 004/.03 |
| Collana | Oxford scholarship online |
| Soggetto topico |
Computers
Computer science |
| ISBN |
0-19-756216-7
0-19-976991-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910813539303321 |
| New York : , : Oxford University Press, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The 11th International Conference on Autonomous Agents and Multiagent Systems: Conference Proceedings - Volume III
| The 11th International Conference on Autonomous Agents and Multiagent Systems: Conference Proceedings - Volume III |
| Pubbl/distr/stampa | [Place of publication not identified], : IFAAMAS, 2012 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004 |
| Collana | ACM Other conferences |
| Soggetto topico | Computers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | AAMAS '12 |
| Record Nr. | UNINA-9910376078003321 |
| [Place of publication not identified], : IFAAMAS, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1965 Fall Joint Computer Conference . Part 2 Computers : their impact on society : November 30-December 1, 1965 / / conference chair, Robert W Rector
| 1965 Fall Joint Computer Conference . Part 2 Computers : their impact on society : November 30-December 1, 1965 / / conference chair, Robert W Rector |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 1965 |
| Descrizione fisica | 1 online resource (199 pages) |
| Disciplina | 004 |
| Collana | AFIPS Conference Proceedings |
| Soggetto topico | Computers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the November 30--December 1, 1965, fall joint computer conference, part II |
| Record Nr. | UNINA-9910510496403321 |
| New York : , : Association for Computing Machinery, , 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1966 fall joint computer conference : November 7-10, San Francisco, California / / Association for Computing Machinery
| 1966 fall joint computer conference : November 7-10, San Francisco, California / / Association for Computing Machinery |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 1966 |
| Descrizione fisica | 1 online resource (829 pages) |
| Disciplina | 004 |
| Collana | AFIPS Conference Proceedings |
| Soggetto topico | Computers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510496303321 |
| New York : , : Association for Computing Machinery, , 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1986 proceedings : Fall Joint Computer Conference, November 2-6, 1986, INFOMART, Dallas, Texas / / sponsored by ACM and Computer Society of the IEEE ; Harold S. Stone, proceedings editor and program chairman ; Stanley Winkler, conference chairman
| 1986 proceedings : Fall Joint Computer Conference, November 2-6, 1986, INFOMART, Dallas, Texas / / sponsored by ACM and Computer Society of the IEEE ; Harold S. Stone, proceedings editor and program chairman ; Stanley Winkler, conference chairman |
| Pubbl/distr/stampa | Washington, D.C. : , : IEEE Computer Society Press, , 1986 |
| Descrizione fisica | 1 online resource (xxvi, 1248 pages) : illustrations |
| Disciplina | 004 |
| Altri autori (Persone) |
WinklerStanley
StoneHarold S. <1938-> |
| Collana | ACM Conferences |
| Soggetto topico |
Computers
Electronic data processing Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ACM '86 |
| Record Nr. | UNINA-9910510509903321 |
| Washington, D.C. : , : IEEE Computer Society Press, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1994 Tutorial and Workshop on Systems Engineering of Computer-Based Systems : proceedings, May 24-27, 1994, Stockholm, Sweden
| 1994 Tutorial and Workshop on Systems Engineering of Computer-Based Systems : proceedings, May 24-27, 1994, Stockholm, Sweden |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1994 |
| Disciplina | 620/.001/1 |
| Soggetto topico |
Systems engineering
Computers Mechanical Engineering Industrial & Management Engineering Engineering & Applied Sciences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206308103316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
1994 Tutorial and Workshop on Systems Engineering of Computer-Based Systems : proceedings, May 24-27, 1994, Stockholm, Sweden
| 1994 Tutorial and Workshop on Systems Engineering of Computer-Based Systems : proceedings, May 24-27, 1994, Stockholm, Sweden |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1994 |
| Disciplina | 620/.001/1 |
| Soggetto topico |
Systems engineering
Computers Mechanical Engineering Industrial & Management Engineering Engineering & Applied Sciences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872757803321 |
| [Place of publication not identified], : IEEE Computer Society Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Computers
(5787)
- Artificial intelligence (2131)
- Artificial Intelligence (2083)
- Theory of Computation (1533)
- Software engineering (1414)