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.
A Mathematical Theory of Design : Foundations, Algorithms and Applications / by Dan Braha and Oded Maimon
| A Mathematical Theory of Design : Foundations, Algorithms and Applications / by Dan Braha and Oded Maimon |
| Autore | Braha, Dan |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1998 |
| Descrizione fisica | xxii, 680 p. ; 24 cm |
| Altri autori (Persone) | Maimon, Oded |
| Soggetto topico |
00A69 - General applied mathematics [MSC 2020]
68-XX - Computer science [MSC 2020] 68U07 - Computer science aspects of computer-aided design [MSC 2020] 91B44 - Economics of information [MSC 2020] |
| Soggetto non controllato |
Algorithms
Calculus Complexity Computer aided design Design Design processes Design theory Engineering Design Information Theory Informations Modeling Optimization Software Statistical analysis |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00298432 |
Braha, Dan
|
||
| Dordrecht, : Springer, : Kluwer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to Scientific Computing : Fifteen Computational Projects Solved with MATLAB / Ionut Danaila ... [et al.]
| An Introduction to Scientific Computing : Fifteen Computational Projects Solved with MATLAB / Ionut Danaila ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | xviii, 373 p. : ill. ; 24 cm |
| Soggetto non controllato |
Analysis
Computer aided design Finite Elements Finite element methods Image processing Kinetics MATLAB Mechanics Models Numerical Analysis Optimization Programming Scientific Computing Signal Wavelet |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0278707 |
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to Scientific Computing : Fifteen Computational Projects Solved with MATLAB / Ionut Danaila ... [et al.]
| An Introduction to Scientific Computing : Fifteen Computational Projects Solved with MATLAB / Ionut Danaila ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | xviii, 373 p. : ill. ; 24 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020] 65Mxx - Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems [MSC 2020] |
| Soggetto non controllato |
Analysis
Computer aided design Finite Elements Finite element methods Image processing Kinetics MATLAB Mechanics Models Numerical Analysis Optimization Programming Scientific Computing Signal Wavelet |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00278707 |
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational Optimal Control / Edited by R. Bulirsch, D. Kraft
| Computational Optimal Control / Edited by R. Bulirsch, D. Kraft |
| Pubbl/distr/stampa | Basel [etc.], : Birkhäuser, 1994 |
| Descrizione fisica | vii, 382 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
49-XX - Calculus of variations and optimal control; optimization [MSC 2020] |
| Soggetto non controllato |
Algorithms
Complexity Computer aided design Constructions Linear optimization Modeling Nonlinear optimization Numerical methods Optimal Control Optimization manufacturing technology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00292067 |
| Basel [etc.], : Birkhäuser, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computer Aided Analysis and Optimization of Mechanical System Dynamics / edited by Edward J. Haug
| Computer Aided Analysis and Optimization of Mechanical System Dynamics / edited by Edward J. Haug |
| Pubbl/distr/stampa | Berlin, : Springer, 1984 |
| Descrizione fisica | xxii, 700 p. : ill. ; 24 cm |
| Soggetto topico |
70-XX - Mechanics of particles and systems [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Analysis
Calculus Computer aided design Dynamics Machine dynamics Mechanical systems Numerical Mathematics Numerical integration Optimization Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263213 |
| Berlin, : Springer, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computer Aided Analysis and Optimization of Mechanical System Dynamics / edited by Edward J. Haug
| Computer Aided Analysis and Optimization of Mechanical System Dynamics / edited by Edward J. Haug |
| Pubbl/distr/stampa | Berlin, : Springer, 1984 |
| Descrizione fisica | xxii, 700 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
70-XX - Mechanics of particles and systems [MSC 2020] |
| Soggetto non controllato |
Analysis
Calculus Computer aided design Dynamics Machine dynamics Mechanical systems Numerical Mathematics Numerical integration Optimization Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00263213 |
| Berlin, : Springer, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Decentralized Spatial Computing : Foundations of Geosensor Networks / / by Matt Duckham
| Decentralized Spatial Computing : 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 | ||
| ||
Estimation, Control, and the Discrete Kalman Filter / Donald E. Catlin
| Estimation, Control, and the Discrete Kalman Filter / Donald E. Catlin |
| Autore | Catlin, Donald E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1989 |
| Descrizione fisica | xiv, 276 p. ; 24 cm |
| Soggetto non controllato |
Bayesian Statistics
Bias Calculus Computer aided design Construction Dynamical systems Estimators Filtering Normal Operators Statistics Tracking best fits |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0269188 |
|
Catlin, Donald E.
|
||
| New York, : Springer-Verlag, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Estimation, Control, and the Discrete Kalman Filter / Donald E. Catlin
| Estimation, Control, and the Discrete Kalman Filter / Donald E. Catlin |
| Autore | Catlin, Donald E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1989 |
| Descrizione fisica | xiv, 276 p. ; 24 cm |
| Soggetto topico |
60G35 - Signal detection and filtering (aspects of stochastic processes) [MSC 2020]
93-XX - Systems theory; control [MSC 2020] 93E10 - Estimation and detection in stochastic control theory [MSC 2020] 93E11 - Filtering in stochastic control theory [MSC 2020] 93E14 - Data smoothing in stochastic control theory [MSC 2020] |
| Soggetto non controllato |
Bayesian Statistics
Best fits Bias Calculus Computer aided design Constructions Dynamical systems Estimator Filtering Normal Operators Statistics Tracking |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00269188 |
|
Catlin, Donald E.
|
||
| New York, : Springer-Verlag, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Future vision and trends on shapes, geometry and algebra / Raffaele De Amicis, Giuseppe Conti editors
| Future vision and trends on shapes, geometry and algebra / Raffaele De Amicis, Giuseppe Conti editors |
| Pubbl/distr/stampa | London, : Springer, 2014 |
| Descrizione fisica | VIII, 162 p. : ill. ; 24 cm |
| Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
68U10 - Computing methodologies for image processing [MSC 2020] 68U07 - Computer science aspects of computer-aided design [MSC 2020] 65D17 - Computer-aided design (modeling of curves and surfaces) [MSC 2020] 13P15 - Solving polynomial systems; resultants [MSC 2020] |
| Soggetto non controllato |
Algebraic Geometry
Computer aided design Geometric Modelling Polynomial Systems Symbolic Computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0102572 |
| London, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
