Ad-Hoc, Mobile, and Wireless Networks [Risorsa elettronica] : 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings / edited by Thomas Kunz, S. S. Ravi

• Record Nr.: UNINA990009251620403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2006
• ISBN: 9783540372486
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 4104
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia

L' histoire des colonies grecques du littoral nord de la Mer Noire : bibliographie annotée des ouvrages et articles publiés en U.R.S.S. de 1940 à 1962 / par E. Berlin de Ballu

• Record Nr.: UNISA990001390030203316
• Autore: BELIN DE BALLU, Eugène
• Pubbl/distr/stampa: Leiden, : Brill, 1965
• Edizione: [2. ed]
• Descrizione fisica: XXV, 209 p. : ill., [3] carte topografiche ; 24 cm
• Disciplina: 016.9
• Soggetti: Colonie greche - Mar Nero - Storia - Pubblicazioni sovietiche - 1940-1962 - Bibliografia
• Collocazione: XI.3. Bibl. 3(016.9 BEL)
• Lingua di pubblicazione: Francese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Alessandra Russo, Andy Schürr

• Record Nr.: UNINA9910293144703321
• Autore: Russo Alessandra
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
• ISBN: 9783319893631; 3319893637
• Edizione: [1st ed. 2018.]
• Descrizione fisica: 1 online resource (XII, 357 p. 116 illus.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10802
• Disciplina: 005.1
• Soggetti: Software engineering; Compilers (Computer programs); Computer engineering; Computer networks; Computers; Professions; Computer science; Software Engineering; Compilers and Interpreters; Computer Engineering and Networks; The Computing Profession; Theory of Computation
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: ; A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.
• Sommario/riassunto: This book is Open Access under a CC BY licence.