|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Transactions on Aspect-Oriented Software Development IX 2012 Edition (Lecture Notes in Computer Science / Transactions on Aspect-O) | Leavens, Gary T. | Paperback | 3642355501 / 9783642355509 | 11/2012 | $52.24 |
| | Transactions on Aspect-Oriented Software Development X 2013 Edition (Lecture Notes in Computer Science / Transactions on Aspect-O) | Leavens, Gary T. | Paperback | 3642369634 / 9783642369636 | 02/2013 | $52.24 |
| | Trends in Functional Programming: 11th International Symposium, Tfp 2010, Norman, Ok, Usa, May 17-19, 2010. Revised Selected Papers (Lecture Notes in Computer Science) | Page, Rex | Paperback | 3642229409 / 9783642229404 | 09/2011 | $66.49 |
| | Trends in Functional Programming: 12th International Symposium, Tfp 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers 2012 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Peńa, Ricardo | Paperback | 3642320368 / 9783642320361 | 07/2012 | $68.40 |
| | 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 |
|
|
|