Articles liés à Frontiers of Combining Systems: 11th International...
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings - Couverture souple
Synopsis
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017.
The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics.
The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Frontiers of Combining Systems: 11th International...
Image d'archives
Frontiers of Combining Systems (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 7b9afa7a4cdd59080f26f2996e825e5f
Acheter neuf
EUR 58,23
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, BrasAlia, Brazil, September 27-29, 2017, Proceedings
impression à la demandeVendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. N° de réf. du vendeur 6666-IUK-9783319661667
Acheter neuf
EUR 71,65
Expédition à EUR 7,75
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 20 disponible(s)
Image d'archives
Frontiers of Combining Systems : 11th International Symposium, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 29776241-n
Acheter neuf
EUR 79,34
Expédition à EUR 2,36
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Frontiers of Combining Systems : 11th International Symposium, Proceedings
Edité par
Springer, 2017
ISBN 10 : 3319661663
ISBN 13 : 9783319661667
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 29776241
Acheter D'occasion
EUR 80,55
Expédition à EUR 2,36
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Frontiers of Combining Systems
Edité par
Springer International Publishing Aug 2017, 2017
ISBN 10 : 3319661663
ISBN 13 : 9783319661667
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 364 pp. Englisch. N° de réf. du vendeur 9783319661667
Acheter neuf
EUR 69,54
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Frontiers Of Combining Systems
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur V9783319661667
Acheter neuf
EUR 85,67
Expédition à EUR 9,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (Lecture Notes in Computer Science, 10483)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9783319661667_new
Acheter neuf
EUR 82,69
Expédition à EUR 13,48
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Frontiers of Combining Systems
Edité par
Springer International Publishing, 2017
ISBN 10 : 3319661663
ISBN 13 : 9783319661667
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. N° de réf. du vendeur 155241556
Acheter neuf
EUR 61,55
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Bras?lia, Brazil, September 27-29, 2017, Proceedings (Lecture Notes in Computer Science)
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 323. N° de réf. du vendeur 26375414108
Acheter neuf
EUR 110,26
Expédition à EUR 3,56
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Frontiers of Combining Systems: 11th International Symposium, Proceedings
Edité par
Springer-Verlag New York Inc, 2017
ISBN 10 : 3319661663
ISBN 13 : 9783319661667
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 364 pages. 9.25x6.10x0.91 inches. In Stock. N° de réf. du vendeur x-3319661663
Acheter neuf
EUR 103,49
Expédition à EUR 14,93
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)