81- 100 of 220 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Languages, Applications and Technologies: 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers, Author: José-Luis Sierra-Rodríguez
QUICK ADD
Languages, Applications and…
by José-Luis Sierra-Rodríguez (Editor), José-Paulo Leal (Editor), Alberto Simões (Editor)
#563 in Series
eBook $54.99
Title: Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, Author: Ekaterina Komendantskaya
QUICK ADD
Practical Aspects of…
by Ekaterina Komendantskaya (Editor), Yanhong Annie Liu (Editor)
#12007 in Series
eBook $54.99
Title: Beginning Ada Programming: From Novice to Professional, Author: Andrew T. Shvets
QUICK ADD
Beginning Ada Programming:…
by Andrew T. Shvets
eBook $54.99
Title: Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, Author: Xinyu Feng
QUICK ADD
Programming Languages and…
by Xinyu Feng (Editor), Sungwoo Park (Editor)
#9458 in Series
eBook $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: 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 (Editor)
#11893 in Series
eBook $54.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: Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings, Author: José Júlio Alferes
QUICK ADD
Practical Aspects of…
by José Júlio Alferes (Editor), Moa Johansson (Editor)
#11372 in Series
eBook $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: 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: The Book of R, 2nd Edition, Author: Tilman M. Davies Pre-Order Now
QUICK ADD
The Book of R, 2nd Edition
by Tilman M. Davies
eBook $54.99
Title: Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, Author: Sukyoung Ryu
QUICK ADD
Programming Languages and…
by Sukyoung Ryu (Editor)
#11275 in Series
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 (Editor)
#10695 in Series
eBook $54.99
Title: Languages and Compilers for Parallel Computing: 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers, Author: Lawrence Rauchwerger
QUICK ADD
Languages and Compilers for…
by Lawrence Rauchwerger (Editor)
#11403 in Series
eBook $54.99
Title: Euro-Par 2016: Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings, Author: Pierre-François Dutot
QUICK ADD
Euro-Par 2016: Parallel…
by Pierre-François Dutot (Editor), Denis Trystram (Editor)
#9833 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 (Editor), Cristina Seceleanu (Editor), Ana Cavalcanti (Editor)
#10471 in Series
eBook $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 (Editor)
#10017 in Series
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
eBook $54.99
Title: Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings, Author: Sunita Chandrasekaran
QUICK ADD
Accelerator Programming Using…
by Sunita Chandrasekaran (Editor), Guido Juckeland (Editor), Sandra Wienke (Editor)
#11381 in Series
eBook $54.99
Title: Principles of Abstract Interpretation, Author: Patrick Cousot
QUICK ADD
Principles of Abstract…
by Patrick Cousot
eBook $52.99

Pagination Links