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.
SIGMICRO, TCMICRO newsletter
| SIGMICRO, TCMICRO newsletter |
| Pubbl/distr/stampa | New York, : The Group and the Committee |
| Disciplina | 005 |
| ISSN | 0892-3825 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009057280403321 |
| New York, : The Group and the Committee | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SIGMOD record
| SIGMOD record |
| Pubbl/distr/stampa | New York, N.Y. : , : Special Interest Group on the Management of Data, , 1976- |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico |
Database management
File organization (Computer science) Bases de données - Gestion Gegevens |
| ISSN | 1943-5835 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375860703321 |
| New York, N.Y. : , : Special Interest Group on the Management of Data, , 1976- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SIGMOD record
| SIGMOD record |
| Pubbl/distr/stampa | New York, N.Y. : , : Special Interest Group on the Management of Data, , 1976- |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico |
Database management
File organization (Computer science) Bases de données - Gestion Gegevens |
| ISSN | 1943-5835 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996207138503316 |
| New York, N.Y. : , : Special Interest Group on the Management of Data, , 1976- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Simuletter
| Simuletter |
| Pubbl/distr/stampa | [New York, : ACM Special Interest Group on Simulation] |
| Disciplina | 005 |
| Soggetto topico |
Computer simulation
Simulation methods 54.79 computer methods: other Simulation par ordinateur |
| ISSN | 2330-9083 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996548958703316 |
| [New York, : ACM Special Interest Group on Simulation] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Simuletter
| Simuletter |
| Pubbl/distr/stampa | [New York, : ACM Special Interest Group on Simulation] |
| Disciplina | 005 |
| Soggetto topico |
Computer simulation
Simulation methods 54.79 computer methods: other Simulation par ordinateur |
| ISSN | 2330-9083 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375868803321 |
| [New York, : ACM Special Interest Group on Simulation] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sistema grafico AutoCAD Release 10 : Guida all'uso / Autodesk
| Sistema grafico AutoCAD Release 10 : Guida all'uso / Autodesk |
| Autore | Autodesk |
| Pubbl/distr/stampa | Svizzera : Autodesk, 1989 |
| Descrizione fisica | XI, 1447 p. ; 30 cm |
| Disciplina | 005 |
| Soggetto non controllato | Cad |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000412530403321 |
| Autodesk | ||
| Svizzera : Autodesk, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SISTEMA grafico AutoCAD release 10 : guida all'uso
| SISTEMA grafico AutoCAD release 10 : guida all'uso |
| Pubbl/distr/stampa | Svizzera : Autodesk, 1989 |
| Descrizione fisica | 1 v. ; 30 cm |
| Disciplina | 005 |
| Soggetto non controllato | Cad |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000431030403321 |
| Svizzera : Autodesk, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sistemi esperti : teoria e sviluppo / David W. Rolston
| Sistemi esperti : teoria e sviluppo / David W. Rolston |
| Autore | Rolston, David W. |
| Pubbl/distr/stampa | Milano, : McGraw-Hill libri Italia, 1991 |
| Descrizione fisica | 300 p. ; 21 cm. |
| Disciplina | 005 |
| Collana | Collana di istruzione scientifica |
| Soggetto topico | Sistemi esperti |
| ISBN | 8838606439 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAS-MIL0142454 |
Rolston, David W.
|
||
| Milano, : McGraw-Hill libri Italia, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Cassino | ||
| ||
SOFSEM '95: Theory and Practice of Informatics [[electronic resource] ] : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Proceedings / / edited by Miroslav Bartosek, Jan Staudek, Jiri Wiedermann
| SOFSEM '95: Theory and Practice of Informatics [[electronic resource] ] : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Proceedings / / edited by Miroslav Bartosek, Jan Staudek, Jiri Wiedermann |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XI, 504 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Database management Information storage and retrieval Computer programming Theory of Computation Software Engineering Database Management Information Storage and Retrieval Computation by Abstract Devices Programming Techniques |
| ISBN | 3-540-48463-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Parallel machine models: How they are and where are they going -- Fuzzy logic from the logical point of view -- Sense of direction in processor networks -- Welcoming the super Turing theories -- What NARX networks can compute -- Database: Introduction to problems -- Distributed Information Systems -- Extending database technology -- Introducing SSADM4+ and PRINCE -- Formal methods in practice: A comparison of two support systems for proof -- Development of safety-critical real-time systems -- Why use evolving algebras for hardware and software engineering? -- Experience with chorus -- High-level languages for parallel scientific computing -- On some new aspects of networked multimedia systems -- Quo vadis GIS: From GIS to GIMS and Open GIS -- WWW — The World Wide Web -- Implementation of higher-order unification based on calculus of explicit substitution -- A modular history-oriented access structure for bitemporal relational databases -- Software engineering meets human-computer interaction: Integrating user interface design in an object-oriented methodology -- Parsing of free-word-order languages -- Distributed algorithm for finding a core of a tree network -- Stepwise synthesis of reactive programs -- A simple and efficient incremental LL(1) parsing -- Fundamentals of context-sensitive rewriting -- Constraint Logic Programming with Fuzzy Sets -- Parallel processing of image database queries -- Maximum flow problem in distributed environment -- Fuzzy set theory and medical expert systems: Survey and model -- The Fusion object-oriented method: an evaluation -- Integration of Object-Oriented analysis and Algebraic specifications -- On the implementation of some residual minimizing Krylov space methods -- A formal lazy replication regime for spreading conversion functions over objectbases -- Hopfleid languages -- Inconsistency conflict resolution -- A methodology for performance and scalability analysis -- On the efficiency of superscalar and vector computer for some problems in scientific computing -- Logic programming in RPL and RQL -- Recognition of handwritten characters using Instance-Based Learning Algorithms. |
| Record Nr. | UNISA-996465765203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soft-letter
| Soft-letter |
| Pubbl/distr/stampa | Cambridge, Mass., : [Mercury Group] |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico |
Computer software industry - United States
Microcomputers - United States Computer software industry Microcomputers |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996212654603316 |
| Cambridge, Mass., : [Mercury Group] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
