|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Trends in Functional Programming: 14th International Symposium, Tfp 2013, Provo, Ut, Usa, May 14-16, 2013, Revised Selected Papers 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | McCarthy, Jay | Paperback | 3642453392 /
9783642453397 | 12/2013 | $47.49 |
|  | Trends in Functional Programming: 15th International Symposium, Tfp 2014, Soesterberg, the Netherlands, May 26-28, 2014. Revised Selected Papers 2015 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Hage, Jurriaan | Paperback | 3319146742 /
9783319146744 | 01/2015 | $42.74 |
|  | Trends in Functional Programming: 20th International Symposium, Tfp 2019, Vancouver, Bc, Canada, June 12-14, 2019, Revised Selected Papers 2020 Edition | Bowman, William J. | Paperback | 3030471462 /
9783030471460 | 04/2020 | $52.24 |
|  | Trends in Functional Programming: 21st International Symposium, Tfp 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers 2020 Edition | Byrski, Aleksander | Paperback | 3030577600 /
9783030577605 | 08/2020 | $52.24 |
|  | Trends in Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers 2021 Edition | Zsók, Viktória | Paperback | 303083977X /
9783030839772 | 07/2021 | $42.74 |
|  | Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers 1995 Edition (Lecture Notes in Computer Science) | Dybjer, Peter | Paperback | 3540605797 /
9783540605799 | 10/1995 | $52.24 |
|  | Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers 1999 Edition (Lecture Notes in Computer Science) | Altenkirch, Thorsten | Paperback | 3540665374 /
9783540665373 | 09/1999 | $52.24 |
|  | Types for Proofs and Programs: International Workshop, Types'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers 2000 Edition (Lecture Notes in Computer Science) | Coquand, Thierry | Paperback | 3540415173 /
9783540415176 | 12/2000 | $52.24 |
|  | Types in Compilation: Second International Workshop, Tic'98, Kyoto, Japan, March 25-27, 1998 Proceedings 1998 Edition (Types in Compilation) | Leroy, Xavier | Paperback | 3540649255 /
9783540649250 | 08/1998 | $52.24 |
|  | Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers 2001 Edition (Lecture Notes in Computer Science) | Harper, Robert | Paperback | 3540421963 /
9783540421962 | 06/2001 | $52.24 |
|  | TypeScript Programming In Action: Code Editing For Software Engineers | Botwright, Rob | Paperback | 1839386711 /
9781839386718 | 02/2024 | $37.95 |
|  | Unifying Theories of Programming: 5th International Symposium, Utp 2014, Singapore, May 13, 2014, Revised Selected Papers 2015 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Naumann, David | Paperback | 3319148052 /
9783319148052 | 02/2015 | $42.74 |
|  | Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers 2017 Edition (Lecture Notes in Computer Science) | Bowen, Jonathan P. | Paperback | 3319522272 /
9783319522272 | 01/2017 | $52.24 |
|  | Unifying Theories of Programming: 7th International Symposium, Utp 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal 2019 Edition | Ribeiro, Pedro | Paperback | 303031037X /
9783030310370 | 09/2019 | $52.24 |
|  | Verification, Model Checking, and Abstract Interpretation: 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings 2015 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | D'Souza, Deepak | Paperback | 3662460807 /
9783662460801 | 01/2015 | $52.24 |
|  | Verification, Model Checking, and Abstract Interpretation: 17th International Conference, Vmcai 2016, St. Petersburg, Fl, Usa, January 17-19, 2016. Pr 2016 Edition | Jobstmann, Barbara | Paperback | 3662491214 /
9783662491218 | 12/2015 | $52.24 |
|  | Verification, Model Checking, and Abstract Interpretation: 18th International Conference, Vmcai 2017, Paris, France, January 15-17, 2017, Proceedings 2017 Edition (Lecture Notes in Computer Science) | Bouajjani, Ahmed | Paperback | 3319522337 /
9783319522333 | 01/2017 | $52.24 |
|  | Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed 2018 Edition (Lecture Notes in Computer Science) | Dillig, Isil | Paperback | 3319737201 /
9783319737201 | 01/2018 | $52.24 |
|  | VEXcode IQ Blocks: Coding Activities for your VEX IQ Robot | Tseng, Mei Na | Paperback | 1700587889 /
9781700587886 | 10/2019 | $32.29 |
|  | Web Technologies | Kohli, Shruti | Paperback | 8183335756 /
9788183335751 | 09/2017 | $30.39 |
|  | Writing an Interpreter in Object Pascal: Part 1: Lexical and Basic Syntax Analysis | Sauro, Herbert M. | Paperback | 1732548609 /
9781732548602 | 01/2019 | $16.10 |
|  | Writing Compilers and Interpreters: A Software Engineering Approach | Mak, Ronald | Paperback | 0470177071 /
9780470177075 | 09/2009 | $79.80 |
|  | Writing Testbenches: Functional Verification of Hdl Models Softcover Repri Edition | Bergeron, Janick | Paperback | 1461350123 /
9781461350125 | 10/2012 | $237.49 |
|  | Writing Testbenches: Functional Verification of Hdl Models 2003 Edition | Bergeron, Janick | Hardcover | 1402074018 /
9781402074011 | 02/2003 | $237.49 |
|  | You Are a Smartass: Cute Journal, Funny Graduation Gag Gift for Best Friend, Sister or Brother beautifully lined pages Notebook (College Graduate Gift) | Lol Journals | Paperback | 1099083966 /
9781099083969 | 05/2019 | $7.19 |
|
|
|
