Applications of Nanobiotechnology in Pharmacology |
Autore | Tao Wei |
Pubbl/distr/stampa | Frontiers Media SA, 2020 |
Descrizione fisica | 1 electronic resource (301 p.) |
Soggetto topico |
Science: general issues
Pharmacology |
Soggetto non controllato |
pharmaceutical nanotechnology
drug delivery nanomedicine theranostics biomaterial regenerative medicine |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910557206403321 |
Tao Wei | ||
Frontiers Media SA, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automated Technology for Verification and Analysis [[electronic resource] ] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / / edited by Shuvendu K. Lahiri, Chao Wang |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIII, 560 p. 133 illus.) |
Disciplina | 004.015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer security Computer simulation Computer logic Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Systems and Data Security Simulation and Modeling Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-030-01090-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic. |
Record Nr. | UNISA-996466325503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / / edited by Shuvendu K. Lahiri, Chao Wang |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIII, 560 p. 133 illus.) |
Disciplina |
004.015113
006.333 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer security Computer simulation Computer logic Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Systems and Data Security Simulation and Modeling Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-030-01090-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic. |
Record Nr. | UNINA-9910349402203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Aided Verification [[electronic resource] ] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / / edited by Shuvendu K. Lahiri, Chao Wang |
Autore | Lahiri Shuvendu K |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVIII, 683 p. 719 illus., 94 illus. in color.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Artificial intelligence Computer engineering Computer networks Computers Software Engineering Theory of Computation Artificial Intelligence Computer Engineering and Networks Computer Hardware Computer Science |
ISBN | 3-030-53291-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. |
Record Nr. | UNISA-996418301003316 |
Lahiri Shuvendu K | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Aided Verification [[electronic resource] ] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / / edited by Shuvendu K. Lahiri, Chao Wang |
Autore | Lahiri Shuvendu K |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVII, 669 p. 616 illus., 117 illus. in color.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Computer engineering Computer networks Artificial intelligence Computers Software Engineering Theory of Computation Computer Engineering and Networks Artificial Intelligence Computer Communication Networks Computer Hardware |
ISBN | 3-030-53288-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems. |
Record Nr. | UNISA-996418299403316 |
Lahiri Shuvendu K | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / / edited by Shuvendu K. Lahiri, Chao Wang |
Autore | Lahiri Shuvendu K |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVII, 669 p. 616 illus., 117 illus. in color.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Computer engineering Computer networks Artificial intelligence Computers Software Engineering Theory of Computation Computer Engineering and Networks Artificial Intelligence Computer Communication Networks Computer Hardware |
ISBN | 3-030-53288-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems. |
Record Nr. | UNINA-9910413446403321 |
Lahiri Shuvendu K | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / / edited by Shuvendu K. Lahiri, Chao Wang |
Autore | Lahiri Shuvendu K |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVIII, 683 p. 719 illus., 94 illus. in color.) |
Disciplina |
005.1
004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Artificial intelligence Computer engineering Computer networks Computers Software Engineering Theory of Computation Artificial Intelligence Computer Engineering and Networks Computer Hardware Computer Science |
ISBN | 3-030-53291-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. |
Record Nr. | UNINA-9910413446303321 |
Lahiri Shuvendu K | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Construction Research Congress 2018 : construction project management : selected papers from the Construction Research Congress 2018, April 2-4, 2018, New Orleans, Louisiana / / edited by Chao Wang [and four others] |
Pubbl/distr/stampa | Reston, Virginia : , : American Society of Civil Engineers, , 2018 |
Descrizione fisica | 1 online resource (136 pages) |
Disciplina | 624.0684 |
Soggetto topico | Construction projects - Management |
Soggetto genere / forma | Electronic books. |
ISBN | 0-7844-8127-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910467336403321 |
Reston, Virginia : , : American Society of Civil Engineers, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Construction Research Congress 2018 : safety and disaster management : selected papers from the Construction Research Congress 2018, April 2-4, 2018, New Orleans, Louisiana / / edited by Chao Wang [and four others] |
Pubbl/distr/stampa | Reston, Virginia : , : American Society of Civil Engineers, , 2018 |
Descrizione fisica | 1 online resource (xxxv, 3,014 pages) |
Disciplina | 624.068 |
Soggetto topico |
Construction industry - Management
Building - Technological innovations |
Soggetto genere / forma | Electronic books. |
ISBN | 0-7844-8128-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910467333603321 |
Reston, Virginia : , : American Society of Civil Engineers, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Construction Research Congress 2018 : construction information technology : selected papers from the Construction Research Congress 2018, April 2-4, 2018, New Orleans, Louisiana / / edited by Chao Wang [and four others] |
Pubbl/distr/stampa | Reston, Virginia : , : American Society of Civil Engineers, , 2018 |
Descrizione fisica | 1 online resource (801 pages) |
Disciplina | 624.0684 |
Soggetto topico | Construction industry - Information technology |
Soggetto genere / forma | Electronic books. |
ISBN | 0-7844-8126-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910467335103321 |
Reston, Virginia : , : American Society of Civil Engineers, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|