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

- Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  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
  
  Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  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

Accès illimité aux eBooks

Accès illimité aux livres audio

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

Accès illimité aux eBooks

Accès illimité aux livres audio

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

Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Modifié par Maurizio Proietti, Hirohisa Seki ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote ... En savoir plus

$64.09 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote
... En savoir plus

Applied Logic for Computer Scientists

Computational Deduction and Formal Proofs

par Mauricio Ayala-Rincón, Flávio L. C. de Moura ...

Collections series Computer Science (R0)
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems ... En savoir plus

$57.99 CAD

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems
... En savoir plus
Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Modifié par Moreno Falaschi ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015.The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote ... En savoir plus

$64.99 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015.The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote
... En savoir plus
Developments in Language Theory

20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Modifié par Srečko Brlek, Christophe Reutenauer ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics
... En savoir plus
String Analysis for Software Verification and Security

par Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Collections series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... En savoir plus

$83.29 CAD

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... En savoir plus
Recent Trends in Algebraic Development Techniques

22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Modifié par Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal ... En savoir plus

$51.99 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal
... En savoir plus
Descriptional Complexity of Formal Systems

17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Modifié par Jeffrey Shallit, Alexander Okhotin ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is
... En savoir plus
Business Process Management

15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings

Modifié par Josep Carmona, Gregor Engels, Akhil Kumar ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017.The 19 revised full papers papers presented were carefully reviewed and selected from 116 initial submissions. The topics selected by the authors demonstrate an increasing interest of the research community in the area of process mining, ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017.The 19 revised full papers papers presented were carefully reviewed and selected from 116 initial submissions. The topics selected by the authors demonstrate an increasing interest of the research community in the area of process mining,
... En savoir plus
Descriptional Complexity of Formal Systems

18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Modifié par Cezar Câmpeanu, Florin Manea, Jeffrey Shallit ...

Collections series Springer Nature Proceedings Computer Science
his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a ﬁeld in Computer Science that deals with the size of all kind of ... En savoir plus

$64.09 CAD

his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a ﬁeld in Computer Science that deals with the size of all kind of
... En savoir plus
Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Modifié par Ralf Hinze, Janis Voigtländer ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction.
... En savoir plus
Implementation and Application of Automata

21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Modifié par Yo-Sub Han, Kai Salomaa ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016.The 26 revised full papers presented were carefully reviewed and selected from49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016.The 26 revised full papers presented were carefully reviewed and selected from49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and
... En savoir plus
Computer Science -- Theory and Applications

10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Modifié par Lev D. Beklemishev, Daniil V. Musatov ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical
... 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

Logic-Based Program Synthesis and Transformation

Les lecteurs de ce roman ont aussi aimé

Applied Logic for Computer Scientists

Logic-Based Program Synthesis and Transformation

Developments in Language Theory

String Analysis for Software Verification and Security

Recent Trends in Algebraic Development Techniques

Descriptional Complexity of Formal Systems

Business Process Management

Descriptional Complexity of Formal Systems

Mathematics of Program Construction

Implementation and Application of Automata

Computer Science -- Theory and Applications

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

Afficher :

Les lecteurs de ce roman ont aussi aimé