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.
Optimization Models and Methods for Equilibrium Traffic Assignment / / by Alexander Krylatov, Victor Zakharov, Tero Tuovinen
| Optimization Models and Methods for Equilibrium Traffic Assignment / / by Alexander Krylatov, Victor Zakharov, Tero Tuovinen |
| Autore | Krylatov Alexander |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (231 pages) |
| Disciplina |
388
388.314 |
| Collana | Springer Tracts on Transportation and Traffic |
| Soggetto topico |
Transportation engineering
Traffic engineering Mathematical optimization Game theory Transportation Technology and Traffic Engineering Optimization Game Theory |
| ISBN | 3-030-34102-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Optimization traffic assignment models -- Optimization traffic assignment methods -- Optimization models and methods for network design -- Networking issues. |
| Record Nr. | UNINA-9910366620403321 |
Krylatov Alexander
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers / / edited by Vladimir Itsykson, Andre Scedrov, Victor Zakharov
| Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers / / edited by Vladimir Itsykson, Andre Scedrov, Victor Zakharov |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVIII, 209 p. 71 illus.) |
| Disciplina | 005.14 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer system failures Computer simulation Operating systems (Computers) Artificial intelligence Programming languages (Electronic computers) Software Engineering System Performance and Evaluation Simulation and Modeling Operating Systems Artificial Intelligence Programming Languages, Compilers, Interpreters |
| ISBN | 3-319-71734-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software test automation -- Static program analysis -- Verification -- Dynamic methods of program analysis -- Testing and analysis of parallel and distributed systems -- Testing and analysis of high-load and high-availability systems -- Analysis and verification of hardware and software systems -- Methods of building quality software -- Tools for software analysis, testing and verification. |
| Record Nr. | UNINA-9910299313703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||