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.
Harnessing the UEFI shell : moving the platform beyond DOS / / Michael Rothman, Vincent Zimmer, Tim Lewis
| Harnessing the UEFI shell : moving the platform beyond DOS / / Michael Rothman, Vincent Zimmer, Tim Lewis |
| Autore | Rothman Michael <1969-> |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Boston, [Massachusetts] ; ; Berlin, [Germany] : , : De|G Press, , 2017 |
| Descrizione fisica | 1 online resource (326 pages) : illustrations |
| Disciplina | 005.434 |
| Soggetto topico |
Computer firmware
Command languages (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-5015-0575-0
1-5015-0581-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Chapter 1. Introduction -- Chapter 2. Under the UEFI Shell -- Chapter 3. What Is the UEFI Shell? -- Chapter 4. Why We Need an Execution Environment before the OS -- Chapter 5. Manufacturing -- Chapter 6. Bare Metal Provisionig -- Chapter 7. Configuration of Provisioned Material -- Chapter 8. The Use of UEFI for Diagnostics -- Chapter 9. UEFI Shell Scripting -- Chapter 10. UEFI Shell Programming -- Chapter 11. Managing UEFI Drivers Using the Shell -- Appendix A. Security Considerations -- Appendix B. Command Reference -- Appendix C. Programming Reference -- Appendix D. UEFI Shell Library -- Index |
| Record Nr. | UNINA-9910466296103321 |
Rothman Michael <1969->
|
||
| Boston, [Massachusetts] ; ; Berlin, [Germany] : , : De|G Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Harnessing the UEFI shell : moving the platform beyond DOS / / Michael Rothman, Vincent Zimmer, Tim Lewis
| Harnessing the UEFI shell : moving the platform beyond DOS / / Michael Rothman, Vincent Zimmer, Tim Lewis |
| Autore | Rothman Michael <1969-> |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Boston, [Massachusetts] ; ; Berlin, [Germany] : , : De|G Press, , 2017 |
| Descrizione fisica | 1 online resource (326 pages) : illustrations |
| Disciplina | 005.434 |
| Soggetto topico |
Computer firmware
Command languages (Computer science) |
| Soggetto non controllato |
BIOS
Boot EFI Firmware Registry UEFI Unified Extensible Firmware Interface |
| ISBN |
1-5015-0575-0
1-5015-0581-5 |
| Classificazione | COM011000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Chapter 1. Introduction -- Chapter 2. Under the UEFI Shell -- Chapter 3. What Is the UEFI Shell? -- Chapter 4. Why We Need an Execution Environment before the OS -- Chapter 5. Manufacturing -- Chapter 6. Bare Metal Provisionig -- Chapter 7. Configuration of Provisioned Material -- Chapter 8. The Use of UEFI for Diagnostics -- Chapter 9. UEFI Shell Scripting -- Chapter 10. UEFI Shell Programming -- Chapter 11. Managing UEFI Drivers Using the Shell -- Appendix A. Security Considerations -- Appendix B. Command Reference -- Appendix C. Programming Reference -- Appendix D. UEFI Shell Library -- Index |
| Record Nr. | UNINA-9910792891003321 |
|
Rothman Michael <1969->
|
||
| Boston, [Massachusetts] ; ; Berlin, [Germany] : , : De|G Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Harnessing the UEFI shell : moving the platform beyond DOS / / Michael Rothman, Vincent Zimmer, Tim Lewis
| Harnessing the UEFI shell : moving the platform beyond DOS / / Michael Rothman, Vincent Zimmer, Tim Lewis |
| Autore | Rothman Michael <1969-> |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Boston, [Massachusetts] ; ; Berlin, [Germany] : , : De|G Press, , 2017 |
| Descrizione fisica | 1 online resource (326 pages) : illustrations |
| Disciplina | 005.434 |
| Soggetto topico |
Computer firmware
Command languages (Computer science) |
| Soggetto non controllato |
BIOS
Boot EFI Firmware Registry UEFI Unified Extensible Firmware Interface |
| ISBN |
1-5015-0575-0
1-5015-0581-5 |
| Classificazione | COM011000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Chapter 1. Introduction -- Chapter 2. Under the UEFI Shell -- Chapter 3. What Is the UEFI Shell? -- Chapter 4. Why We Need an Execution Environment before the OS -- Chapter 5. Manufacturing -- Chapter 6. Bare Metal Provisionig -- Chapter 7. Configuration of Provisioned Material -- Chapter 8. The Use of UEFI for Diagnostics -- Chapter 9. UEFI Shell Scripting -- Chapter 10. UEFI Shell Programming -- Chapter 11. Managing UEFI Drivers Using the Shell -- Appendix A. Security Considerations -- Appendix B. Command Reference -- Appendix C. Programming Reference -- Appendix D. UEFI Shell Library -- Index |
| Record Nr. | UNINA-9910806237703321 |
|
Rothman Michael <1969->
|
||
| Boston, [Massachusetts] ; ; Berlin, [Germany] : , : De|G Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The IEE seminar on process modelling using UML : 7 March 2006
| The IEE seminar on process modelling using UML : 7 March 2006 |
| Pubbl/distr/stampa | [Place of publication not identified], : Institution of Electrical Engineers, 2005 |
| Disciplina | 005.434 |
| Soggetto topico |
Process - Simulation methods
UML (Computer science) Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996207474603316 |
| [Place of publication not identified], : Institution of Electrical Engineers, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Jupyter cookbook : over 75 recipes to perform interactive computing across Python, R, Scala, Spark, JavaScript, and more / / Dan Toomey
| Jupyter cookbook : over 75 recipes to perform interactive computing across Python, R, Scala, Spark, JavaScript, and more / / Dan Toomey |
| Autore | Toomey Dan |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Birmingham ; ; Mumbai : , : Packt, , [2018] |
| Descrizione fisica | 1 online resource (238 pages) |
| Disciplina | 005.434 |
| Soggetto topico | Command languages (Computer science) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910794630103321 |
|
Toomey Dan
|
||
| Birmingham ; ; Mumbai : , : Packt, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Jupyter cookbook : over 75 recipes to perform interactive computing across Python, R, Scala, Spark, JavaScript, and more / / Dan Toomey
| Jupyter cookbook : over 75 recipes to perform interactive computing across Python, R, Scala, Spark, JavaScript, and more / / Dan Toomey |
| Autore | Toomey Dan |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Birmingham ; ; Mumbai : , : Packt, , [2018] |
| Descrizione fisica | 1 online resource (238 pages) |
| Disciplina | 005.434 |
| Soggetto topico | Command languages (Computer science) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910820826103321 |
|
Toomey Dan
|
||
| Birmingham ; ; Mumbai : , : Packt, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Pipelined Multi-Core Machine with Operating System Support [[electronic resource] ] : Hardware Implementation and Correctness Proof / / by Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul
| A Pipelined Multi-Core Machine with Operating System Support [[electronic resource] ] : Hardware Implementation and Correctness Proof / / by Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul |
| Autore | Lutsyk Petro |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (634 pages) |
| Disciplina | 005.434 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer engineering Computer networks Microprogramming Computer input-output equipment Logic programming Computer science Programming Techniques Computer Engineering and Networks Control Structures and Microprogramming Input/Output and Data Communications Logic in AI Theory of Computation |
| ISBN | 3-030-43243-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introductory material -- on hierarchical hardware design -- hardware library -- basic processor design -- pipelining -- cache memory systems -- interrupt mechanism -- self modification, instruction buffer and nondeterministic ISA -- memory management units -- store buffers -- multi-core processors -- advanced programmable interrupt controllers (APICs) -- adding a disk -- I/O apic. |
| Record Nr. | UNISA-996418302503316 |
|
Lutsyk Petro
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A Pipelined Multi-Core Machine with Operating System Support [[electronic resource] ] : Hardware Implementation and Correctness Proof / / by Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul
| A Pipelined Multi-Core Machine with Operating System Support [[electronic resource] ] : Hardware Implementation and Correctness Proof / / by Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul |
| Autore | Lutsyk Petro |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (634 pages) |
| Disciplina | 005.434 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer engineering Computer networks Microprogramming Computer input-output equipment Logic programming Computer science Programming Techniques Computer Engineering and Networks Control Structures and Microprogramming Input/Output and Data Communications Logic in AI Theory of Computation |
| ISBN | 3-030-43243-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introductory material -- on hierarchical hardware design -- hardware library -- basic processor design -- pipelining -- cache memory systems -- interrupt mechanism -- self modification, instruction buffer and nondeterministic ISA -- memory management units -- store buffers -- multi-core processors -- advanced programmable interrupt controllers (APICs) -- adding a disk -- I/O apic. |
| Record Nr. | UNINA-9910409666503321 |
|
Lutsyk Petro
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of transaction processing for the systems professional / Philip A. Bernstein, Eric Newcomer
| Principles of transaction processing for the systems professional / Philip A. Bernstein, Eric Newcomer |
| Autore | Bernstein, Philip A. |
| Descrizione fisica | San Francisco (CA) : Morgan Kaufmann, 1997. -XXIV, 358 p. ; 24 cm. |
| Disciplina |
005.4
005.434 |
| Altri autori (Persone) | Newcomer, Eric |
| Collana | The Morgan Kaufmann series in data management systems |
| ISBN | 1558604154 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS0052792 |
|
Bernstein, Philip A.
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Reusable Firmware Development [[electronic resource] ] : A Practical Approach to APIs, HALs and Drivers / / by Jacob Beningo
| Reusable Firmware Development [[electronic resource] ] : A Practical Approach to APIs, HALs and Drivers / / by Jacob Beningo |
| Autore | Beningo Jacob |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017 |
| Descrizione fisica | 1 online resource (XXII, 308 p. 115 illus., 90 illus. in color.) |
| Disciplina | 005.434 |
| Soggetto topico |
Computer input-output equipment
Computer programming Hardware and Maker Programming Techniques |
| ISBN | 1-4842-3297-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1 Concepts for Developing Portable Firmware -- Chapter 2 API and HAL Fundamentals -- Chapter 3 Device Driver Fundamentals in C -- Chapter 4 Writing Reusable Drivers -- Chapter 5 Documenting Firmware with Doxygen -- Chapter 6 The Hardware Abstraction Layer Design Process -- Chapter 7 HAL Design for GPIO -- Chapter 8 HAL Design for SPI -- Chapter 9 HAL Design for EEPROM and Memory Devices -- Chapter 10 API Design for Embedded Applications -- Chapter 11 Testing Portable Embedded Software -- Chapter 12 A Practical Approach to Code Reuse -- Final Thoughts. |
| Record Nr. | UNINA-9910254562503321 |
|
Beningo Jacob
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||