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 | ||
| ||
10 PRINT CHR$(205.5+RND(1)); : GOTO 10 / / Nick Montfort [and others]
| 10 PRINT CHR$(205.5+RND(1)); : GOTO 10 / / Nick Montfort [and others] |
| Autore | Montfort Nick |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge, : The MIT Press, 2012 |
| Descrizione fisica | 1 online resource (xi, 309 pages) : illustrations |
| Disciplina | 005.26/2 |
| Altri autori (Persone) | MontfortNick |
| Collana | Software studies |
| Soggetto topico |
BASIC (Computer program language) - History
Computer programming |
| Soggetto non controllato |
Programming and scripting languages: general
Media studies |
| ISBN |
0-262-30457-0
1-283-95312-9 0-262-30550-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | REM Variations in BASIC -- Mazes -- Rem Ports to other platforms -- Regularity -- REM Variations in processing -- Randomness -- REM One-liners -- BASIC -- REM A port to the Atari VCS -- The Commodore 64 -- REM Maze walker in BASIC -- Conclusion -- End. |
| Record Nr. | UNINA-9910260606703321 |
Montfort Nick
|
||
| Cambridge, : The MIT Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1076-2019 - IEEE Standard for VHDL Language Reference Manual - Redline / / Institute of Electrical and Electronics Engineers
| 1076-2019 - IEEE Standard for VHDL Language Reference Manual - Redline / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 2019 |
| Descrizione fisica | 1 online resource (148 pages) |
| Disciplina | 001.642 |
| Soggetto topico | Computer programming |
| ISBN | 1-5044-6618-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910389550903321 |
| [Place of publication not identified] : , : IEEE, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1076-2019 - IEEE Standard for VHDL Language Reference Manual - Redline / / Institute of Electrical and Electronics Engineers
| 1076-2019 - IEEE Standard for VHDL Language Reference Manual - Redline / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 2019 |
| Descrizione fisica | 1 online resource (148 pages) |
| Disciplina | 001.642 |
| Soggetto topico | Computer programming |
| ISBN | 1-5044-6618-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996574961003316 |
| [Place of publication not identified] : , : IEEE, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2.:Applications to Recognizability and Decidability / Michel Rigo
| 2.:Applications to Recognizability and Decidability / Michel Rigo |
| Autore | RIGO, Michel |
| Pubbl/distr/stampa | London, : ISTE |
| Descrizione fisica | Testo elettronico (PDF) (XIX, 245 p.) |
| Disciplina | 001.642 |
| Collana | Networks and Telecommunications Series |
| Soggetto topico |
Computer programming
Formal languages Machine theory |
| ISBN | 9781119042853 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996451649603316 |
| RIGO, Michel | ||
| London, : ISTE | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2008 11th IEEE International Conference on Computational Science and Engineering : 16-18 July 2008
| 2008 11th IEEE International Conference on Computational Science and Engineering : 16-18 July 2008 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
| Descrizione fisica | 1 online resource (490 pages) |
| Soggetto topico |
Computer systems
Computer programming Computer engineering |
| ISBN | 1-5090-7594-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996216495003316 |
| New York : , : IEEE, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2008 11th IEEE International Conference on Computational Science and Engineering : 16-18 July 2008
| 2008 11th IEEE International Conference on Computational Science and Engineering : 16-18 July 2008 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
| Descrizione fisica | 1 online resource (490 pages) |
| Soggetto topico |
Computer systems
Computer programming Computer engineering |
| ISBN | 1-5090-7594-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145678803321 |
| New York : , : IEEE, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2012 34th International Conference on Software Engineering
| 2012 34th International Conference on Software Engineering |
| Autore | Glinz Martin |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
| Descrizione fisica | 1 online resource |
| Disciplina | 001.642 |
| Collana | ACM Conferences |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| ISBN | 1-4673-1067-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ICSE '12 |
| Record Nr. | UNINA-9910376325603321 |
|
Glinz Martin
|
||
| [Place of publication not identified], : IEEE, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2013 35th International Conference on Software Engineering
| 2013 35th International Conference on Software Engineering |
| Autore | Notkin David |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
| Descrizione fisica | 1 online resource |
| Disciplina | 001.642 |
| Collana | ACM Conferences |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| ISBN | 1-4673-3076-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ICSE '13 |
| Record Nr. | UNINA-9910375876703321 |
|
Notkin David
|
||
| [Place of publication not identified], : IEEE, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2013 IEEE 21st Symposium on Computer Arithmetic (ARITH)
| 2013 IEEE 21st Symposium on Computer Arithmetic (ARITH) |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2013 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1 |
| Soggetto topico | Computer programming |
| ISBN | 0-7695-4957-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280406603316 |
| [Place of publication not identified], : IEEE, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Computer programming
(4473)
- Programming Techniques (3261)
- Software engineering (1892)
- Software Engineering (1562)
- Programming languages (Electronic computers) (1443)