Bjorner d ed (57 Ergebnisse)

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

Zustand: Gebraucht - Wie neu

EUR 39,17

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: 2 verfügbar

Zustand: As New. Unread book in perfect condition.

Configuration Spaces : Geometry, Combinatorics and Topology

Sprache: Englisch

Verlag: Edizioni della Normale 2012

887642430X / 9788876424304

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 41,31

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: 2 verfügbar

Zustand: New.

Abstract Software Specifications: 1979 Copenhagen Winter School Proceedings

BJORNER, D. (ed.)

Verlag: Springer, Berlin 1980

Softcover

Anbieter: Attic Books (ABAC, ILAB), London, ON, KanadaAttic Books (ABAC, ILAB)

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht

EUR 17,95

EUR 13,07 Versand

Versand von Kanada nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Softcover. Zustand: 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

Sprache: Englisch

Verlag: Springer 2015

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 50,56

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 2019

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 52,24

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 2012

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 53,58

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 2011

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 54,08

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 1993

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 56,25

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 2015

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 56,55

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

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

Sprache: Englisch

Verlag: Springer 2015

3319192485 / 9783319192482

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Bjorner, Dines (EDT); Broy, Manfred (EDT); Zamulin, A. V. (EDT)

Zustand: Neu

EUR 58,66

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Persectives on System Informatics : Revised Papers of the 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001

Sprache: Englisch

Verlag: Springer 2001

354043075X / 9783540430759

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 60,22

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer 2011

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 61,60

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer 2019

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 61,98

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer 1993

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Bjørner, Dines; Jones, Cliff (EDT); MAC an Airchinnigh, Michael; Neuhold, Erich J. (EDT)

Zustand: Gebraucht - Wie neu

EUR 62,36

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Vdm '87. Vdm - a Formal Method at Work : Vdm-europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Sprache: Englisch

Verlag: Springer 1987

3540176543 / 9783540176541

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 62,36

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

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

Sprache: Englisch

Verlag: Springer 2012

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 62,78

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

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

Sprache: Englisch

Verlag: Springer 2015

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Bjørner, Dines; Jones, Cliff (EDT); MAC an Airchinnigh, Michael; Neuhold, Erich J. (EDT)

Zustand: Neu

EUR 49,98

EUR 17,30 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Vdm '87. Vdm - a Formal Method at Work : Vdm-europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Sprache: Englisch

Verlag: Springer 1987

3540176543 / 9783540176541

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Bjorner, Dines (EDT); Broy, Manfred (EDT); Pottosin, Igor V. (EDT)

Zustand: Neu

EUR 73,82

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia June 25-28, 1996 : Proceedings

Sprache: Englisch

Verlag: Springer 1996

3540620648 / 9783540620648

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 74,39

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 2015

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 59,21

EUR 17,30 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer 1993

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 59,92

EUR 17,30 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 2015

3319192485 / 9783319192482

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 60,00

EUR 17,30 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 2012

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 59,88

EUR 17,30 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 2011

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 59,94

EUR 17,30 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 2019

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Bjorner, Dines (EDT); Broy, Manfred (EDT); Zamulin, A. V. (EDT)

Zustand: Neu

EUR 60,32

EUR 17,30 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Persectives on System Informatics : Revised Papers of the 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001

Sprache: Englisch

Verlag: Springer 2001

354043075X / 9783540430759

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 78,05

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer 2012

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 66,41

EUR 17,30 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer 2019

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 66,41

EUR 17,30 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer 2011

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 66,41

EUR 17,30 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer 1993

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen