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.
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XXIX, 574 p. 238 illus., 189 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Software engineering
Application software
Logic design
Electronic digital computers—Evaluation
Computer vision
Computer Communication Networks
Software Engineering
Computer and Information Systems Applications
Logic Design
System Performance and Evaluation
Computer Vision
ISBN 3-030-24311-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465610803316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XXX, 786 p. 372 illus., 212 illus. in color.)
Disciplina 004.015113
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Software engineering
Application software
Logic design
Electronic digital computers—Evaluation
Computer vision
Computer Communication Networks
Software Engineering
Computer and Information Systems Applications
Logic Design
System Performance and Evaluation
Computer Vision
ISBN 3-030-24296-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910337853803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XXX, 845 p. 409 illus., 295 illus. in color.)
Disciplina 004.015113
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Software engineering
Application software
Logic design
Electronic digital computers—Evaluation
Computer vision
Computer Communication Networks
Software Engineering
Computer and Information Systems Applications
Logic Design
System Performance and Evaluation
Computer Vision
ISBN 3-030-24289-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910337853903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XXIX, 574 p. 238 illus., 189 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Software engineering
Application software
Logic design
Electronic digital computers—Evaluation
Computer vision
Computer Communication Networks
Software Engineering
Computer and Information Systems Applications
Logic Design
System Performance and Evaluation
Computer Vision
ISBN 3-030-24311-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910337854403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XXX, 733 p. 343 illus., 226 illus. in color.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Software engineering
Application software
Logic design
Electronic digital computers—Evaluation
Computer vision
Computer Communication Networks
Software Engineering
Computer and Information Systems Applications
Logic Design
System Performance and Evaluation
Computer Vision
ISBN 3-030-24308-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910337854503321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XXX, 728 p. 359 illus., 240 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Software engineering
Application software
Logic design
Electronic digital computers—Evaluation
Computer vision
Computer Communication Networks
Software Engineering
Computer and Information Systems Applications
Logic Design
System Performance and Evaluation
Computer Vision
ISBN 3-030-24302-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910337854803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XXXI, 837 p. 347 illus., 290 illus. in color.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Software engineering
Application software
Logic design
Electronic digital computers—Evaluation
Computer vision
Computer Communication Networks
Software Engineering
Computer and Information Systems Applications
Logic Design
System Performance and Evaluation
Computer Vision
ISBN 3-030-24305-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910337854703321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Aided Verification [[electronic resource] ] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / / edited by Isil Dillig, Serdar Tasiran
Computer Aided Verification [[electronic resource] ] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / / edited by Isil Dillig, Serdar Tasiran
Autore Dillig Isil
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XX, 549 p. 1209 illus., 42 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Software engineering
Computer science
Machine theory
Electronic digital computers—Evaluation
Computers
Professions
Logic programming
Software Engineering
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
System Performance and Evaluation
The Computing Profession
Logic in AI
ISBN 3-030-25543-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .
Record Nr. UNISA-996466366803316
Dillig Isil  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Aided Verification [[electronic resource] ] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / / edited by Isil Dillig, Serdar Tasiran
Computer Aided Verification [[electronic resource] ] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / / edited by Isil Dillig, Serdar Tasiran
Autore Dillig Isil
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XX, 549 p. 1209 illus., 42 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Software engineering
Computer science
Machine theory
Electronic digital computers—Evaluation
Computers
Professions
Logic programming
Software Engineering
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
System Performance and Evaluation
The Computing Profession
Logic in AI
ISBN 3-030-25543-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .
Record Nr. UNINA-9910349314103321
Dillig Isil  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Aided Verification [[electronic resource] ] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / / edited by Rupak Majumdar, Viktor Kunčak
Computer Aided Verification [[electronic resource] ] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / / edited by Rupak Majumdar, Viktor Kunčak
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XIX, 601 p. 142 illus.)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Computer simulation
Computers
Professions
Electronic digital computers—Evaluation
Artificial intelligence
Computer Science Logic and Foundations of Programming
Software Engineering
Computer Modelling
The Computing Profession
System Performance and Evaluation
Artificial Intelligence
ISBN 3-319-63387-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Data Driven Techniques -- Runtime Verication -- Cyber-Physical Systems -- Concurrency -- Analysis of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis -- Decision Procedures and their Applications -- Software Analysis.
Record Nr. UNISA-996466320003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui