Bjorner D Ed (51 results)

Bjorner, A. (EDT); Cohen, F. (EDT); De Concini, C. (EDT); Procesi, C. (EDT); Salvetti, M. (EDT)

Condition: Used - As new

£ 33.57

£ 1.96 shipping

Ships within U.S.A.

Quantity: 2 available

Condition: As New. Unread book in perfect condition.

Configuration Spaces : Geometry, Combinatorics and Topology

Language: English

Published by Edizioni della Normale, 2012

887642430X / 9788876424304

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 34.12

£ 1.96 shipping

Ships within U.S.A.

Quantity: 2 available

Condition: New.

Abstract Software Specifications: 1979 Copenhagen Winter School Proceedings

BJORNER, D. (ed.)

Published by Springer, Berlin, 1980

Softcover

Seller: Attic Books (ABAC, ILAB), London, ON, CanadaAttic Books (ABAC, ILAB)

5-star seller

Bjørner, Nikolaj (EDT); Prasad, Sanjiva (EDT); Parida, Laxmi (EDT)

Association member: ABACILAB

Condition: Used

£ 15.27

£ 11.12 shipping

Ships from Canada to U.S.A.

Quantity: 1 available

Add to basket

Softcover. Condition: ex library-very good. Lecture Notes in Computer Science 86. 566 p. 24 cm. Ex library with labels on spine and last page, ink stamps on top edge and title. Pages browning a little.

Distributed Computing and Internet Technology : 12th International Conference, Icdcit 2016, Proceedings

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bjørner, Nikolaj (EDT); Virbitskaite, Irina (EDT); Voronkov, Andrei (EDT)

Condition: New

£ 43.30

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bjørner, Nikolaj (EDT); Sofronie-stokkermans, Viorica (EDT)

Condition: New

£ 44.84

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Automated Deduction -- Cade-23 : 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

Language: English

Published by Springer, 2011

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 45.80

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, Lpar-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Language: English

Published by Springer, 2012

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bjørner, Dines; Broy, Manfred (EDT); Pottosin, Igor V.

Condition: New

£ 45.99

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Language: English

Published by Springer, 1993

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bjørner, Nikolaj (EDT); Prasad, Sanjiva (EDT); Parida, Laxmi (EDT)

Condition: New

£ 48.07

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Distributed Computing and Internet Technology : 12th International Conference, Icdcit 2016, Proceedings

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bjørner, Nikolaj (EDT); De Boer, Frank (EDT)

Condition: Used - As new

£ 48.96

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Fm 2015 : Formal Methods: 20th International Symposium, Proceedings

Language: English

Published by Springer, 2015

3319192485 / 9783319192482

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bjørner, Nikolaj (EDT); Sofronie-stokkermans, Viorica (EDT)

Condition: New

£ 49.89

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Automated Deduction -- Cade-23 : 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

Language: English

Published by Springer, 2011

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bjørner, Nikolaj (EDT); Virbitskaite, Irina (EDT); Voronkov, Andrei (EDT)

Condition: Used - As new

£ 52.63

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: 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

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 53.09

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, Lpar-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Language: English

Published by Springer, 2012

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bjørner, Dines; Broy, Manfred (EDT); Pottosin, Igor V.

Condition: Used - As new

£ 54.06

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Language: English

Published by Springer, 1993

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bjørner, Nikolaj (EDT); Prasad, Sanjiva (EDT); Parida, Laxmi (EDT)

Condition: Used - As new

£ 54.64

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Distributed Computing and Internet Technology : 12th International Conference, Icdcit 2016, Proceedings

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjørner, Nikolaj (EDT); Prasad, Sanjiva (EDT); Parida, Laxmi (EDT)

Condition: New

£ 41.73

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Distributed Computing and Internet Technology : 12th International Conference, Icdcit 2016, Proceedings

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 49.85

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, Lpar-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Language: English

Published by Springer, 2012

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjørner, Dines; Broy, Manfred (EDT); Pottosin, Igor V.

Condition: New

£ 50.42

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Language: English

Published by Springer, 1993

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjørner, Nikolaj (EDT); Sofronie-stokkermans, Viorica (EDT)

Condition: New

£ 50.45

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Automated Deduction -- Cade-23 : 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

Language: English

Published by Springer, 2011

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjørner, Nikolaj (EDT); De Boer, Frank (EDT)

Condition: New

£ 50.47

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Fm 2015 : Formal Methods: 20th International Symposium, Proceedings

Language: English

Published by Springer, 2015

3319192485 / 9783319192482

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjørner, Nikolaj (EDT); Virbitskaite, Irina (EDT); Voronkov, Andrei (EDT)

Condition: New

£ 50.51

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 50.79

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, Lpar-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Language: English

Published by Springer, 2012

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjørner, Nikolaj (EDT); Virbitskaite, Irina (EDT); Voronkov, Andrei (EDT)

Condition: Used - As new

£ 55.97

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: 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

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjørner, Dines; Broy, Manfred (EDT); Pottosin, Igor V.

Condition: Used - As new

£ 55.92

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Language: English

Published by Springer, 1993

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjørner, Nikolaj (EDT); Sofronie-stokkermans, Viorica (EDT)

Condition: Used - As new

£ 55.91

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Automated Deduction -- Cade-23 : 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

Language: English

Published by Springer, 2011

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)

Condition: Used - As new

£ 55.91

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Description of Programming Concepts

Language: English

Published by Springer, 1991

3540539611 / 9783540539612

Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)

Condition: New

£ 98.75

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Description of Programming Concepts

Language: English

Published by Springer, 1991

3540539611 / 9783540539612

Hardcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjorner, Anders (EDT); Las Vergnas, Michel; Sturmfels, Bernd; White, Neil; Ziegler, Gunter M.; Bjorner, Anders

Condition: New

£ 96.87

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Oriented Matroids

Language: English

Published by Cambridge University Press, 2000

052177750X / 9780521777506

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bjorner, Anders (EDT); Las Vergnas, Michel; Sturmfels, Bernd; White, Neil; Ziegler, Gunter M.; Bjorner, Anders

Condition: New

£ 113.26

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Oriented Matroids

Language: English

Published by Cambridge University Press, 2000

052177750X / 9780521777506

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjorner, Anders (EDT); Las Vergnas, Michel; Sturmfels, Bernd; White, Neil; Ziegler, Gunter M.; Bjorner, Anders

Condition: New

£ 109.17

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Oriented Matroids

Language: English

Published by Cambridge University Press, 2000

052177750X / 9780521777506

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller