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.
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-9910544449903321 |
|
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 | ||
| ||
Models, Mindsets, Meta: The What, the How, and the Why Not? [[electronic resource] ] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen
| Models, Mindsets, Meta: The What, the How, and the Why Not? [[electronic resource] ] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 431 p. 787 illus., 52 illus. in color.) |
| Disciplina | 004.01 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computers
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Algorithms Models and Principles Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-030-22348-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Kiel 1983-87 -- Edinburgh 1987-89 -- Aarhus 1989-90 -- Aachen 1990-93 -- Passau 1993-97 -- Dortmund 1997 – Today. |
| Record Nr. | UNINA-9910337857803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Models, Mindsets, Meta: The What, the How, and the Why Not? [[electronic resource] ] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen
| Models, Mindsets, Meta: The What, the How, and the Why Not? [[electronic resource] ] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 431 p. 787 illus., 52 illus. in color.) |
| Disciplina | 004.01 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computers
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Algorithms Models and Principles Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-030-22348-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Kiel 1983-87 -- Edinburgh 1987-89 -- Aarhus 1989-90 -- Aachen 1990-93 -- Passau 1993-97 -- Dortmund 1997 – Today. |
| Record Nr. | UNISA-996465614703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Nozioni di informatica per esami e concorsi : teoria e test / Fabiana Cardoni, Antonio Albanese
| Nozioni di informatica per esami e concorsi : teoria e test / Fabiana Cardoni, Antonio Albanese |
| Autore | Cardoni, Fabiana |
| Pubbl/distr/stampa | Napoli : Edizioni Simone, c1997 |
| Descrizione fisica | 176 p. ; 24 cm |
| Disciplina | 004.01 |
| Altri autori (Persone) | Albanese, Antonio |
| Collana | Simone |
| Soggetto non controllato |
Informatica
Informatica di base |
| ISBN | 88-244-2209-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990002869940403321 |
|
Cardoni, Fabiana
|
||
| Napoli : Edizioni Simone, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk
| Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk |
| Autore | Girault, Claude |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 2010 |
| Descrizione fisica | XVI, 607 p. : ill. ; 24 cm |
| Disciplina |
004.01
004.0151 |
| Altri autori (Persone) | Valk, Rüdiger |
| Soggetto topico |
Informatica - Metodi matematici
Reti di Petri |
| ISBN | 9783642074479 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0512982 |
|
Girault, Claude
|
||
| Berlin [etc.], : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Probability and statistics for computer science / James L. Johnson
| Probability and statistics for computer science / James L. Johnson |
| Autore | Johnson, James Lee <1942- > |
| Pubbl/distr/stampa | Hoboken, : Wiley Interscience, c2008 |
| Descrizione fisica | XVI, 744 p. ; 24 cm. |
| Disciplina |
004.01
004.0151 |
| Soggetto topico |
Informatica - Metodi matematici
Probabilità Statistica - Metodi matematici |
| ISBN | 9780470383421 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO3562947 |
|
Johnson, James Lee <1942- >
|
||
| Hoboken, : Wiley Interscience, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Probability with R : an introduction with computer science applications / Jane M. Horgan
| Probability with R : an introduction with computer science applications / Jane M. Horgan |
| Autore | Horgan, Jane M. <1947- > |
| Pubbl/distr/stampa | Hoboken (N.J.), : Wiley, 2009 |
| Descrizione fisica | XVIII, 393 p. ; 25 cm |
| Disciplina |
004.01
004.015113 |
| Soggetto topico |
Informatica - Metodi matematici
Probabilità Microelaboratori elettronici - Programmazione - Linguaggio R |
| ISBN | 9780470280737 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-USM1830987 |
|
Horgan, Jane M. <1947- >
|
||
| Hoboken (N.J.), : Wiley, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
