Bjorner nikolaj (63 risultati)
Distributed Computing and Internet Technology : 12th International Conference, Icdcit 2016, Proceedings
Bjørner, Nikolaj (EDT); Prasad, Sanjiva (EDT); Parida, Laxmi (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,59
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,12
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,69
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,60
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings. Book.
Distributed Computing and Internet Technology : 12th International Conference, Icdcit 2016, Proceedings
Bjørner, Nikolaj (EDT); Prasad, Sanjiva (EDT); Parida, Laxmi (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 58,95
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,96
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,63
EUR 2,68 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 63,50
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Bjørner, Nikolaj (EDT); Virbitskaite, Irina (EDT); Voronkov, Andrei (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 64,06
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,32
EUR 2,68 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Antiquariat Bernhardt, Kassel, GermaniaAntiquariat Bernhardt
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 18,00
EUR 49,90 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Broschiert Broschiert. Condizione: Sehr gut. XIII, 508 Seiten, Lecture Notes in Artificial Intelligence, Band 6803. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 792.…
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2012
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,47
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 2012th. This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions.The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.…
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,49
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 2011. This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.…
Distributed Computing and Internet Technology : 12th International Conference, Icdcit 2016, Proceedings
Bjørner, Nikolaj (EDT); Prasad, Sanjiva (EDT); Parida, Laxmi (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,46
EUR 17,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Distributed Computing and Internet Technology : 12th International Conference, Icdcit 2016, Proceedings
Bjørner, Nikolaj (EDT); Prasad, Sanjiva (EDT); Parida, Laxmi (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,98
EUR 17,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Bjørner, Nikolaj (EDT); Virbitskaite, Irina (EDT); Voronkov, Andrei (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,80
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,19
EUR 17,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,25
EUR 17,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,72
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New.
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Bjørner, Nikolaj (EDT); Virbitskaite, Irina (EDT); Voronkov, Andrei (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,16
EUR 17,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 68,41
EUR 17,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Bjørner, Nikolaj (EDT); Virbitskaite, Irina (EDT); Voronkov, Andrei (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 68,92
EUR 17,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 85,93
EUR 3,57 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 284.
Distributed Computing and Internet Technology: 12th International Conference, Icdcit 2016, Proceedings
Bjørner, Nikolaj (Editor)/ Prasad, Sanjiva (Editor)/ Parida, Laxmi (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,21
EUR 11,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 248 pages. 9.25x6.10x0.56 inches. In Stock.
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, Psi 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Bjørner, Nikolaj (Editor)/ Virbitskaite, Irina (Editor)/ Voronkov, Andrei (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,75
EUR 11,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. revised edition. 450 pages. 9.25x6.10x0.64 inches. In Stock.
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 88,23
EUR 9,39 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 84,86
EUR 14,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2012 edition. 457 pages. 9.25x6.10x1.02 inches. In Stock.
Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
Bjorner, Nikolaj (Editor)/ Sofronie-stokkermans, Viorica (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 86,75
EUR 14,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2011 edition. 521 pages. 9.30x6.10x1.10 inches. In Stock.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,06
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookconstitutes the proceedings of the 12th International Conference on DistributedComputing and Internet Technology, ICDCIT 2016, held in Bhubaneswar, India, inJanuary 2016. The 6 fullpapers, 7 short papers and 11 poster papers presented in this volume werecarefully reviewed and selected from 129 submissions. The ICDCIT conferencefocusses on distributed computing, internet technologies, and societalapplications. The book also contains 3 full paper invited talks.…
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,40
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory, and much more.…
