1- 20 of 322 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Learn Rust in a Month of Lunches, Author: David MacLeod
QUICK ADD
Learn Rust in a Month of…
by David MacLeod
Explore Series
eBook $50.99
Title: Principles of Abstract Interpretation, Author: Patrick Cousot
QUICK ADD
Principles of Abstract…
by Patrick Cousot
eBook $52.99
Title: Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / Edition 1, Author: Joao Leite
QUICK ADD
Declarative Agent Languages…
by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
#2990 in Series
Paperback $54.99
Title: Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings / Edition 1, Author: G. Ramalingam
QUICK ADD
Programming Languages and…
by G. Ramalingam
#5356 in Series
Paperback $54.99
Title: Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings, Author: Daniel Le Metayer
QUICK ADD
Programming Languages and…
by Daniel Le Metayer (Editor)
#2305 in Series
Paperback $54.99
Title: Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, Author: Yuliya Lierler
QUICK ADD
Practical Aspects of…
by Yuliya Lierler, Walid Taha
#10137 in Series
Paperback $54.99
Title: Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers, Author: Sandra Wienke
QUICK ADD
Accelerator Programming Using…
by Sandra Wienke (Editor), Sridutt Bhalachandra (Editor)
#12017 in Series
Paperback $54.99
Title: Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Author: Peter Thiemann
QUICK ADD
Programming Languages and…
by Peter Thiemann
#9632 in Series
Paperback $54.99
Title: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Author: Marten Lohstroh
QUICK ADD
Principles of Modeling: Essays…
by Marten Lohstroh (Editor), Patricia Derler (Editor), Marjan Sirjani (Editor)
#10760 in Series
eBook $54.99
Title: Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / Edition 1, Author: Naoki Kobayashi
QUICK ADD
Programming Languages and…
by Naoki Kobayashi
#4279 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, Author: Marko Bertogna
QUICK ADD
Reliable Software Technologies…
by Marko Bertogna (Editor), Luís Miguel Pinho (Editor), Eduardo Quiñones (Editor)
#9695 in Series
eBook $54.99
Title: Synchronous Programming of Reactive Systems / Edition 1, Author: Nicolas Halbwachs
QUICK ADD
Synchronous Programming of…
by Nicolas Halbwachs
#215 in Series
Hardcover $54.99
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / Edition 1, Author: Matteo Baldoni
QUICK ADD
Declarative Agent Languages…
by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
#3904 in Series
Paperback $54.99
Title: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Author: Falk Howar
QUICK ADD
Formal Methods for Industrial…
by Falk Howar (Editor), Jirí Barnat (Editor)
#11119 in Series
eBook $54.99
Title: Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, Author: Bruno C. d. S. Oliveira
QUICK ADD
Programming Languages and…
by Bruno C. d. S. Oliveira (Editor)
#12470 in Series
Paperback $54.99
Title: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Author: Falk Howar
QUICK ADD
Formal Methods for Industrial…
by Falk Howar, Jirï Barnat
#11119 in Series
Paperback $54.99
Title: Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings, Author: María Alpuente
QUICK ADD
Static Analysis: 15th…
by María Alpuente (Editor), Germán Vidal-Oriola (Editor)
#5079 in Series
Paperback $54.99
Title: Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Formal Methods for Industrial…
by Maurice H. ter Beek (Editor), Dejan Nickovic (Editor)
#12327 in Series
Paperback $54.99
Title: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner
QUICK ADD
Automated Technology for…
by Bernd Finkbeiner (Editor), Geguang Pu (Editor), Lijun Zhang (Editor)
#9364 in Series
eBook $54.99
Title: Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, Author: Anthony Widjaja Lin
QUICK ADD
Programming Languages and…
by Anthony Widjaja Lin
#11893 in Series
Paperback $54.99

Pagination Links