Vos paramètres de confidentialité

En sélectionnant «Tout accepter», vous autorisez RakutenKobo et ses partenaires à utiliser des cookies, des technologies de suivi et des technologies similaires pour collecter vos données personnelles et les traiter aux fins suivantes: exploiter le site Web et les services Kobo et s'assurer qu'ils fonctionnent correctement, vous fournir du contenu personnalisé sur Kobo et des publicités pour Kobo sur d'autres plateformes, et mesurer les analyses et analyser comment notre site Web et nos services sont utilisés. Sinon, veuillez cliquer sur «Refuser» ci-dessous pour rejeter toutes les finalités non essentielles ou consulter les «Paramètres de confidentialité» pour gérer vos préférences pour chaque finalité. Pour plus d'informations, veuillez lire notre Politique de confidentialité.

Functional and Constraint Logic Programming

28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Michael Hanus,Claudio Sacerdoti Coen

Springer Nature Proceedings Computer Science

Acheter l'eBook

Économise 10 %Prix catalogue : 51,49 €.46,34 €

Vous êtes dans la boutique Luxembourg

Pas en Luxembourg? Choisissez la boutique de votre pays pour voir les livres disponibles à l'achat.

Choisir sa boutique

Acheter

Résumé

Catégories

À propos de ce livre

Langue :English
ISBN :9783030753337
Date de parution :6 mai 2021
Éditeur :Springer International Publishing

Marque éditoriale :Springer
Format de fichier :EPUB3
Taille de fichier :7.52 MB
Options de téléchargement :EPUB3 (Adobe DRM)

Dans cette série

Declarative Programming and Knowledge Management

Ricardo Rocha,Michael Hanus

Functional and Logic Programming

Michael Hanus,Atsushi Igarashi

Practical Aspects of Declarative Languages

Michael Hanus,Daniela Inclezan

Lectures semblables

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

59,42 €

Why Programs Fail

Andreas Zeller

44,07 €

Principles of Data Integration

AnHai Doan, Alon Halevy, Zachary Ives

54,89 €

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Gratuit

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratuit

Programming Languages and Systems

Amal Ahmed

Gratuit

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratuit

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratuit

Programming Languages and Systems

Luís Caires

Gratuit

Systematic Program Design

Yanhong Annie Liu

43,46 €

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

64,16 €

Trends in Functional Programming Volume 6

Marko Van Eekelen

33,36 €

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratuit

Programming Languages and Systems

Thomas Wies

Gratuit

Emergent Web Intelligence: Advanced Information Retrieval

Richard Chbeir, Youakim Badr, Ajith Abraham, Aboul-Ella Hassanien

129,77 €

Machine Learning for Beginners

Harsh Bhasin

12,45 €

ou Gratuit avec Kobo Plus

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

63,85 €

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

37,07 €

Transactions on Aspect-Oriented Software Development XII

Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld

46,34 €

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

37,07 €

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

46,34 €

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

46,34 €

Reasoning Web. Semantic Interoperability on the Web

Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab

46,34 €

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac, Philipp Rümmer

46,34 €

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

46,34 €

Tests and Proofs

Einar Broch Johnsen, Sebastian Gabmeyer

46,34 €

Practical Aspects of Declarative Languages

Yuliya Lierler, Walid Taha

46,34 €

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

37,07 €

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

74,15 €

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

46,34 €

Functional and Logic Programming

Andy King, Oleg Kiselyov

43,56 €

Model Checking Software

Alfons Laarman, Ana Sokolova

46,34 €

Practical Aspects of Declarative Languages

James Cheney, Simona Perri

60,24 €

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

46,34 €

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires

46,34 €

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

46,34 €

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

46,34 €

Coordination Models and Languages

Ferruccio Damiani, Ornela Dardha

46,34 €

Trends in Functional Programming Volume 7

Henrik Nilsson

30,58 €

Perspectives of System Informatics

Alexander K. Petrenko, Andrei Voronkov

46,34 €

Handbook of Conceptual Modeling

Bernhard Thalheim, David W. Embley

129,77 €

Programming Languages and Systems

Bor-Yuh Evan Chang

46,34 €

Trends in Functional Programming Volume 10

Zoltán Horváth, Viktória Zsók

30,58 €

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

83,42 €

Schema Matching and Mapping

Zohra Bellahsene, Angela Bonifati, Erhard Rahm

83,42 €

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

129,77 €

Logic-Based Program Synthesis and Transformation

Alicia Villanueva

50,97 €

Programming Languages and Systems

Atsushi Igarashi

46,34 €

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

46,34 €

Verified Software. Theories, Tools and Experiments.

Akash Lal, Stefano Tonetta

46,34 €

Applications of Declarative Programming and Knowledge Management

Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf

46,34 €

Static Analysis

Gagandeep Singh, Caterina Urban

64,88 €

Verified Software: Theories, Tools and Experiments

Dimitra Giannakopoulou, Daniel Kroening

43,56 €

Coordination Models and Languages

Giovanna Di Marzo Serugendo, Michele Loreti

46,34 €

Programming Languages and Systems

Ilya Sergey

60,24 €

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

46,34 €

Theory and Practice of Model Transformation

Esther Guerra, Mark van den Brand

46,34 €

Programming Languages and Systems

Bruno C. d. S. Oliveira

46,34 €

Programming Languages and Systems

Peter Thiemann

46,34 €

The Semantic Web – ISWC 2016

Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil

46,34 €

Trends in Functional Programming

Meng Wang, Scott Owens

37,07 €

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria, Bernhard Steffen

78,78 €

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

46,34 €

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Tiziana Margaria, Bernhard Steffen

78,78 €

Runtime Verification

Yliès Falcone, César Sánchez

46,34 €

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

69,51 €

Web Services and Formal Methods

Emilio Tuosto, Chun Ouyang

37,07 €

Concise Guide to Software Verification

Marieke Huisman, Anton Wijs

55,61 €

Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies

46,34 €

Patterns, Programming and Everything

R. Nigel Horspool, Karin K. Breitman

83,42 €

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

46,34 €

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

83,42 €

Flexible Approaches in Data, Information and Knowledge Management

Olivier Pivert, Sławomir Zadrożny

83,42 €

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

46,34 €

Static Analysis

Xavier Rival

46,34 €

Web Services, Formal Methods, and Behavioral Types

Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich

37,07 €

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

64,88 €

Programming Languages and Operational Semantics

Maribel Fernández

37,07 €

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

46,34 €

Program Specialization

Renaud Marlet

185,99 €

Computer Security – ESORICS 2017

Simon N. Foley, Dieter Gollmann, Einar Snekkenes

46,34 €

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

46,34 €

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

46,34 €

Semantic Search over the Web

Roberto De Virgilio, Francesco Guerra, Yannis Velegrakis

46,34 €

Autres livres de l'auteur

Intelligent Computer Mathematics - eBook par Fairouz Kamareddine, Claudio Sacerdoti Coen

Avez-vous aimé le livre ?

Soyez la première personne à noter ce livre et à laisser un avis !

Vos paramètres de confidentialité

Functional and Constraint Logic Programming

Résumé

À propos de ce livre

Détails du livre

Comment lire

Dans cette série

Declarative Programming and Knowledge Management

Functional and Logic Programming

Practical Aspects of Declarative Languages

Lectures semblables

Information Modeling and Relational Databases

Why Programs Fail

Principles of Data Integration

Fundamental Approaches to Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Programming Languages and Systems

Computer Aided Verification

Computer Aided Verification

Programming Languages and Systems

Systematic Program Design

The Functional Approach to Programming

Trends in Functional Programming Volume 6

Tools and Algorithms for the Construction and Analysis of Systems

Programming Languages and Systems

Emergent Web Intelligence: Advanced Information Retrieval

Machine Learning for Beginners

Readings in Artificial Intelligence and Software Engineering

Practical Aspects of Declarative Languages

Transactions on Aspect-Oriented Software Development XII

Trustworthy Global Computing

Tests and Proofs

Integrated Formal Methods

Reasoning Web. Semantic Interoperability on the Web

Verified Software. Theories, Tools, and Experiments

Trustworthy Global Computing

Tests and Proofs

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Integrated Formal Methods

Modelling Foundations and Applications

Functional and Logic Programming

Model Checking Software

Practical Aspects of Declarative Languages

Programming Languages and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Verified Software: Theories, Tools, and Experiments

Logic-Based Program Synthesis and Transformation

Coordination Models and Languages

Trends in Functional Programming Volume 7

Perspectives of System Informatics

Handbook of Conceptual Modeling

Programming Languages and Systems

Trends in Functional Programming Volume 10

Verification, Model Checking, and Abstract Interpretation

Schema Matching and Mapping

Clustering and Information Retrieval

Logic-Based Program Synthesis and Transformation

Programming Languages and Systems

Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools and Experiments.

Applications of Declarative Programming and Knowledge Management

Static Analysis

Verified Software: Theories, Tools and Experiments

Coordination Models and Languages

Programming Languages and Systems

Software Engineering and Formal Methods

Theory and Practice of Model Transformation

Programming Languages and Systems

Programming Languages and Systems

The Semantic Web – ISWC 2016

Trends in Functional Programming

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Logic-Based Program Synthesis and Transformation

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Runtime Verification

Integrated Formal Methods

Web Services and Formal Methods

Concise Guide to Software Verification

Verified Software. Theories, Tools, and Experiments