Rakuten Kobo

Panier

Article(s) non disponible(s) à la vente

Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.

articlesarticle

- Comprend des livres numériques
  
  Comprend les livres audio
  
  Comprend 30 heures d'écoute
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  
  Obtenez 1 crédit chaque mois pour le livre audio de votre choix
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  
  Comprend des livres numériques
  
  Comprend les livres audio
  
  Comprend 30 heures d'écoute
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  Livre audio
  par ,
  
  Disponible:
  
  . Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions.
  
  Précommander
  1 livre audio par mois
  
  + Essai GRATUIT de 30 jours
  
  Offre spéciale
  
  Obtenez 1 crédit chaque mois pour un livre audio de votre choix
  
  * Aucun engagement. Résiliez votre abonnement à tout moment.
  
  GRATUIT

articlesarticle

Comprend des livres numériques

Comprend les livres audio

Comprend 30 heures d'écoute

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions

Obtenez 1 crédit chaque mois pour le livre audio de votre choix

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions

Comprend des livres numériques

Comprend les livres audio

Comprend 30 heures d'écoute

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
Livre audio
par ,

Disponible:
. Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions.

Précommander
1 livre audio par mois

+ Essai GRATUIT de 30 jours

Offre spéciale

Obtenez 1 crédit chaque mois pour un livre audio de votre choix

* Aucun engagement. Résiliez votre abonnement à tout moment.

GRATUIT

Recommandé pour vous

Skip side bar filters

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Modifié par Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and
... En savoir plus
Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Modifié par Brijesh Dongol, Elena Troubitsyna ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and
... En savoir plus
Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Modifié par Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and
... En savoir plus
Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Modifié par Brijesh Dongol, Luigia Petre, Graeme Smith ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures;
... En savoir plus

Handbook of Constraint Programming

Modifié par Francesca Rossi, Peter van Beek, Toby Walsh ...

Collections series Foundations of Artificial Intelligence
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics ... En savoir plus

$190.39 CAD

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics
... En savoir plus
Modeling and Verification of Real-time Systems

Formalisms and Software Tools

Modifié par Nicolas Navet, Stephan Merz ...

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and ... En savoir plus

$269.99 CAD

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and
... En savoir plus
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Special Issue on Database- and Expert-Systems Applications

Modifié par Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link ...

Collections series Computer Science (R0)
This, the 24th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of seven papers presented at the 25th International Conference on Database and Expert Systems Applications, DEXA 2014, held in Munich, Germany, in September 2014. Following the conference, and two further rounds of reviewing and selection, six extended papers and one ... En savoir plus

$64.99 CAD

This, the 24th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of seven papers presented at the 25th International Conference on Database and Expert Systems Applications, DEXA 2014, held in Munich, Germany, in September 2014. Following the conference, and two further rounds of reviewing and selection, six extended papers and one
... En savoir plus
Perspectives of System Informatics

10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Modifié par Manuel Mazzara, Andrei Voronkov ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis,
... En savoir plus
Trustworthy Global Computing

10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers

Modifié par Pierre Ganty, Michele Loreti ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015.The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols ... En savoir plus

$51.99 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015.The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols
... En savoir plus
Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Modifié par Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of
... En savoir plus
Programming Languages and Systems

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Modifié par Bor-Yuh Evan Chang ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages;
... En savoir plus
Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Modifié par Ahmed Bouajjani, David Monniaux ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract
... En savoir plus

Kobo Rakuten

Liseuses

Applis

Accessoires

Qu'est ce que les Kobo Super Points ?

Faites-vous plaisir

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

Meilleures séries dans ce pays : Canada

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Formal Methods. FM 2019 International Workshops

Integrated Formal Methods

Formal Methods. FM 2019 International Workshops

Formal Methods Teaching

Les lecteurs de ces romans ont aussi aimé

Handbook of Constraint Programming

Modeling and Verification of Real-time Systems

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Perspectives of System Informatics

Trustworthy Global Computing

Formal Methods and Software Engineering

Programming Languages and Systems

Verification, Model Checking, and Abstract Interpretation

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

Meilleures séries dans ce pays : Canada

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Afficher :

Les lecteurs de ces romans ont aussi aimé