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 |
| ISBN |
9780262304573
0262304570 9781283953122 1283953129 9780262305501 026230550X |
| 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 | ||
| ||
100 Minuten für Anforderungsmanagement : Kompaktes Wissen nicht nur für Projektleiter und Entwickler / / von Marcus Grande
| 100 Minuten für Anforderungsmanagement : Kompaktes Wissen nicht nur für Projektleiter und Entwickler / / von Marcus Grande |
| Autore | Grande Marcus |
| Edizione | [2nd ed. 2014.] |
| Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2014 |
| Descrizione fisica | 1 online resource (152 p.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer programming Software Engineering Programming Techniques |
| ISBN | 3-658-06435-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto |
Inhaltsverzeichnis; Vorwort; 1 Hinweise zur Verwendung des Buchs; 1.1 Kurzbeschreibung zum Thema; 1.2 Informationen zur Struktur des Buchs; 1.3 Erklärung der verwendeten Begriffe; 2 Anforderungsmanagement?; 2.1 Was sind Anforderungen?; 2.2 Warum benötigen Sie Anforderungen?; 2.3 Anzeichen von unzureichendem Anforderungsmanagement; 2.4 Folgen von unzureichendem Anforderungsmanagement; 2.5 Haupttätigkeiten im Anforderungsmanagement; 2.6 Gründe für Anforderungsmanagement; 2.7 Ziele von Anforderungsmanagement; 2.8 Wege zum professionellen Anforderungsmanagement
2.9 Umgang mit skeptischen Mitarbeitern3 Wie beginnen Sie Anforderungsmanagement?; 3.1 Strukturen und Vorgaben; 3.2 Wahl der Stakeholder; 3.3 Kommunikation; 3.4 Anforderungen dokumentieren; 3.5 Anmerkungen zum Aufschreiben und Beginnen; 3.6 Anforderungsmanagement in der Organisation; 3.7 Werkzeuge; 4 Wer macht Anforderungsmanagement?; 4.1 Der Anforderungsmanager; 4.2 Aufgaben des Anforderungsmanagers; 4.3 Profil des Anforderungsmanagers; 4.4 Mögliche Anforderungsmanager; 4.5 Stellenausschreibung Anforderungsmanager; 5 Werkzeuge; 5.1 Einfach-Werkzeuge; 5.2 Spezialisierte Anforderungswerkzeuge 6 Spezialisierte Werkzeuge6.1 Grundlagen; 6.2 Übersicht über die Funktionalitäten; 6.3 Anwenderfunktionen; 6.3.1 Anforderungsermittlung; 6.3.2 Datenbank; 6.3.3 Arbeitsabläufe Workflows; 6.3.4 Import und Export; 6.3.5 Das Anforderungs-Austausch-Format (RIF); 6.3.6 Nachverfolgbarkeit; 6.3.7 Einfluss-Analyse (Impact Analyse); 6.3.8 Generierung von Reports; 6.3.9 Sonstiges; 6.4 Administrationsfunktionen; 6.4.1 Datenbank; 6.4.2 Projekte; 6.4.3 Einrichten von Anwendern und Anwendergruppen; 6.4.4 Einrichten und Verwalten von Zugriffsrechten; 6.4.5 Erzeugen und Verwalten von Baselines 6.5 Hinweise zur Auswahl eines spezialisierten Werk-zeugs7 Anforderungen; 7.1 Funktionale Anforderungen; 7.2 Nicht-funktionale Anforderungen; 7.2.1 Qualität; 7.2.2 Randbedingungen; 7.3 Attribute von Anforderungen - das FAPA; 7.3.1 Identifikation; 7.3.2 Name; 7.3.3 Beschreibung; 7.3.4 Status; 7.3.5 Version; 7.3.6 Sonstige Attribute; 8 So finden Sie Anforderungen; 8.1 Produkt und Produktkontext; 8.2 Kommunikation; 8.3 Anforderungsquellen; 8.3.1 Stakeholder; 8.3.2 Dokumente; 8.4 Ermittlungstechniken; 8.4.1 Befragungstechniken; 8.4.2 Kreativitätstechniken; 8.4.3 Abläufe durchdenken 8.4.4 Beobachtungstechniken8.4.5 Weitere unterstützende Techniken; 8.5 Zufriedenheitskategorien Kano-Modell; 9 Die Anforderungsdokumentation; 9.1 Anforderungsdokumentation mit der Textverarbeitung; 9.2 Anforderungsdokumentation mit der Tabellenkalkula-tion; 9.3 Qualitätskriterien für das Anforderungsdokument; 9.4 Checklisten; 9.5 Beispiel Checkliste Anforderungsspezifikation; 10 So formulieren Sie Anforderungen; 10.1 Anforderungen und Testen; 10.2 Formulieren und Sprache; 10.3 Formulierungsbaupläne; 10.4 Formulierungsregeln; 10.5 Dokumentieren mit Hilfe der UML; 10.6 Was genau ist die UML? 10.7 Beispiele Anwendungsfall- und Aktivitätsdiagramm |
| Record Nr. | UNINA-9911124330603321 |
| Grande Marcus | ||
| Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2014 | ||
| 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 | ||
| ||
2007 International Conference on Computer Engineering and Systems
| 2007 International Conference on Computer Engineering and Systems |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2007 |
| Descrizione fisica | 1 online resource (xxix, 448 pages) : illustrations |
| Disciplina | 621.39 |
| Soggetto topico |
Computer engineering
Computer systems Computer programming |
| ISBN |
9781124413662
1124413669 9781509089758 1509089756 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145700603321 |
| [Place of publication not identified], : IEEE, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
2009 IEEE 12th International Conference on Computational Science and Engineering
| 2009 IEEE 12th International Conference on Computational Science and Engineering |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2009 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 621.39 |
| Soggetto topico |
Computer engineering
Computer programming |
| ISBN |
9781509068142
1509068147 9780769538235 0769538231 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910138750903321 |
| [Place of publication not identified], : IEEE, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Computer programming
(4675)
- Programming Techniques (3486)
- Software engineering (1969)
- Software Engineering (1678)
- Computer science (1190)