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.
Advances in Data and Information Sciences [[electronic resource] ] : Proceedings of ICDIS 2017, Volume 2 / / edited by Mohan L. Kolhe, Munesh C. Trivedi, Shailesh Tiwari, Vikash Kumar Singh
| Advances in Data and Information Sciences [[electronic resource] ] : Proceedings of ICDIS 2017, Volume 2 / / edited by Mohan L. Kolhe, Munesh C. Trivedi, Shailesh Tiwari, Vikash Kumar Singh |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (393 pages) |
| Disciplina | 005 |
| Collana | Lecture Notes in Networks and Systems |
| Soggetto topico |
Telecommunication
Data mining Engineering Communications Engineering, Networks Data Mining and Knowledge Discovery Computational Intelligence |
| ISBN | 981-13-0277-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Replica Control Following 1SR in DRTDBS Through Best Case of Transaction Execution -- FPGA Implementation of a Fast Scalar Point Multiplier for an Elliptic Curve Processor -- A Bloom Filter Based Data Deduplication for Big Data -- ITDA: CUBE – Less Architecture for Effective Multidimensional Data Analysis -- On Using Priority Inheritance Based Distributed Static Two Phase Locking Protocol -- A New Way to Find Way Using Depth Direction A* -- ECG Biometric Analysis Using Walsh Hadamard Transform -- A Priority Heuristic Policy in Mobile Distributed Real Time Database System -- A Proposal for Optimization of Horizontal Scaling in Big Data Environment -- A Literature Review on Hadoop Ecosystem and Various Techniques of Bigdata Optimization -- Smart Mobile Bot Detection Through Behavioral Analysis -- Compendium Depiction on the Applications of Cloud Robotics for the Reclamation of Mankind -- A Framework for Data Storage Security in Cloud -- Dynamic Sentiment Analysis Using Multiple Machine Learning Algorithms: A Comparative Knowledge Methodology -- Sentimental Analysis Using Tuned Ensemble Machine Learning Approach. |
| Record Nr. | UNINA-9910350288403321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Data and Information Sciences [[electronic resource] ] : Proceedings of ICDIS-2017, Volume 1 / / edited by Mohan L. Kolhe, Munesh C. Trivedi, Shailesh Tiwari, Vikash Kumar Singh
| Advances in Data and Information Sciences [[electronic resource] ] : Proceedings of ICDIS-2017, Volume 1 / / edited by Mohan L. Kolhe, Munesh C. Trivedi, Shailesh Tiwari, Vikash Kumar Singh |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (301 pages) |
| Disciplina | 005 |
| Collana | Lecture Notes in Networks and Systems |
| Soggetto topico |
Electrical engineering
Data mining Computational intelligence Communications Engineering, Networks Data Mining and Knowledge Discovery Computational Intelligence |
| ISBN | 981-10-8360-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computation of Dynamic Signal Phases for Vehicular Traffic -- Disctrete Wavelet Transform and kNN Based Fault Detector and Classifier for PV Integrated Microgrid -- Automated Tool for Extraction of Software Fault Data -- Comparative Study of Mobile Forensic Tools -- Implementing Image Compression and Cryptography on Fractal Images -- Computer Aided Diagnosis of Melanoma Skin Cancer: A Review -- Computer Vision Based Tomato Grading and Sorting -- Movie Recommendation System Using Genome Tags and Content-based Filtering -- Leveraging Machine Learning in Mist Computing Telemonitoring System for Diabetes Prediction -- A Novel Energy Ecient Hybrid Full Adder Circuit -- An Insight into Theory-Guided Climate Data Science - A Literature Review -- Fusion of Signal and Differential Signal Domain Features for Epilepsy Identification in Electroencephalogram Signals. |
| Record Nr. | UNINA-9910299927803321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Visual Computing [[electronic resource] ] : 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, Part I / / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ryan McMahan, Jason Jerald, Hui Zhang, Steven Drucker, Kambhamettu Chandra, El Choubassi Maha, Zhigang Deng, Mark Carlson
| Advances in Visual Computing [[electronic resource] ] : 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, Part I / / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ryan McMahan, Jason Jerald, Hui Zhang, Steven Drucker, Kambhamettu Chandra, El Choubassi Maha, Zhigang Deng, Mark Carlson |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XL, 842 p. 440 illus.) |
| Disciplina | 005 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Pattern recognition
Computer graphics Optical data processing User interfaces (Computer systems) Application software Bioinformatics Pattern Recognition Computer Graphics Image Processing and Computer Vision User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Computational Biology/Bioinformatics |
| ISBN | 3-319-14249-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computational Bioimaging -- Computer Graphics -- Motion and Tracking -- Feature Extraction and Matching -- Segmentation -- Visualization -- 3D Mapping, Modeling and Surface -- Reconstruction -- Unmanned Autonomous Systems -- Medical Imaging -- Tracking for Human Activity Monitoring -- Intelligent Transportation Systems -- Visual Perception and Robotic Systems. |
| Record Nr. | UNISA-996211263803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Visual Computing [[electronic resource] ] : 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, Part I / / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ryan McMahan, Jason Jerald, Hui Zhang, Steven Drucker, Kambhamettu Chandra, El Choubassi Maha, Zhigang Deng, Mark Carlson
| Advances in Visual Computing [[electronic resource] ] : 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, Part I / / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ryan McMahan, Jason Jerald, Hui Zhang, Steven Drucker, Kambhamettu Chandra, El Choubassi Maha, Zhigang Deng, Mark Carlson |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XL, 842 p. 440 illus.) |
| Disciplina | 005 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Pattern recognition
Computer graphics Optical data processing User interfaces (Computer systems) Application software Bioinformatics Pattern Recognition Computer Graphics Image Processing and Computer Vision User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Computational Biology/Bioinformatics |
| ISBN | 3-319-14249-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computational Bioimaging -- Computer Graphics -- Motion and Tracking -- Feature Extraction and Matching -- Segmentation -- Visualization -- 3D Mapping, Modeling and Surface -- Reconstruction -- Unmanned Autonomous Systems -- Medical Imaging -- Tracking for Human Activity Monitoring -- Intelligent Transportation Systems -- Visual Perception and Robotic Systems. |
| Record Nr. | UNINA-9910483141703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Affidabilita del software / John D. Musa, Anthony Iannino, Kazuhira Okumoto
| Affidabilita del software / John D. Musa, Anthony Iannino, Kazuhira Okumoto |
| Autore | Musa, John D. |
| Pubbl/distr/stampa | Milano, : McGraw-Hill Libri Italia, 1991 |
| Descrizione fisica | XVIII, 667 p. ; 25 cm |
| Disciplina | 005 |
| Altri autori (Persone) |
Iannino, Anthony
Okumoto, Kazuhira |
| Soggetto topico | Elaboratori elettronici - Programmi - Affidabilità |
| ISBN | 8838606412 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-BRI0007433 |
Musa, John D.
|
||
| Milano, : McGraw-Hill Libri Italia, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Affidabilità e sicurezza del software / Giuseppe Iazeolla
| Affidabilità e sicurezza del software / Giuseppe Iazeolla |
| Autore | Iazeolla, Giuseppe |
| Pubbl/distr/stampa | Milano : Franco Angeli, 2013 |
| Descrizione fisica | 236 p. ; 23 cm |
| Disciplina | 005 |
| Soggetto non controllato | Programmi per elaboratori - Affidabilità [e] Socurezza |
| ISBN | 978--88-204-2073-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990010085050403321 |
| Iazeolla, Giuseppe | ||
| Milano : Franco Angeli, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The African journal of information systems
| The African journal of information systems |
| Pubbl/distr/stampa | Baton Rouge, LA, : Southern University, AICTRG |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico | Computer science |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | AJIS |
| Record Nr. | UNISA-996206057303316 |
| Baton Rouge, LA, : Southern University, AICTRG | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The African journal of information systems
| The African journal of information systems |
| Pubbl/distr/stampa | Baton Rouge, LA, : Southern University, AICTRG |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico | Computer science |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | AJIS |
| Record Nr. | UNINA-9910142278803321 |
| Baton Rouge, LA, : Southern University, AICTRG | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [[electronic resource] ] : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons
| Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [[electronic resource] ] : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIV, 390 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering Theory of Computation Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-47797-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ordered Sets and Complete Lattices -- Algebras and Coalgebras -- Galois Connections and Fixed Point Calculus -- Calculating Functional Programs -- Algebra of Program Termination -- Exercises in Coalgebraic Specification -- Algebraic Methods for Optimization Problems -- Temporal Algebra. |
| Record Nr. | UNINA-9910145793503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [[electronic resource] ] : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons
| Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [[electronic resource] ] : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIV, 390 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering Theory of Computation Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-47797-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ordered Sets and Complete Lattices -- Algebras and Coalgebras -- Galois Connections and Fixed Point Calculus -- Calculating Functional Programs -- Algebra of Program Termination -- Exercises in Coalgebraic Specification -- Algebraic Methods for Optimization Problems -- Temporal Algebra. |
| Record Nr. | UNISA-996466039903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
