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.
Ad hoc wireless networks : a communication-theoretic perspective
| Ad hoc wireless networks : a communication-theoretic perspective |
| Autore | Tonguz Ozan K |
| Pubbl/distr/stampa | [Place of publication not identified], : Wiley, 2006 |
| Disciplina | 621.382 |
| Soggetto topico |
Wireless communication systems
Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN |
0-470-09112-6
0-470-09111-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910144588003321 |
Tonguz Ozan K
|
||
| [Place of publication not identified], : Wiley, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ad hoc wireless networks : a communication-theoretic perspective
| Ad hoc wireless networks : a communication-theoretic perspective |
| Autore | Tonguz Ozan K |
| Pubbl/distr/stampa | [Place of publication not identified], : Wiley, 2006 |
| Disciplina | 621.382 |
| Soggetto topico |
Wireless communication systems
Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN |
0-470-09112-6
0-470-09111-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910830385603321 |
|
Tonguz Ozan K
|
||
| [Place of publication not identified], : Wiley, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Technologies for Intelligent Transportation Systems / / by Marco Picone, Stefano Busanelli, Michele Amoretti, Francesco Zanichelli, Gianluigi Ferrari
| Advanced Technologies for Intelligent Transportation Systems / / by Marco Picone, Stefano Busanelli, Michele Amoretti, Francesco Zanichelli, Gianluigi Ferrari |
| Autore | Picone Marco |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (252 p.) |
| Disciplina |
006.3
388 620 621.382 |
| Collana | Intelligent Systems Reference Library |
| Soggetto topico |
Computational intelligence
Artificial intelligence Electrical engineering Transportation Automotive engineering Computational Intelligence Artificial Intelligence Communications Engineering, Networks Automotive Engineering |
| ISBN | 3-319-10668-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Communication Paradigms and Literature Analysis -- Wireless Communications for Vehicular Ad-hoc Networks -- Hierarchical Architecture for Cross Layer ITS Communications -- Novel Distributed Algorithms for Intelligent Transportation Systems. . |
| Record Nr. | UNINA-9910299846803321 |
|
Picone Marco
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings / / edited by Rocco De Nicola, Gianluigi Ferrari, Greg Meredith
| Coordination Models and Languages [[electronic resource] ] : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings / / edited by Rocco De Nicola, Gianluigi Ferrari, Greg Meredith |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 330 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Computer programming Computer communication systems Software engineering Computers Computer System Implementation Programming Languages, Compilers, Interpreters Programming Techniques Computer Communication Networks Software Engineering Computation by Abstract Devices |
| ISBN |
1-280-30799-4
9786610307999 3-540-24634-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Reactive Programming Model for Global Computing -- Open Issues and Opportunities in Web Services Modeling, Development, and Management -- Compositionality, Coordination and Software Architecture -- Contributed Papers -- Problem Frames: A Case for Coordination -- O’Klaim: A Coordination Language with Mobile Mixins -- On Calculi for Context-Aware Coordination -- Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model -- Measuring Component Adaptation -- An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions -- From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming -- Probabilistic KLAIM -- A Lightweight Coordination Middleware for Mobile Computing -- Enforcement of Communal Policies for P2P Systems -- An Infrastructure to Build Secure Shared Grid Spaces -- Optimistic Concurrency Semantics for Transactions in Coordination Languages -- Active Coordination in Ad Hoc Networks -- CoorSet: A Development Environment for Associatively Coordinated Components -- On the Expressiveness of Absolute-Time Coordination Languages -- Logic Based Coordination for Event–Driven Self–healing Distributed Systems -- Using Coordination Middleware for Location-Aware Computing: A Lime Case Study -- VIPER: A VIsual Protocol EditoR -- Social Control Mechanisms to Coordinate an Unreliable Agent Society -- A Component-Based Parallel Constraint Solver. |
| Record Nr. | UNISA-996465440303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings / / edited by Rocco De Nicola, Gianluigi Ferrari, Greg Meredith
| Coordination Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings / / edited by Rocco De Nicola, Gianluigi Ferrari, Greg Meredith |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 330 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Computer programming Computer communication systems Software engineering Computers Computer System Implementation Programming Languages, Compilers, Interpreters Programming Techniques Computer Communication Networks Software Engineering Computation by Abstract Devices |
| ISBN |
1-280-30799-4
9786610307999 3-540-24634-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Reactive Programming Model for Global Computing -- Open Issues and Opportunities in Web Services Modeling, Development, and Management -- Compositionality, Coordination and Software Architecture -- Contributed Papers -- Problem Frames: A Case for Coordination -- O’Klaim: A Coordination Language with Mobile Mixins -- On Calculi for Context-Aware Coordination -- Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model -- Measuring Component Adaptation -- An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions -- From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming -- Probabilistic KLAIM -- A Lightweight Coordination Middleware for Mobile Computing -- Enforcement of Communal Policies for P2P Systems -- An Infrastructure to Build Secure Shared Grid Spaces -- Optimistic Concurrency Semantics for Transactions in Coordination Languages -- Active Coordination in Ad Hoc Networks -- CoorSet: A Development Environment for Associatively Coordinated Components -- On the Expressiveness of Absolute-Time Coordination Languages -- Logic Based Coordination for Event–Driven Self–healing Distributed Systems -- Using Coordination Middleware for Location-Aware Computing: A Lime Case Study -- VIPER: A VIsual Protocol EditoR -- Social Control Mechanisms to Coordinate an Unreliable Agent Society -- A Component-Based Parallel Constraint Solver. |
| Record Nr. | UNINA-9910768463503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages with Applications to Biology and Security [[electronic resource] ] : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami
| Programming Languages with Applications to Biology and Security [[electronic resource] ] : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 375 p. 77 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Application software Computer networks Computer programming Algorithms Computer Science Logic and Foundations of Programming Software Engineering Computer and Information Systems Applications Computer Communication Networks Programming Techniques |
| ISBN | 3-319-25527-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466277603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Languages with Applications to Biology and Security : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami
| Programming Languages with Applications to Biology and Security : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 375 p. 77 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Application software Computer networks Computer programming Algorithms Computer Science Logic and Foundations of Programming Software Engineering Computer and Information Systems Applications Computer Communication Networks Programming Techniques |
| ISBN | 3-319-25527-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484751403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||