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.
1: Equations and initial semantics / H. Ehrig, B. Mahr
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
2017 IEEE Second International Conference on Data Science in Cyberspace (DSC) / / IEEE Staff
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2017 IEEE Second International Conference on Data Science in Cyberspace (DSC) / / IEEE Staff
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2: Module specification and constraints / H. Ehrig, B. Mahr
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
A practical introduction to data structures and algorithm analysis / Clifford A.Shaffer
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts
| 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] | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced data structures : theory and applications / / Suman Saha, Shailendra Shukla
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced data structures : theory and applications / / Suman Saha, Shailendra Shukla
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
