| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996280673103316 |
|
|
Titolo |
IEEE Std 1800-2005 : IEEE Standard for System Verilog- Unified Hardware Design, Specification, and Verification Language / / IEEE |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified] : , : IEEE, , 2005 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This standard represents a merger of two previous standards: IEEE 1364-2005 Verilog hardware description language (HDL) and IEEE 1800-2005 SystemVerilog unified hardware design, specification and verification language. The 2005 SystemVerilog standard defines extensions to the 2005 Verilog standard. These two standards were designed to be used as one language. Merging the base Verilog language and the SystemVerilog extensions into a single standard enables users to have all information regarding syntax and semantics in a single document. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNICAMPANIAVAN00115356 |
|
|
Titolo |
Sparse grids and applications : Stuttgart 2014 / Jochen Garcke, Dirk Pfluger editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Titolo uniforme |
Sparse grids and applications - Stuttgart 2014 |
|
|
|
|
|
Descrizione fisica |
|
VIII, 336 p. : ill. ; 24 cm |
|
|
|
|
|
|
Soggetti |
|
62Hxx - Multivariate analysis [MSC 2020] |
65Dxx - Numerical approximation and computational geometry (primarily algorithms) [MSC 2020] |
65M12 - Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs [MSC 2020] |
65N12 - Stability and convergence of numerical methods for boundary value problems involving PDEs [MSC 2020] |
65Nxx - Numerical methods for partial differential equations, boundary value problems [MSC 2020] |
65Y20 - Complexity and performance of numerical algorithms [MSC 2020] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9911011377003321 |
|
|
Titolo |
Antike Konzepte neu denken bei Augustinus : Transformationen klassischer Texte in 'De civitate Dei' und weiteren Werken / Jochen Sauer (Hrsg.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Heidelberg, : Propylaeum, 2022 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Acta Didactica Classica. Bielefelder Beiträge zur Didaktik der Alten Sprachen in Schule und Universität ; Band 5 |
|
|
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |