| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910555249403321 |
|
|
Autore |
Chatzikyriakidis Stergios |
|
|
Titolo |
Formal semantics in modern type theories / / Stergios Chatzikyriakidis, Zhaohui Luo |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, England : , : ISTE Ltd |
|
Hoboken, New Jersey : , : John Wiley & Sons, Incorporated, , [2020] |
|
©2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-119-48921-0 |
1-119-48925-3 |
1-119-48922-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (241 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Type theory |
Semantics - Mathematical models |
Natural language processing (Computer science) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996591257003316 |
|
|
Titolo |
International journal of mechanical system dynamics |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Hoboken, NJ] : , : Published by John Wiley & Sons Australia on behalf of Nanjing University of Science and Technology, , [2021-] |
|
|
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Machinery, Dynamics of |
Mechanical engineering |
Systems engineering |
Dynamics |
Engineering design |
Dynamic testing |
Engineering models |
Simulation methods |
Dynamique des machines |
Génie mécanique |
Ingénierie des systèmes |
Dynamique |
Conception technique |
Modèles techniques |
Méthodes de simulation |
Essais dynamiques |
Periodical |
periodicals. |
Periodicals. |
Périodiques. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910568278603321 |
|
|
Titolo |
Advances in Bioelectrochemistry Volume 4 : Biodevice, Bioelectrosynthesis and Bioenergy / / edited by Frank N. Crespilho |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
9783030996628 |
9783030996611 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (144 pages) |
|
|
|
|
|
|
Collana |
|
Chemistry and Materials Science Series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Electrochemistry |
Molecular probes |
Materials science |
Materials |
Detectors |
Bioenergetics |
Biological Sensors and Probes |
Materials Science |
Sensors and biosensors |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
1. Protein Engineering for Designing Efficient Bioelectrodes -- 2. Bioelectrosynthesis of Value-Added Compounds Production -- 3. Progress in Enzyme-Based Biofuel Cells -- 4. Bioinspired Batteries: Using Nature-Inspired Materials In Greener And Safer Energy Storage Technologies -- 5. Biophotovoltaic: Fundamentals and Applications. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents a collection of chapters on modern bioelectrochemistry focusing on new materials for biodevice, bioelectrosynthesis and bioenergy. The chapters cover protein engineering, semiconductors, biorecognition, graphene-based bioelectronics, bioelectrosynthesis, biofuel cells, bioinspired batteries and biophotovoltaics. |
|
|
|
|
|
|
|
| |