Ong Luke Editor – AbeBooks

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings . Computer Science and General Issues)

Ong, Luke [Editor]

Language: English

Published by Springer 2005

3540282319 / 9783540282310

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Contact seller

Condition: Used - Very good

£ 38.22

£ 5.29 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.Except for library markings, interior clean and unmarked. Tight binding.

Typed Lambda Calculi and Applications: 10th International Conference, Tlca 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Ong, Luke (Editor)

Language: English

Published by Springer Verlag 2011

3642216900 / 9783642216909

Softcover

Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 66.76

£ 10.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 2011 edition. 244 pages. 9.00x6.00x0.75 inches. In Stock.

Logic, Language, Information, and Computation: 19th International Workshop, Wollic 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Ong, Luke (Editor) / de Queiroz, Ruy (Editor)

Language: English

Published by Springer 2012

364232620X / 9783642326202

Softcover

Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 67.60

£ 10.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 2nd edition. 349 pages. 9.25x6.25x0.75 inches. In Stock.

Foundations of Software Science and Computational Structures: 13th International Conference, Fossacs 2010, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2010, Paphos, Cy

Ong, Luke (Editor)

Language: English

Published by Springer-Verlag New York Inc 2010

3642120318 / 9783642120312

Softcover

Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 68.76

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 388 pages. 9.00x6.00x1.00 inches. In Stock.

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, Icfem 2017, Xi'an, China, November 13-17, 2017, Proceedings

Duan, Zhenhua (Editor)/ Ong, Luke (Editor)

Language: English

Published by Springer-Verlag New York Inc 2017

3319686895 / 9783319686899

Softcover

Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 69.78

£ 35.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 516 pages. 9.25x6.10x1.17 inches. In Stock.

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy

Ausiello, Giorgio (Editor) / Karhumäki, Juhani (Editor) / Mauri, Giancarlo (Editor) / Ong, Luke (Editor)

Language: English

Published by Springer US 2008

1441935142 / 9781441935144

Softcover

Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 201.70

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 553 pages. 9.25x6.25x1.28 inches. In Stock.

Ong Luke Editor (6 results)

Refine your search

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings . Computer Science and General Issues)

Typed Lambda Calculi and Applications: 10th International Conference, Tlca 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Logic, Language, Information, and Computation: 19th International Workshop, Wollic 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Foundations of Software Science and Computational Structures: 13th International Conference, Fossacs 2010, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2010, Paphos, Cy

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, Icfem 2017, Xi'an, China, November 13-17, 2017, Proceedings

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy