Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers by Dorel Lucanu 9783319448015
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers by Shaoying Liu 9783319312194
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers by Razvan Diaconescu 9783319281131
Booksplease Price: $47.01Sorry no description is available for this book at this time. -
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers by Moreno Falaschi 9783319274355
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers by Alessandro Abate 9783319269153
Booksplease Price: $53.35Sorry no description is available for this book at this time. -
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers by Maurizio Proietti 9783319178219
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers by David Naumann 9783319148052
Booksplease Price: $47.01Sorry no description is available for this book at this time. -
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers by Gopal Gupta 9783319141244
Booksplease Price: $53.35Sorry no description is available for this book at this time. -
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers by Santiago Escobar 9783319129037
Booksplease Price: $53.35Sorry no description is available for this book at this time. -
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings by Markus Muller-Olm 9783319109350
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings by Gianfranco Ciardo 9783319077338
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers by Cyrille Artho 9783319054155
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers by Shaoying Liu 9783319049144
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
C2 Compiler Concepts by Bernd Teufel 9783211824313
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers by Zoltán Porkoláb 9783031428326
Booksplease Price: $85.48Sorry no description is available for this book at this time. -
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers by Akash Lal 9783031258022
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings by Gagandeep Singh 9783031223075
Booksplease Price: $78.74Sorry no description is available for this book at this time. -
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings by Ekaterina Komendantskaya 9783031169113
Booksplease Price: $66.05Sorry no description is available for this book at this time. -
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers by Kyungmin Bae 9783031124402
Booksplease Price: $78.74Sorry no description is available for this book at this time. -
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers by Antonio Cerone 9783031124280
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers by Michael Hanus 9783030753320
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings by Marc Zeller 9783030589196
Booksplease Price: $72.39Sorry no description is available for this book at this time. -
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings by Bor-Yuh Evan Chang 9783030323035
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
DNA Computing and Molecular Programming: 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings by Chris Thachuk 9783030268060
Booksplease Price: $66.05Sorry no description is available for this book at this time. -
Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers by David Van Horn 9783030148041
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers by Fred Mesnard 9783030138370
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings by Constantin Enea 9783030112448
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Systems Programming in Unix/Linux by K.C. Wang 9783030064297
Booksplease Price: $72.78Sorry no description is available for this book at this time. -
Theoretical Aspects of Computing - ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings by Bernd Fischer 9783030025076
Booksplease Price: $91.82Sorry no description is available for this book at this time. -
![Mastering Python: Machine Learning, Data Structures, Django, Object Oriented Programming and Software Engineering (Including Programming Interview Questions) [2nd Edition] by Michael B White 9781989726013](https://cdn11.bigcommerce.com/s-zkx5lhzlf8/images/stencil/444x444/products/10389831/11405850/9781989726013__58192.1790471539.jpg?c=1 "Mastering Python: Machine Learning, Data Structures, Django, Object Oriented Programming and Software Engineering (Including Programming Interview Questions) [2nd Edition] by Michael B White 9781989726013")
Mastering Python: Machine Learning, Data Structures, Django, Object Oriented Programming and Software Engineering (Including Programming Interview Questions) [2nd Edition] by Michael B White 9781989726013
RRP: $39.98Booksplease Price: $28.75Sorry no description is available for this book at this time. -
The Journey from Artificial to Convolutional Neural Network by Amit Verma 9781922617422
RRP: $103.19Booksplease Price: $73.62Sorry no description is available for this book at this time. -
A Laboratory Manual on Virtual Experimentation on Electrical AC Machines and Circuit Networks using MATLAB/Simulink and MULTISIM by Arif Iqbal 9781922617415
RRP: $123.83Booksplease Price: $88.47Sorry no description is available for this book at this time. -
Learning Windows 8 Game Development by Michael Quandt 9781849697446
Booksplease Price: $58.44Sorry no description is available for this book at this time. -
TextMate How-to by Chris Mears 9781849693981
Booksplease Price: $25.43Sorry no description is available for this book at this time. -
Oracle Goldengate 11g Complete Cookbook by Ankur Gupta 9781849686143
Booksplease Price: $80.39Sorry no description is available for this book at this time. -
Gradle Effective Implementation Guide by Hubert Klein Ikkink 9781849518109
Booksplease Price: $52.48Sorry no description is available for this book at this time. -
Nonlinear Optimization in Electrical Engineering with Applications in MATLAB (R) by Mohamed Bakr 9781849195430
Booksplease Price: $98.96Sorry no description is available for this book at this time. -
Skill Up: A Software Developer's Guide to Life and Career by Jordan Hudgens 9781787287037
Booksplease Price: $47.01Sorry no description is available for this book at this time. -
Distributed Computing with Go: Practical concurrency and parallelism for Go applications by V.N. Nikhil Anurag 9781787125384
Booksplease Price: $47.01Sorry no description is available for this book at this time. -
Everyday Data Structures by William Smith 9781787121041
Booksplease Price: $52.09Sorry no description is available for this book at this time.