Sign-In
CartBjorner, D.
Filters
Sort by
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
Bjorner, D.
Paperback
$59.99
{"Id":20377137,"Title":"Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings","Authors":["Bjorner, D."],"ShortTitle":"Abstract Software Specifications: 1979 Copenhagen Winter School, January\u2026","Author":"Bjorner, D.","Ean":"9783540100072","Isbn":"3540100075","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4878847],"CategoryIds":[1125],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":59.99,"PriceMax":59.99,"Desirability":0,"PublicationDate":"1980-06-01T00:00:00","Join":null}
$199.99
{"Id":24212682,"Title":"Domain Science and Engineering: A Foundation for Software Development","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Domain Science and Engineering: A Foundation for Software Development","Author":"Bj\u00F8rner, Dines","Ean":"9783030734862","Isbn":"3030734862","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":10060698,"SeriesId":283655,"LanguageId":56,"PriceMin":199.99,"PriceMax":199.99,"Desirability":1,"PublicationDate":"2022-11-10T00:00:00","Join":null}
$199.99
{"Id":20118841,"Title":"Domain Science and Engineering: A Foundation for Software Development","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Domain Science and Engineering: A Foundation for Software Development","Author":"Bj\u00F8rner, Dines","Ean":"9783030734831","Isbn":"3030734838","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":10060698,"SeriesId":283655,"LanguageId":56,"PriceMin":199.99,"PriceMax":199.99,"Desirability":1,"PublicationDate":"2021-11-09T00:00:00","Join":null}
$76.99
{"Id":20384884,"Title":"Software Engineering 2: Specification of Systems and Languages","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Software Engineering 2: Specification of Systems and Languages","Author":"Bj\u00F8rner, Dines","Ean":"9783540211501","Isbn":"3540211500","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":7106620,"SeriesId":219060,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"2006-02-22T00:00:00","Join":null}
$54.99
{"Id":20577022,"Title":"Software Engineering 2: Specification of Systems and Languages","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Software Engineering 2: Specification of Systems and Languages","Author":"Bj\u00F8rner, Dines","Ean":"9783642059407","Isbn":"3642059406","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":7106620,"SeriesId":219060,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2010-02-12T00:00:00","Join":null}
$99.99
{"Id":20577000,"Title":"Software Engineering 1: Abstraction and Modelling","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Software Engineering 1: Abstraction and Modelling","Author":"Bj\u00F8rner, Dines","Ean":"9783642059391","Isbn":"3642059392","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":6945961,"SeriesId":219060,"LanguageId":56,"PriceMin":99.99,"PriceMax":99.99,"Desirability":0,"PublicationDate":"2010-02-12T00:00:00","Join":null}
$119.99
{"Id":20577041,"Title":"Software Engineering 3: Domains, Requirements, and Software Design","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Software Engineering 3: Domains, Requirements, and Software Design","Author":"Bj\u00F8rner, Dines","Ean":"9783642059414","Isbn":"3642059414","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":6945963,"SeriesId":219060,"LanguageId":56,"PriceMin":119.99,"PriceMax":119.99,"Desirability":0,"PublicationDate":"2010-02-12T00:00:00","Join":null}
$153.99
{"Id":20384867,"Title":"Software Engineering 1: Abstraction and Modelling","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Software Engineering 1: Abstraction and Modelling","Author":"Bj\u00F8rner, Dines","Ean":"9783540211495","Isbn":"3540211497","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":6945961,"SeriesId":219060,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":0,"PublicationDate":"2005-12-19T00:00:00","Join":null}
$153.99
{"Id":20384904,"Title":"Software Engineering 3: Domains, Requirements, and Software Design","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Software Engineering 3: Domains, Requirements, and Software Design","Author":"Bj\u00F8rner, Dines","Ean":"9783540211518","Isbn":"3540211519","Publisher":"Springer Pg","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":6945963,"SeriesId":219060,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":0,"PublicationDate":"2006-03-09T00:00:00","Join":null}
$46.19
{"Id":20376138,"Title":"The Vienna Development Method: The Meta-Language","Authors":["Bjorner, D.","Jones, C. B."],"ShortTitle":"Vienna Development Method: The Meta-Language","Author":"Bjorner, D.","Ean":"9783540087663","Isbn":"3540087664","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4878847,3613594],"CategoryIds":[151,591,877],"FormatId":2,"FamilyId":976130,"SeriesId":16773,"LanguageId":56,"PriceMin":46.19,"PriceMax":46.19,"Desirability":1,"PublicationDate":"1978-05-01T00:00:00","Join":null}
$109.99
{"Id":20376397,"Title":"Towards a Formal Description of ADA","Authors":["Oest, O. N.","Bjorner, D."],"ShortTitle":"Towards a Formal Description of ADA","Author":"Oest, O. N.","Ean":"9783540102830","Isbn":"3540102833","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4883247,4878847],"CategoryIds":[1125],"FormatId":2,"FamilyId":966879,"SeriesId":16773,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1980-12-01T00:00:00","Join":null}
Schediasma Historico Geographicum De Varegis, Heroibus Scandianis Et Primis Russiae Dynastis...
Björner, Erik Julius
Hardcover
$39.94
{"Id":25736032,"Title":"Schediasma Historico Geographicum De Varegis, Heroibus Scandianis Et Primis Russiae Dynastis...","Authors":["Bj\u00F6rner, Erik Julius"],"ShortTitle":"Schediasma Historico Geographicum De Varegis, Heroibus Scandianis Et\u2026","Author":"Bj\u00F6rner, Erik Julius","Ean":"9781021030894","Isbn":"1021030899","Publisher":"Legare Street Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10543357],"CategoryIds":[1158],"FormatId":1,"FamilyId":10784346,"SeriesId":null,"LanguageId":131,"PriceMin":39.94,"PriceMax":39.94,"Desirability":1,"PublicationDate":"2023-07-18T00:00:00","Join":null}
Cogitationes Critico Philologicae De Orthographia Linguae Svio Gothicae, Tam Runica Quam Vulgari, a Corrupto Medii Aevi Stylo Vindicanda: Occasione Am
Björner, Erik Julius
Paperback
$23.69
{"Id":6415744,"Title":"Cogitationes Critico Philologicae De Orthographia Linguae Svio Gothicae, Tam Runica Quam Vulgari, a Corrupto Medii Aevi Stylo Vindicanda: Occasione Am","Authors":["Bj\u00F6rner, Erik Julius"],"ShortTitle":"Cogitationes Critico Philologicae De Orthographia Linguae Svio Gothicae,\u2026","Author":"Bj\u00F6rner, Erik Julius","Ean":"9781145088672","Isbn":"1145088678","Publisher":"Nabu Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10543357],"CategoryIds":[594,702,1158],"FormatId":2,"FamilyId":7064362,"SeriesId":null,"LanguageId":131,"PriceMin":23.69,"PriceMax":23.69,"Desirability":0,"PublicationDate":"2010-02-22T00:00:00","Join":null}
Schediasma Historico Geographicum De Varegis, Heroibus Scandianis Et Primis Russiae Dynastis...
Björner, Erik Julius
Paperback
$23.69
{"Id":26056540,"Title":"Schediasma Historico Geographicum De Varegis, Heroibus Scandianis Et Primis Russiae Dynastis...","Authors":["Bj\u00F6rner, Erik Julius"],"ShortTitle":"Schediasma Historico Geographicum De Varegis, Heroibus Scandianis Et\u2026","Author":"Bj\u00F6rner, Erik Julius","Ean":"9781022605220","Isbn":"1022605224","Publisher":"Legare Street Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10543357],"CategoryIds":[1158],"FormatId":2,"FamilyId":10784346,"SeriesId":null,"LanguageId":131,"PriceMin":23.69,"PriceMax":23.69,"Desirability":0,"PublicationDate":"2023-07-18T00:00:00","Join":null}
Cogitationes Critico Philologicae De Orthographia Linguae Suio Gothicae (1742)
Bjorner, Erik Julius
Paperback
$31.19
{"Id":5356598,"Title":"Cogitationes Critico Philologicae De Orthographia Linguae Suio Gothicae (1742)","Authors":["Bjorner, Erik Julius"],"ShortTitle":"Cogitationes Critico Philologicae De Orthographia Linguae Suio Gothicae\u2026","Author":"Bjorner, Erik Julius","Ean":"9781104084431","Isbn":"1104084430","Publisher":"Kessinger Pub Llc","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2074416],"CategoryIds":[537,538,702],"FormatId":2,"FamilyId":12518458,"SeriesId":null,"LanguageId":56,"PriceMin":31.19,"PriceMax":31.19,"Desirability":0,"PublicationDate":"2009-02-16T00:00:00","Join":null}
Cogitationes Critico Philologicae De Orthographia Linguae Suio Gothicae (1742)
Bjorner, Erik Julius
Paperback
$31.19
{"Id":8147601,"Title":"Cogitationes Critico Philologicae De Orthographia Linguae Suio Gothicae (1742)","Authors":["Bjorner, Erik Julius"],"ShortTitle":"Cogitationes Critico Philologicae De Orthographia Linguae Suio Gothicae\u2026","Author":"Bjorner, Erik Julius","Ean":"9781165375639","Isbn":"116537563X","Publisher":"Kessinger Pub Llc","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2074416],"CategoryIds":[537,538,702],"FormatId":2,"FamilyId":12518458,"SeriesId":null,"LanguageId":131,"PriceMin":31.19,"PriceMax":31.19,"Desirability":0,"PublicationDate":"2010-09-10T00:00:00","Join":null}
$166.60
{"Id":20394508,"Title":"Combinatorics of Coxeter Groups","Authors":["Bjorner, Anders","Brenti, Francesco"],"ShortTitle":"Combinatorics of Coxeter Groups","Author":"Bjorner, Anders","Ean":"9783540442387","Isbn":"3540442383","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4896403,4896404],"CategoryIds":[898],"FormatId":1,"FamilyId":894627,"SeriesId":15788,"LanguageId":56,"PriceMin":166.6,"PriceMax":166.6,"Desirability":1,"PublicationDate":"2005-05-31T00:00:00","Join":null}
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin
Voronkov, Andrei
Bjørner, Nikolaj
Paperback
$54.99
{"Id":20588868,"Title":"Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin","Authors":["Voronkov, Andrei","Bj\u00F8rner, Nikolaj"],"ShortTitle":"Logic for Programming, Artificial Intelligence, and Reasoning: 18th\u2026","Author":"Voronkov, Andrei","Ean":"9783642287169","Isbn":"3642287166","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[775408,12701538],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":1,"PublicationDate":"2012-02-24T00:00:00","Join":null}
$125.99
{"Id":20580143,"Title":"Combinatorics of Coxeter Groups","Authors":["Bjorner, Anders","Brenti, Francesco"],"ShortTitle":"Combinatorics of Coxeter Groups","Author":"Bjorner, Anders","Ean":"9783642079221","Isbn":"3642079229","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4896403,4896404],"CategoryIds":[898],"FormatId":2,"FamilyId":12633781,"SeriesId":15788,"LanguageId":56,"PriceMin":125.99,"PriceMax":125.99,"Desirability":1,"PublicationDate":"2010-10-19T00:00:00","Join":null}
$109.99
{"Id":20398944,"Title":"Baltic Computer Science: Selected Papers","Authors":["Barzdins, Janis","Bj\u00F8rner, Dines"],"ShortTitle":"Baltic Computer Science: Selected Papers","Author":"Barzdins, Janis","Ean":"9783540541318","Isbn":"3540541314","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1604737,4741972],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":864931,"SeriesId":16773,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1991-06-28T00:00:00","Join":null}