Thèmes principaux

Publications

Services

Auteurs

Éditions

Shop

LEXIA

Revues

Livres spécialisés LOKI Semaphor

S’enregistrer

LEXIA

Revues

Livres spécialisés

Thèmes principaux

Sujet

Étudier le droit

Droit du travail

Droit de la famille

Droit des assurances sociales

Publications

Littérature

Modules en ligne LEXIA

Bases de données

Littérature pour les études

Services

Services pour

Corporate Books

Solutions d'édition

Actualités

Corporate Publishing

Content solutions

Auteurs

Nos Auteurs

Aide

Espace des auteurs

Publier chez nous

Éditions

Qui sommes-nous?

Thèmes

En savoir plus

Vision et mission

Culture d'entreprise

Shop

Droit suisse

Droit étranger

A propos de notre boutique

Infos, conseils et astuces

Par domaine juridique

S’enregistrer

cover

Numerical Software Verification

12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Publié par:Zamani, Majid|Zufferey, Damien

Livre (broché)70.00 CHF

livrable dans env. 20-45 jours

Contenu

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Informations bibliographiques

août 2019, 145 Pages, Theoretical Computer Science and General Issues , Lecture Notes in Computer Science, Anglais

Springer Nature EN

978-3-030-28422-0

Sommaire

Mots-clés

Contenu

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Informations bibliographiques

août 2019, 145 Pages, Theoretical Computer Science and General Issues , Lecture Notes in Computer Science, Anglais

Springer Nature EN

978-3-030-28422-0

Sommaire

Mots-clés

Autres titres de la collection: Theoretical Computer Science and General Issues

Computing and Software Science

State of the Art and Perspectives

Steffen, Bernhard|Woeginger, Gerhard

Springer Nature EN, 2019

978-3-319-91907-2

43.90 CHF

livrable dans env. 20-45 jours

Queueing Theory and Network Applications

14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings

Phung-Duc, Tuan|Kasahara, Shoji|Wittevrongel, Sabine

Springer Nature EN, 2019

978-3-030-27180-0

70.00 CHF

livrable dans env. 20-45 jours

Euro-Par 2019: Parallel Processing

25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

Yahyapour, Ramin

Springer Nature EN, 2019

978-3-030-29399-4

103.00 CHF

livrable dans env. 20-45 jours

Formal Modeling and Analysis of Timed Systems

17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

André, Étienne|Stoelinga, Mariëlle

Springer Nature EN, 2019

978-3-030-29661-2

70.00 CHF

livrable dans env. 20-45 jours

Advanced Parallel Processing Technologies

13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

Yew, Pen-chung|Stenström, Per|Wu, Junjie

Springer Nature EN, 2019

978-3-030-29610-0

70.00 CHF

livrable dans env. 20-45 jours

Combinatorics on Words

12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Mercaş, Robert|Reidenbach, Daniel

Springer Nature EN, 2019

978-3-030-28795-5

70.00 CHF

livrable dans env. 20-45 jours

Embedded Computer Systems: Architectures, Modeling, and Simulation

19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

Pnevmatikatos, Dionisios N.|Pelcat, Maxime|Jung, Matthias

Springer Nature EN, 2019

978-3-030-27561-7

70.00 CHF

livrable dans env. 20-45 jours

Algorithmic Aspects in Information and Management

13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings

Du, Ding-Zhu|Li, Lian|Sun, Xiaoming

Springer Nature EN, 2019

978-3-030-27194-7

70.00 CHF

livrable dans env. 20-45 jours

Computing and Combinatorics

25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings

Du, Ding-Zhu|Duan, Zhenhua|Tian, Cong

Springer Nature EN, 2019

978-3-030-26175-7

70.00 CHF

livrable dans env. 20-45 jours

Parallel Computing Technologies

15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Malyshkin, Victor

Springer Nature EN, 2019

978-3-030-25635-7

103.00 CHF

livrable dans env. 20-45 jours

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Dillig, Isil|Tasiran, Serdar

Springer Nature EN, 2019

978-3-030-25539-8

70.00 CHF

livrable dans env. 20-45 jours

Algorithms and Data Structures

16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings

Friggstad, Zachary|Sack, Jörg-Rüdiger|Salavatipour, Mohammad R

Springer Nature EN, 2019

978-3-030-24765-2

70.00 CHF

livrable dans env. 20-45 jours

Autres titres sur ce thème

Optimizing Artificial Intelligence and Emerging Technologies for Sustainable ...

Bhatnagar, Roheet|Panda, Chandan Kumar|Shams, Mahmoud Yasin

Wiley, 2028

978-1-394-28723-9

env. 279.00 CHF

disponible dès juin 2028

The Routledge Companion to Digital Humanities in Theatre and Performance

Taylor and Francis, 2026

978-1-138-91777-4

env. 239.00 CHF

disponible dès janvier 2026

Qualität durch Digitalisierung

Qualitätsmanagement mit KI, Data Mining, Chatbots und Co

Hanser Fachbuch, 2099

978-3-446-46699-9

env. 65.00 CHF

disponible dès janvier 2099

The Elements of Data Science

Data Analytics with R for the Digital Society

Dehmer, Matthias|Moutari, Salissou|Emmert-Streib, Frank

De Gruyter, 2030

978-3-11-056500-3

env. 71.00 CHF

disponible dès juin 2030

Mechatronische Systeme

Lösungsansätze und - methoden zur Informationsverarbeitung

Kaufmann, Michael

De Gruyter, 2030

978-3-11-047107-6

env. 102.00 CHF

disponible dès janvier 2030

Code Chronicles

The Art of Storytelling in Software

Ciancarini Paolo|El-Batanony, Ahmed|Succi Giancarlo

Elsevier, 2026

978-0-443-29248-4

env. 235.00 CHF

disponible dès mai 2026

Intelligent Data Driven Techniques for Security of Digital Assets

Kumar Rana, Arun|Kumar Rana, Sumit|Sharma Vishnu

Taylor and Francis, 2030

978-1-032-74488-9

env. 195.00 CHF

disponible dès avril 2030

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Penguin Books, 2026

978-0-593-96348-7

env. 36.50 CHF

disponible dès janvier 2026

David Hilbert's Lectures on the Foundations of Physics 1898-1914

Classical, Relativistic and Statistical Mechanics

Majer, Ulrich|Sauer, Tilman

Springer Nature EN, 2027

978-3-540-40549-8

env. 202.00 CHF

disponible dès novembre 2027

Lean Innovative Connected Vessels

The LINCOLN Project

Ramundo, Lucia|Terzi, Sergio

Springer International Publishing, 2026

978-3-030-35705-4

env. 69.00 CHF

disponible dès avril 2026

Personas Across Cultures

Representing the Next Billion Users

Cabrero, Daniel G.

Springer Nature EN, 2026

978-3-030-24350-0

env. 146.00 CHF

disponible dès avril 2026

Methods of Clinical Epidemiology

Doi, Suhail A. R.|Williams, Gail M.

Springer Nature EN, 3000

978-3-319-65333-4

env. 146.00 CHF

disponible dès juin 3000