Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Frontiers of Combining Systems

Língua InglêsInglês
Livro Capa mole
Livro Frontiers of Combining Systems Clare Dixon
Código Libristo: 16771870
Editoras Springer International Publishing AG, agosto 2017
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining... Descrição completa
? points 171 b
70.99 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Conferencia sobre la eficacia François Jullien / Livro Capa mole
common.buy 20.00 €
Architektura jest najwazniejsza Rozmowy drugie / Livro Capa mole
common.buy 9.84 €
Hayri Potur Muzaffer Izgü / Livro Capa mole
common.buy 16.04 €
Türkiyede Islamcilik Baticilik Mücadelesi Sadik Albayrak / Livro Capa mole
common.buy 19.09 €
Normalarbeitsverhaltnis oder Prekariat Siegfried Schwab / Livro Capa mole
common.buy 45.50 €
Leben im Gleichgewicht von Gnade und Glaube Andrew Wommack / Livro Capa mole
common.buy 13.09 €
Nos vemos! collegium / Livro Capa mole
common.buy 20.20 €
Bon anniversaire - 50 ans: Violet - Carte livre d'or "Pour que ce jour compte" (12,7x20cm) Thibaut Pialat / Livro Capa mole
common.buy 5.88 €
Die Dekorative Kunst Des Altertums (1914) Frederik Poulsen / Livro Capa mole
common.buy 22.24 €
Auxiliar sanitario del Instituto Foral de Asistencia Social de Bizkaia (IFAS). Temario general y tes 7 / Livro Capa mole
common.buy 20.91 €
Coleccion Tiempo Hernández Mercedes Pilar / Livro Capa mole
common.buy 14.41 €
Blick nach Osten. Versuch der Konstruktion einer chinesischen Hermeneutik Handing Hong / Livro Capa mole
common.buy 14.21 €
Savage Worlds - Science-Fiction-Kompendium Clint Black / Livro Capa mole
common.buy 44.68 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Frontiers of Combining Systems
Autor Clare Dixon, Marcelo Finger
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2017
Número de páginas 351
EAN 9783319661667
ISBN 3319661663
Código Libristo 16771870
Editoras Springer International Publishing AG
Peso 5504
Dimensões 155 x 235 x 20

Categorias

Sociedade & ciências sociais > Política & governo > Administração pública
Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Using Multimodal Representations to Support Learning in the Science Classroom Brian Hand / Livro Capa mole
common.buy 54.64 €
Always Coming Home: A Short Story Denise Longrie / Livro Capa mole
common.buy 6.19 €
CFAST Consolidated Model of Fire Growth and Smoke Transport (Version 5): User s Guide Nist / Livro Capa mole
common.buy 14.92 €
Universal Anthology; A Collection of the Best Literature, Ancient, Mediaeval and Modern, with Biographical and Explanatory Notes Volume 2 Garnett / Livro Livro de capa dura
common.buy 38.39 €
Fatal Fire Marla Bradeen / Livro Capa mole
common.buy 18.48 €
It's Better to Have Loved JANICE JONES ADAMS / Livro Capa mole
common.buy 12.38 €
The Wonderful Wizard of Oz Frank L. Baum / Livro Capa mole
common.buy 9.34 €
Genesis Michel Serres / Livro Livro de capa dura
common.buy 85.52 €
DESIGN AND APPLICATION OF THE WORM GEAR (801780) William P. Crosher / Livro Livro de capa dura
common.buy 98.52 €
Atlantis Encyclopedia Frank Joseph / Livro Capa mole
common.buy 23.96 €
Original Sin: Hulk Vs. Iron Man Kieron Gillen / Livro Capa mole
common.buy 17.66 €
Ruby on Rails For Dummies Barry Burd / Livro Capa mole
common.buy 26.91 €
Joy of Music Bernstein Leonard / Livro Capa mole
common.buy 37.68 €
Cambridge Checkpoint Science Workbook 7 Mary Jones / Livro Capa mole
common.buy 16.14 €
4 DIVISION Divisional Troops Royal Army Medical Corps 12 Field Ambulance Wo95/1474 / Livro Capa mole
common.buy 92.63 €
First Discovery of Australia and New Guinea Being the Narrative of Portuguese and Spanish Discoveries in the Australasian Regions, Between the Yea George Collingridge / Livro Capa mole
common.buy 12.48 €
Dog Crusoe and His Master Robert M. Ballantyne / Livro Capa mole
common.buy 17.16 €
450 Contemporary Piano Studies in 15 Keys, Volume 1 Charles Austin / Livro Capa mole
common.buy 28.13 €
Preaching of D. L. Moody Mark H Ballard / Livro Livro de capa dura
common.buy 30.67 €
Revenge of the Middle-Aged Woman Elizabeth Buchanová / Livro Capa mole
common.buy 12.69 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo