1: Equations and initial semantics / H. Ehrig, B. Mahr |
Autore | Ehrig, Hartmut |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1985 |
Descrizione fisica | XI, 321 p. ; 25 cm. |
Disciplina |
005.7
005.73 |
Altri autori (Persone) | Mahr, Bernd |
Collana | EATCS monographs on theoretical computer science |
Soggetto topico |
Archivi di dati - Struttura
Algebra |
ISBN |
0387137181
3540137181 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10002683 |
Ehrig, Hartmut
![]() |
||
Berlin [etc.], : Springer, c1985 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
2017 IEEE Second International Conference on Data Science in Cyberspace (DSC) / / IEEE Staff |
Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 |
Descrizione fisica | 1 online resource |
Disciplina | 005.73 |
Soggetto topico | Data Structures (Computer Science) |
ISBN | 1-5386-1600-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2017 IEEE Second International Conference on Data Science in Cyberspace |
Record Nr. | UNINA-9910213840703321 |
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2017 IEEE Second International Conference on Data Science in Cyberspace (DSC) / / IEEE Staff |
Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 |
Descrizione fisica | 1 online resource |
Disciplina | 005.73 |
Soggetto topico | Data Structures (Computer Science) |
ISBN | 1-5386-1600-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2017 IEEE Second International Conference on Data Science in Cyberspace |
Record Nr. | UNISA-996278328803316 |
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2: Module specification and constraints / H. Ehrig, B. Mahr |
Autore | Ehrig, Hartmut |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1990 |
Descrizione fisica | XI, 427 p. ; 25 cm. |
Disciplina |
005.7
005.73 |
Altri autori (Persone) | Mahr, Bernd |
Collana | EATCS monographs on theoretical computer science |
Soggetto topico |
Archivi di dati - Struttura
Algebra |
ISBN |
0387517995
3540517995 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10002685 |
Ehrig, Hartmut
![]() |
||
Berlin [etc.], : Springer, c1990 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
A practical introduction to data structures and algorithm analysis / Clifford A.Shaffer |
Autore | Shaffer, Clifford A. |
Pubbl/distr/stampa | Upper Saddle River (N.J.) : Prentice Hall, c1997 |
Descrizione fisica | xvi, 494 p. : ill. ; 25 cm |
Disciplina | 005.73 |
Soggetto non controllato |
Computer science
Strutture dati Algoritmi |
ISBN | 0-13-190752-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001439100403321 |
Shaffer, Clifford A.
![]() |
||
Upper Saddle River (N.J.) : Prentice Hall, c1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts |
Autore | Geurts Frederic <1965-> |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
Descrizione fisica | 1 online resource (XII, 280 p. 78 illus.) |
Disciplina | 005.73 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Abstract data types (Computer science)
System analysis Electronic data processing - Structured techniques |
ISBN | 3-540-49211-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Prologue: Aims, Themes, and Motivations -- Prologue: Aims, Themes, and Motivations -- Mathematical Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations -- Abstract Complexity: Abstraction, Invariance, Attraction -- Abstract Observation of Dynamics -- Invariance, Attraction, Complexity -- Abstract Compositional Analysis of Systems: Dynamics and Computations -- Compositional Analysis of Dynamical Properties -- Case Studies: Compositional Analysis of Dynamics -- Experimental Compositional Analysis of Cellular Automata -- Compositional Analysis of Computational Properties -- Epilogue: Conclusions and Directions for Future Work. |
Record Nr. | UNINA-9910143504103321 |
Geurts Frederic <1965->
![]() |
||
Berlin, Heidelberg : , : Springer, , [1998] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts |
Autore | Geurts Frederic <1965-> |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
Descrizione fisica | 1 online resource (XII, 280 p. 78 illus.) |
Disciplina | 005.73 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Abstract data types (Computer science)
System analysis Electronic data processing - Structured techniques |
ISBN | 3-540-49211-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Prologue: Aims, Themes, and Motivations -- Prologue: Aims, Themes, and Motivations -- Mathematical Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations -- Abstract Complexity: Abstraction, Invariance, Attraction -- Abstract Observation of Dynamics -- Invariance, Attraction, Complexity -- Abstract Compositional Analysis of Systems: Dynamics and Computations -- Compositional Analysis of Dynamical Properties -- Case Studies: Compositional Analysis of Dynamics -- Experimental Compositional Analysis of Cellular Automata -- Compositional Analysis of Computational Properties -- Epilogue: Conclusions and Directions for Future Work. |
Record Nr. | UNISA-996466160603316 |
Geurts Frederic <1965->
![]() |
||
Berlin, Heidelberg : , : Springer, , [1998] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
ACM SOCC'15 : proceedings of the Sixth ACM Symposium on Cloud Computing : August 27-29, 2015, Kohala Coast, Hawaii, USA / / edited by Magdalena Balazinska |
Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2015 |
Descrizione fisica | 1 online resource (446 pages) : illustrations |
Disciplina | 005.73 |
Soggetto topico |
Data structures (Computer science)
Database management |
ISBN | 1-4503-3651-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910376534603321 |
New York, NY : , : Association for Computing Machinery, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced data structures : theory and applications / / Suman Saha, Shailendra Shukla |
Autore | Saha Suman |
Pubbl/distr/stampa | Boca Raton : , : Chapman & Hall/CRC, , 2019 |
Descrizione fisica | 1 online resource (261 pages) |
Disciplina | 005.73 |
Soggetto topico | Data structures (Computer science) |
ISBN |
0-429-94985-5
0-429-94984-7 0-429-48875-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910793662703321 |
Saha Suman
![]() |
||
Boca Raton : , : Chapman & Hall/CRC, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced data structures : theory and applications / / Suman Saha, Shailendra Shukla |
Autore | Saha Suman |
Pubbl/distr/stampa | Boca Raton : , : Chapman & Hall/CRC, , 2019 |
Descrizione fisica | 1 online resource (261 pages) |
Disciplina | 005.73 |
Soggetto topico | Data structures (Computer science) |
ISBN |
0-429-94985-5
0-429-94984-7 0-429-48875-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910820703603321 |
Saha Suman
![]() |
||
Boca Raton : , : Chapman & Hall/CRC, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|