| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990000553640203316 |
|
|
Titolo |
Edipo : il teatro greco e la cultura europea : atti del convegno internazionale : Urbino, 15-19 novembre 1982 / a cura di Bruno Gentili e Roberto Pretagostini |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma : Edizioni dell'Ateneo, 1986 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Quaderni urbinati di cultura classica , Atti di convegni ; 3 |
|
|
|
|
|
|
Soggetti |
|
Edipo nella letteratura - Congressi - 1982 |
Edipo - Congressi - 1982 |
Congressi - Urbino - 1982 |
|
|
|
|
|
|
|
|
Collocazione |
|
V.1.B. 632(VIII A COLL. 123/3) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
In testa al front.: Università degli studi di Urbino, Istituto di filologia classica Provincia di Pesaro e urbino |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996278308903316 |
|
|
Titolo |
ISO/IEC/IEEE 24765:2017(E) : ISO/IEC/IEEE International Standard - Systems and software engineering--Vocabulary / / Institute of Electrical and Electronics Engineers |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, New York : , : IEEE, , 2017 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (541 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering - Standards |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This document provides a common vocabulary applicable to all systems and software engineering work. It was prepared to collect and standardize terminology. This document is intended to serve as a useful reference for those in the information technology field, and to encourage the use of systems and software engineering standards prepared by ISO and liaison organizations IEEE Computer Society and Project Management Institute. This document includes references to the active source standards for definitions so that systems and software engineering concepts and requirements can be further explored. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910821761303321 |
|
|
Titolo |
Tropical geometry and integrable systems : a Conference on Tropical Geometry and Integrable Systems, July 3-8, 2011, School of Mathematics and Statistics, University of Glasgow, United Kingdom / / Chris Athorne, Diane Maclagan, Ian Strachan, editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , [2012] |
|
©2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (170 p.) |
|
|
|
|
|
|
Collana |
|
Contemporary mathematics, ; 580 , 0271-4132 |
|
|
|
|
|
|
Classificazione |
|
14T0514H7014N1037K1037K20 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Introduction to tropical algebraic geometry -- 1. Introduction -- 2. Tropical varieties -- 3. Drawing curves in the plane -- 4. The Fundamental and Structure theorems -- 5. The computational approach to tropical varieties -- 6. Connections to subvarieties of toric varieties -- References -- Tropical curves and integrable piecewise linear maps -- 1. Introduction -- Acknowledgments -- 2. Tropical curve theory -- 3. Tropical periodic Toda lattice -- 4. Periodic BBS -- References -- Counting algebraic curves with tropical geometry -- 1. Enumerative Algebraic Geometry -- 2. Tropical Geometry -- 3. Counting Algebraic Curves tropically -- 4. Applications -- References -- Hurwitz numbers, ribbon graphs, and tropicalization -- 1. Introduction -- 2. The classical viewpoints: covers and permutations -- 3. Double Hurwitz numbers and labeled ribbon graphs -- 4. From ribbon graphs to permutations -- 5. The tropical definition -- References -- Sperner property, matroids and finite-dimensional Gorenstein algebras -- Introduction -- 1. Posets and the Sperner property -- 2. Matroids -- 3. Tropicalization in cluster algebras -- 4. Application I: Periodicities of Y-systems -- 5. Application II: Dilogarithm identities -- References -- An application of the max-plus spectral theory to an ultradiscrete analogue of the Lax pair -- 1. Introduction -- 2. Simplified Lax pair -- 3. Adding |
|
|
|
|
|
|
|
|
|
|
constraints -- 4. Conclusions and projects -- 5. Acknowledgement -- References -- A KdV cellular automaton without integers -- 1. Introduction -- 2. A brief recall of the continuous and the discrete situation -- 3. A linear problem for the ultradiscrete KdV equation -- 4. Bound states for the ultradiscrete KdV equation -- 5. Tau functions and the dressing procedure -- 6. The case of degenerate spectrum -- 7. Concluding remarks -- References. |
|
|
|
|
|
| |