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.
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
| Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1993 |
| Descrizione fisica | 442 p. ; 25 cm |
| Disciplina |
004.01
004.015113 |
| Collana | NATO ASI series, . Series F, Computer and systems sciences |
| Soggetto topico |
Logica matematica - Congressi - 1991
Logica simbolica - Congressi - 1991 Informatica - Metodi matematici |
| ISBN |
0387558136
3540558136 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10001456 |
| Berlin [etc.], : Springer, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Manuale di documentazione per l'elaborazione dei dati : guida pratica per la progettazione di un sistema standard di documentazione per la elaborazione dei dati / Max Gray, Keith R. London
| Manuale di documentazione per l'elaborazione dei dati : guida pratica per la progettazione di un sistema standard di documentazione per la elaborazione dei dati / Max Gray, Keith R. London |
| Autore | Gray, Max |
| Edizione | [8. ed.] |
| Pubbl/distr/stampa | Milano : FrancoAngeli, 1975 |
| Descrizione fisica | 211 p.m : ill. ; 22 cm |
| Disciplina | 004.01 |
| Collana | Informatica EDP |
| Soggetto non controllato |
Informatica
Informatica di base Informatica - Manuali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990002795420403321 |
Gray, Max
|
||
| Milano : FrancoAngeli, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Matematica di base per il calcolatore / Seymour Lipschutz
| Matematica di base per il calcolatore / Seymour Lipschutz |
| Autore | Lipschutz, Seymour |
| Pubbl/distr/stampa | [Milano] : Etaslibri, 1984 |
| Descrizione fisica | 357 p. ; 27 p. |
| Disciplina | 004.01 |
| Collana | Collana Schaum |
| Soggetto non controllato |
Calcolo meccanicoEsercizi
Elaboratori elettroniciProgrammazioneMetodi matematici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIPARTHENOPE-000001392 |
|
Lipschutz, Seymour
|
||
| [Milano] : Etaslibri, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Matematica di base per il calcolatore / Seymour Lipschutz
| Matematica di base per il calcolatore / Seymour Lipschutz |
| Autore | Lipschutz, Seymour |
| Pubbl/distr/stampa | [Milano] : Etas libri, 1984 |
| Descrizione fisica | 357 p. ; 27 cm |
| Disciplina | 004.01 |
| Collana | Collana Schaum. Teoria e problemi ; 61 |
| Soggetto topico |
Calcolo meccanico - Esercizi
Elaboratori elettronici - Programmazione - Metodi matematici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000626059707536 |
|
Lipschutz, Seymour
|
||
| [Milano] : Etas libri, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical foundations of computer science / Peter A. Fejer, Dan A. Simovici
| Mathematical foundations of computer science / Peter A. Fejer, Dan A. Simovici |
| Autore | Fejer, Peter A. |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag |
| Descrizione fisica | v. ; 25 cm. |
| Disciplina |
004.01
004.0151 |
| Altri autori (Persone) | Simovici, Dan A. |
| Collana | Texts and monographs in computer science |
| Soggetto topico | Calcolo meccanico |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-PUV0057294 |
|
Fejer, Peter A.
|
||
| New York [etc.], : Springer-Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Mathematics and Computing 2013 [[electronic resource] ] : International Conference in Haldia, India / / edited by Ram N. Mohapatra, Debasis Giri, P. K. Saxena, P. D. Srivastava
| Mathematics and Computing 2013 [[electronic resource] ] : International Conference in Haldia, India / / edited by Ram N. Mohapatra, Debasis Giri, P. K. Saxena, P. D. Srivastava |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | New Delhi : , : Springer India : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (366 p.) |
| Disciplina |
004.01
004.01/51 004.0151 |
| Collana | Springer Proceedings in Mathematics & Statistics |
| Soggetto topico |
Computer science—Mathematics
Computer mathematics Applied mathematics Engineering mathematics Computers and civilization Mathematical Applications in Computer Science Applications of Mathematics Computers and Society Math Applications in Computer Science |
| ISBN | 81-322-1952-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Propagation of water waves in the presence of thin vertical barrier on the bottom undulation -- Chapter 2. Cryptanalysis of Multilanguage Encryption Techniques -- Chapter 3. Signcryption with Delayed Identification -- Chapter 4. HDNM8: A Round-8 High Diffusion Block Cipher With Nonlinear Mixing Function -- Chapter 5. Frames and Erasures -- Chapter 6. Semi-inner Product: Application to Frame Theory and Numerical Range of Operators -- Chapter 7. Multi-level Non-Linear Programming Problem With Some Multi-choice Parameter -- Chapter 8. A New Class of Rational Cubic Fractal Splines for Univariate Interpolation -- Chapter 9. Applications of Compressive Sensing To Surveillance Problems -- Chapter 10. Region of Variability for Some Subclasses of Univalent Functions -- Chapter 11. Ideal cone: a new method to generate complete Pareto set of multi-criteria optimization problems -- Chapter 12. Fractional Programming Problem with Bounded Parameters -- Chapter 13. Approximation Properties of Linear Positive Operators with the help of Biorthogonal Polynomials -- Chapter 14. Similarity Based Reasoning Fuzzy Systems and Universal Approximation -- Chapter 15. Similarity measure of intuitionistic fuzzy numbers by the centroid point -- Chapter 16. Classification Rules for Exponential Populations under Order Restrictions on Parameters -- Chapter 17. Solving the Exterior Bernoulli Problem using the Shape Derivative Approach -- Chapter 18. Applications of the Hausdorff measure of noncompactness on the space lp(r; s; t;B(m)), 1 p < ¥ -- Chapter 19. Some Geometric Properties of Generalized Cesàro-Musielak-Orlicz Sequence Spaces -- Chapter 20. Inverting the transforms arising in the GI=M=1 risk process using roots -- Chapter 21. On Quasi-ideals in Ternary Semirings -- Chapter 22. Epidemiological Models: a Study of Two Retroviruses, HIV and HTLV-I. |
| Record Nr. | UNINA-9910299992303321 |
| New Delhi : , : Springer India : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Metafísica de la web / / Maurizio Ferraris ; estudio introductorio y Apéndice Jimmy Hernández Marcelo ; edición y traducción Jimmy Hernández Marcelo, Paloma Vicente Moraleja
| Metafísica de la web / / Maurizio Ferraris ; estudio introductorio y Apéndice Jimmy Hernández Marcelo ; edición y traducción Jimmy Hernández Marcelo, Paloma Vicente Moraleja |
| Autore | Ferraris Maurizio |
| Pubbl/distr/stampa | Madrid : , : Dykinson, , 2020 |
| Descrizione fisica | 1 online resource (204 pages) |
| Disciplina | 004.01 |
| Soggetto topico |
Information technology - Philosophy
Web sites Tecnologías de la información - Filosofía Sitios Web |
| Soggetto genere / forma | Libros electronicos. |
| ISBN | 84-1324-973-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | spa |
| Record Nr. | UNINA-9910493703703321 |
|
Ferraris Maurizio
|
||
| Madrid : , : Dykinson, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Metafísica de la web / / Maurizio Ferraris ; estudio introductorio y apéndice Jimmy Hernández Marcelo ; edición y traducción Jimmy Hernández Marcelo, Paloma Vicente Moraleja
| Metafísica de la web / / Maurizio Ferraris ; estudio introductorio y apéndice Jimmy Hernández Marcelo ; edición y traducción Jimmy Hernández Marcelo, Paloma Vicente Moraleja |
| Autore | Ferraris Maurizio <1956-> |
| Pubbl/distr/stampa | Madrid : , : Dykinson, , [2020] |
| Descrizione fisica | 1 online resource (204 pages) |
| Disciplina | 004.01 |
| Soggetto topico | Information technology - Philosophy |
| ISBN | 84-1324-973-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | spa |
| Record Nr. | UNINA-9910794499603321 |
|
Ferraris Maurizio <1956->
|
||
| Madrid : , : Dykinson, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Metafísica de la web / / Maurizio Ferraris ; estudio introductorio y apéndice Jimmy Hernández Marcelo ; edición y traducción Jimmy Hernández Marcelo, Paloma Vicente Moraleja
| Metafísica de la web / / Maurizio Ferraris ; estudio introductorio y apéndice Jimmy Hernández Marcelo ; edición y traducción Jimmy Hernández Marcelo, Paloma Vicente Moraleja |
| Autore | Ferraris Maurizio <1956-> |
| Pubbl/distr/stampa | Madrid : , : Dykinson, , [2020] |
| Descrizione fisica | 1 online resource (204 pages) |
| Disciplina | 004.01 |
| Soggetto topico | Information technology - Philosophy |
| ISBN | 84-1324-973-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | spa |
| Record Nr. | UNINA-9910826475603321 |
|
Ferraris Maurizio <1956->
|
||
| Madrid : , : Dykinson, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet
| Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet |
| Pubbl/distr/stampa | London, : ISTE |
| Descrizione fisica | 393 p. ; 25 cm. |
| Disciplina |
004.01
004.0151 |
| Soggetto topico |
Elaborazione dei dati
Elaboratori elettronici - Programmi - Verifica |
| ISBN | 9781848210134 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0537923 |
| London, : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
