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.
Adaptable Embedded Systems [[electronic resource] /] / edited by Antonio Carlos Schneider Beck, Carlos Arthur Lang Lisbôa, Luigi Carro
| Adaptable Embedded Systems [[electronic resource] /] / edited by Antonio Carlos Schneider Beck, Carlos Arthur Lang Lisbôa, Luigi Carro |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 006.22 |
| Soggetto topico |
Electronic circuits
Computer-aided engineering Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design |
| Soggetto non controllato |
Circuits and Systems
Computer aided design Computer-Aided Engineering (CAD, CAE) and Design Engineering Systems engineering |
| ISBN |
1-283-91066-7
1-4614-1746-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Adaptability: The Key for Future Embedded Systems -- Heterogeneous Behavior of Applications and Systems -- Reconfigurable Systems -- Reconfigurable Memories -- Reconfigurable Intercommunication Infrastructure - NoCs -- Dynamic Optimization Techniques -- Fault Tolerance -- Multicore Platforms: Processors, Communication, and Memories -- Adaptive Software -- Conclusions. |
| Record Nr. | UNINA-9910437909503321 |
| New York, NY : , : Springer New York : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances on Mechanics, Design Engineering and Manufacturing III : Proceedings of the International Joint Conference on Mechanics, Design Engineering and Advanced Manufacturing, JCM 2020, June 2-4 2020
| Advances on Mechanics, Design Engineering and Manufacturing III : Proceedings of the International Joint Conference on Mechanics, Design Engineering and Advanced Manufacturing, JCM 2020, June 2-4 2020 |
| Autore | Roucoules Lionel |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (449 pages) |
| Altri autori (Persone) |
ParedesManuel
EynardBenoit Morer CamoPaz RizziCaterina |
| Collana | Lecture Notes in Mechanical Engineering |
| Soggetto topico |
Technical design
Production engineering Computer-aided design (CAD) |
| Soggetto non controllato |
Engineering Design
Manufacturing, Machines, Tools, Processes Computer-Aided Engineering (CAD, CAE) and Design Machines, Tools, Processes Open Access Additive Manufacturing Virtual Prototyping Eco-design Generative design Digitalization in Manufacturing Reconfigurable Manufacturing Systems 3D Modeling Human-machine Interaction Sustainable redesign Stress analysis and simulation Robost design methods Topological optimization NES design Geometric modelling Smart tightening Technical design Production engineering Computer-aided design (CAD) |
| ISBN | 3-030-70566-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910473454003321 |
Roucoules Lionel
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decentralized Spatial Computing [[electronic resource] ] : Foundations of Geosensor Networks / / by Matt Duckham
| Decentralized Spatial Computing [[electronic resource] ] : Foundations of Geosensor Networks / / by Matt Duckham |
| Autore | Duckham Matt |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (329 p.) |
| Disciplina | 910.285 |
| Soggetto topico |
Geographical information systems
Computers Computer-aided engineering Artificial intelligence Geographical Information Systems/Cartography Information Systems and Communication Service Theory of Computation Computer-Aided Engineering (CAD, CAE) and Design Artificial Intelligence |
| Soggetto non controllato |
Geography
Information theory Information systems Artificial intelligence Computer aided design Geographical Information Systems/Cartography Information Systems and Communication Service Theory of Computation Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 3-642-30853-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Foundations of Decentralized Spatial Computing -- Chap. 1 When Computing Happens Somewhere -- Chap. 2 Formal foundations -- Chap. 3 Algorithmic foundations -- Part II Algorithms for Decentralized Spatial Computing -- Chap. 4 Neighborhood-Based Algorithms -- Chap. 5 Location-Based Algorithms -- Chap. 6 Monitoring Spatial Change Over Time -- Part III Simulating Decentralized Spatial Algorithms -- Chap. 7 Simulating Scalable Decentralized Spatial Algorithms -- Chap. 8 Simulating Robust Decentralized Spatial Algorithms -- Chap. 9 Further Topics and Technologies -- References -- App. A Discrete Mathematics Primer App. B Relational Database and SQL Primer -- Index. |
| Record Nr. | UNINA-9910437949203321 |
|
Duckham Matt
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe
| Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe |
| Autore | Carreira Paulo |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer engineering Internet of things Embedded computer systems Special purpose computers Application software Computer-aided engineering Software Engineering Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design |
| Soggetto non controllato |
Software Engineering
Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design Open Access Embedded and cyber-physical systems Software design engineering Model-driven software engineering Modelica Performance Analysis Design Languages System Description Languages System and Modeling DEVS Statecharts Petri Nets Multi-Paradigm Modeling AADL Concurrency Modeling Electrical engineering Cybernetics & systems theory Expert systems / knowledge-based systems Information technology: general issues Computer-aided design (CAD) |
| ISBN | 3-030-43946-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. |
| Record Nr. | UNISA-996465472303316 |
|
Carreira Paulo
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe
| Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe |
| Autore | Carreira Paulo |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer engineering Internet of things Embedded computer systems Special purpose computers Application software Computer-aided engineering Software Engineering Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design |
| Soggetto non controllato |
Software Engineering
Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design Open Access Embedded and cyber-physical systems Software design engineering Model-driven software engineering Modelica Performance Analysis Design Languages System Description Languages System and Modeling DEVS Statecharts Petri Nets Multi-Paradigm Modeling AADL Concurrency Modeling Electrical engineering Cybernetics & systems theory Expert systems / knowledge-based systems Information technology: general issues Computer-aided design (CAD) |
| ISBN | 3-030-43946-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. |
| Record Nr. | UNINA-9910404112303321 |
|
Carreira Paulo
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2020 DigitalFUTURES : The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) / / editors, Philip F. Yuan [et al.]
| Proceedings of the 2020 DigitalFUTURES : The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) / / editors, Philip F. Yuan [et al.] |
| Autore | Yuan Philip F |
| Edizione | [1st edition 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (XI, 322 p. 281 illus., 231 illus. in color.) |
| Disciplina | 629.892 |
| Soggetto topico |
Artificial intelligence
Automation Computer simulation Computer-aided engineering Robotics |
| Soggetto non controllato |
Robotics and Automation
Computer-Aided Engineering (CAD, CAE) and Design Simulation and Modeling Robotics Control, Robotics, Automation Computer Science Post-humanist Intelligence Computational Design Robotic Fabrication Human-Machine Collaboration AI in Architecture Open Access Computer-aided design (CAD) Computer modelling & simulation Artificial intelligence |
| ISBN | 981-334-400-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine Thinking -- Digital Design History and Theory -- Philosophy of Technology -- Machine Seeing -- Data Gathering -- Simulation Technique -- Interactive Environment -- Machine Learning -- Generative Morphology -- Design Neural Networks -- AI Design -- Machine Making -- Automated Fabrication -- Robotics -- Human-Machine Collaboration. |
| Record Nr. | UNINA-9910473447003321 |
|
Yuan Philip F
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||