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 Logic, Symbolic and mathematical Computational complexity Computers Computer science - 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 | ||
| ||