Bjorner D Ed (41 results)

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

Association member: ABACILAB

Condition: Used

£ 15.54

£ 11.32 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

Condition: New

£ 43.47

£ 1.99 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, Nikolaj (EDT); Sofronie-stokkermans, Viorica (EDT)

Condition: New

£ 46.11

£ 1.99 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, Dines; Broy, Manfred (EDT); Pottosin, Igor V.

Condition: New

£ 46.40

£ 1.99 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.94

£ 1.99 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

£ 49.15

£ 1.99 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

£ 50.78

£ 1.99 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

£ 53.58

£ 1.99 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

£ 54.04

£ 1.99 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

£ 55.02

£ 1.99 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

£ 55.62

£ 1.99 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.90

£ 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.86

£ 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: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 66.99

£ 1.99 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: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

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

Condition: New

£ 55.94

£ 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

Condition: Used - As new

£ 55.94

£ 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, Nikolaj (EDT); Sofronie-stokkermans, Viorica (EDT)

Condition: Used - As new

£ 55.94

£ 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

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

Condition: Used - As new

£ 55.94

£ 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

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

Condition: Used - As new

£ 55.94

£ 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

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

Condition: New

£ 100.52

£ 1.99 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Oriented Matroids

Language: English

Published by Cambridge University Press, 2000

Softcover

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

£ 115.28

£ 1.99 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

£ 103.19

£ 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

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

£ 110.12

£ 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

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: Used - As new

£ 116.99

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Oriented Matroids

Language: English

Published by Cambridge University Press, 2000

Softcover

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

5-star seller

Billera, Louis J. (EDT); Bjorner, Anders (EDT); Greene, Curtis (EDT); Simion, Rodica E. (EDT); Stanley, Richard P. (EDT)

Condition: Used - As new

£ 139.22

£ 1.99 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

New Perspectives in Algebraic Combinatorics

Language: English

Published by Cambridge University Press, 1999

0521770874 / 9780521770873

Hardcover

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

5-star seller