Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
WALCOM: Algorithms and Computation: 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings by Mohammad Kaykobad 9783319301389
Booksplease Price: $94.48Sorry no description is available for this book at this time. -
Algorithms and Discrete Applied Mathematics: Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings by Sathish Govindarajan 9783319292205
Booksplease Price: $94.48Sorry 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: $73.48Sorry 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: $94.48Sorry no description is available for this book at this time. -
Algorithms and Architectures for Parallel Processing: 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III by Guojun Wang 9783319271361
Booksplease Price: $94.48Sorry 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: $83.98Sorry no description is available for this book at this time. -
Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings by Frank Dehne 9783319218397
Booksplease Price: $94.48Sorry no description is available for this book at this time. -
Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings by Laurent Michel 9783319180076
Booksplease Price: $94.48Sorry 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: $94.48Sorry no description is available for this book at this time. -
WALCOM: Algorithms and Computation: 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings by M. Sohel Rahman 9783319156118
Booksplease Price: $94.48Sorry 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: $73.48Sorry 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: $83.98Sorry no description is available for this book at this time. -
Algorithms and Models for the Web Graph: 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings by Anthony Bonato 9783319131221
Booksplease Price: $73.48Sorry 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: $83.98Sorry 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: $94.48Sorry 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: $94.48Sorry no description is available for this book at this time. -
Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised Selected Papers by Gianni A. di Caro 9783319069432
Booksplease Price: $94.48Sorry 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: $94.48Sorry 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: $94.48Sorry no description is available for this book at this time. -
C2 Compiler Concepts by Bernd Teufel 9783211824313
Booksplease Price: $94.48Sorry 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: $136.48Sorry no description is available for this book at this time. -
Structural Information and Communication Complexity: 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023, Proceedings by Sergio Rajsbaum 9783031327322
Booksplease Price: $188.98Sorry 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: $94.48Sorry 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: $125.98Sorry 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: $104.98Sorry 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: $125.98Sorry 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: $94.48Sorry no description is available for this book at this time. -
Programming in Two Semesters: Using Python and Java by Quentin Charatan 9783031013256
Booksplease Price: $94.48Sorry no description is available for this book at this time. -
Structural Information and Communication Complexity: 28th International Colloquium, SIROCCO 2021, Wroclaw, Poland, June 28-July 1, 2021, Proceedings by Tomasz Jurdzinski 9783030795269
Booksplease Price: $94.48Sorry 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: $94.48Sorry no description is available for this book at this time. -
Algorithms and Complexity: 12th International Conference, CIAC 2021, Virtual Event, May 10-12, 2021, Proceedings by Tiziana Calamoneri 9783030752415
Booksplease Price: $136.48Sorry 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: $115.48Sorry no description is available for this book at this time. -
Structural Information and Communication Complexity: 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings by Andrea Werneck Richa 9783030549206
Booksplease Price: $94.48Sorry no description is available for this book at this time. -
Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers by Ivan Lirkov 9783030410315
Booksplease Price: $94.48Sorry no description is available for this book at this time. -
Algorithms for Sensor Systems: 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers by Falko Dressler 9783030344047
Booksplease Price: $94.48Sorry 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: $94.48Sorry 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: $104.98Sorry no description is available for this book at this time. -
Sequential and Parallel Algorithms and Data Structures: The Basic Toolbox by Peter Sanders 9783030252113
Booksplease Price: $83.98Sorry no description is available for this book at this time. -
Sequential and Parallel Algorithms and Data Structures: The Basic Toolbox by Peter Sanders 9783030252083
Booksplease Price: $83.98Sorry no description is available for this book at this time. -
Fundamentals of Computation Theory: 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings by Leszek Antoni Gasieniec 9783030250263
Booksplease Price: $94.48Sorry no description is available for this book at this time.