Title: Handbook of Programming Languages, Author: Samuel Green
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
Title: The Remote System Explorer: Modern Developer Tools for the System i, Author: Don Yantzi
Title: Computer Programming Languages, Author: Gordon Hurley
Title: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, Author: Mooly Sagiv
Title: Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings, Author: María Alpuente
Title: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner
Title: Andrew Jackson: Frontiersman And Soldier And American Democracy 70 Years Ago, Author: John Fiske
Title: Beginning Ada Programming: From Novice to Professional, Author: Andrew T. Shvets
Title: Coding Examples from Simple to Complex: Applications in JavaScriptT, Author: Paul A. Gagniuc
Title: Mathematical Logic through Python, Author: Yannai A. Gonczarowski
Title: Simulink: Diverse Engineering Applications, Author: Linda Morant
Title: Programming with Python: And Its Applications to Physical Systems, Author: M. Shubhakanta Singh
Title: Introduction to Concurrency in Programming Languages, Author: Matthew J. Sottile
Title: Learning the Korn Shell, Author: Bill Rosenblatt
Explore Series
Title: Generic Data Structures and Algorithms in Go: An Applied Approach Using Concurrency, Genericity and Heuristics, Author: Richard Wiener
Title: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Author: Marten Lohstroh
Title: Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings, Author: Sridutt Bhalachandra
Title: Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings, Author: Hugh Glaser
Title: Higher Order Logic and Hardware Verification, Author: T. F. Melham

Pagination Links