1- 20 of 333 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: Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, Author: Kim Guldstrand Larsen
QUICK ADD
Formal Methods for Industrial…
by Kim Guldstrand Larsen (Editor), Tim Willemse (Editor)
#11687 in Series
eBook $54.99
Title: Julia Quick Syntax Reference: A Pocket Guide for Data Science Programming, Author: Antonello Lobianco
QUICK ADD
Julia Quick Syntax Reference:…
by Antonello Lobianco
eBook $54.99
Title: Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, Author: Bor-Yuh Evan Chang
QUICK ADD
Programming Languages and…
by Bor-Yuh Evan Chang
#10695 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
eBook $54.99
Title: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,, Author: Laure Petrucci
QUICK ADD
Critical Systems: Formal…
by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
#10471 in Series
Paperback $54.99
Title: Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings, Author: Atsushi Igarashi
QUICK ADD
Programming Languages and…
by Atsushi Igarashi
#10017 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: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, Author: Fernando Castor
QUICK ADD
Programming Languages: 20th…
by Fernando Castor (Editor), Yu David Liu (Editor)
#9889 in Series
eBook $54.99
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data / Edition 1, Author: Jean-Francois Collard
QUICK ADD
Reasoning About Program…
by Jean-Francois Collard
Hardcover $54.99
Title: Quick Start Guide to Dart Programming: Create High-Performance Applications for the Web and Mobile, Author: Sanjib Sinha
QUICK ADD
Quick Start Guide to Dart…
by Sanjib Sinha
Paperback $54.99
Title: Database Programming Languages: 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers / Edition 1, Author: Georg Lausen
QUICK ADD
Database Programming Languages…
by Georg Lausen, Dan Suciu
#2921 in Series
Paperback $54.99
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings / Edition 1, Author: Radhia Cousot
QUICK ADD
Static Analysis: Third…
by Radhia Cousot, David A. Schmidt
#1145 in Series
Paperback $54.99
Title: Introducing Delphi ORM: Object Relational Mapping Using TMS Aurelius, Author: John Kouraklis
QUICK ADD
Introducing Delphi ORM: Object…
by John Kouraklis
eBook $54.99
Title: Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings, Author: Sridutt Bhalachandra
QUICK ADD
Accelerator Programming Using…
by Sridutt Bhalachandra (Editor), Sandra Wienke (Editor), Sunita Chandrasekaran (Editor), Guido Juckeland (Editor)
#12655 in Series
Paperback $54.99
Title: Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers, Author: Matteo Baldoni
QUICK ADD
Declarative Agent Languages…
by Matteo Baldoni (Editor), Tran Cao Son (Editor), M. Birna van Riemsdijk (Editor), Michael Winikoff (Editor)
#4897 in Series
Paperback $54.99
Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / Edition 1, Author: Manuel Hermenegildo
QUICK ADD
Programming Languages:…
by Manuel Hermenegildo, S.Doaitse Swierstra
#982 in Series
Paperback $54.99
Title: Languages and Compilers for Parallel Computing: 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / Edition 1, Author: Eduard Ayguadé
QUICK ADD
Languages and Compilers for…
by Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan
#4339 in Series
Paperback $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