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.
Complex Systems Design & Management : Proceedings of the Seventh International Conference on Complex Systems Design & Management, CSD&M Paris 2016 / / edited by Gauthier Fanmuy, Eric Goubault, Daniel Krob, François Stephan
| Complex Systems Design & Management : Proceedings of the Seventh International Conference on Complex Systems Design & Management, CSD&M Paris 2016 / / edited by Gauthier Fanmuy, Eric Goubault, Daniel Krob, François Stephan |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVII, 256 p. 75 illus., 67 illus. in color.) |
| Disciplina | 620 |
| Soggetto topico |
Computational complexity
Control engineering Robotics Mechatronics Complexity Control, Robotics, Mechatronics |
| ISBN | 3-319-49103-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From the Contents: Challenges for MBSE and PLE for Legacy Product-Based System -- The Trans-Alaska Pipeline System Environments -- MBSE, PLM, MIP and Robust Optimization for System of Systems Management, Application to SCCOA French Air Defense Program -- Design Thinking & Systems Engineering to Sustain Competitive Innovations. |
| Record Nr. | UNINA-9910155445603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Directed Algebraic Topology and Concurrency / / by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
| Directed Algebraic Topology and Concurrency / / by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen |
| Autore | Fajstrup Lisbeth |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (171 p.) |
| Disciplina | 004 |
| Soggetto topico |
Computer science—Mathematics
Algebraic topology Mathematical logic Computational complexity Computers Computer mathematics Math Applications in Computer Science Algebraic Topology Mathematical Logic and Formal Languages Complexity Computation by Abstract Devices Mathematical Applications in Computer Science |
| ISBN | 3-319-15398-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 A toy language for concurrency -- 3 Truly concurrent models of programs with resources -- 4 Directed topological models of concurrency -- 5 Algorithmics on directed spaces.\\. |
| Record Nr. | UNINA-9910254995903321 |
Fajstrup Lisbeth
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||