top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui