861- 880 of 1776 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers, Author: Cyrille Artho
QUICK ADD
Formal Techniques for…
by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor)
#419 in Series
eBook $54.99
Title: Evolutionary Computation in Combinatorial Optimization: 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Author: Francisco Chicano
QUICK ADD
Evolutionary Computation in…
by Francisco Chicano (Editor), Bin Hu (Editor), Pablo García-Sánchez (Editor)
#9595 in Series
eBook $54.99
Title: Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications, Author: Abdelkader Hameurlain
QUICK ADD
Transactions on Large-Scale…
by Abdelkader Hameurlain (Editor), Josef Küng (Editor), Roland Wagner (Editor), Hendrik Decker (Editor)
#10620 in Series
eBook $54.99
Title: Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, Author: Alessandro Abate
QUICK ADD
Hybrid Systems Biology: Fourth…
by Alessandro Abate (Editor), David Safranek (Editor)
#9271 in Series
eBook $54.99
Title: Structural Information and Communication Complexity: 28th International Colloquium, SIROCCO 2021, Wroclaw, Poland, June 28 - July 1, 2021, Proceedings, Author: Tomasz Jurdzinski
QUICK ADD
Structural Information and…
by Tomasz Jurdzinski (Editor), Stefan Schmid (Editor)
#12810 in Series
eBook $54.99
Title: Migrating to Azure: Transforming Legacy Applications into Scalable Cloud-First Solutions, Author: Josh Garverick
QUICK ADD
Migrating to Azure:…
by Josh Garverick
eBook $54.99
Title: Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, Author: Aleksander Byrski
QUICK ADD
Trends in Functional…
by Aleksander Byrski (Editor), John Hughes (Editor)
#12222 in Series
eBook $54.99
Title: Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings, Author: Cyril Gavoille
QUICK ADD
Distributed Computing: 30th…
by Cyril Gavoille (Editor), David Ilcinkas (Editor)
#9888 in Series
eBook $54.99
Title: Introducing Microsoft Teams: Understanding the New Chat-Based Workspace in Office 365, Author: Balu N Ilag
QUICK ADD
Introducing Microsoft Teams:…
by Balu N Ilag
eBook $54.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerla, Author: Ahmed Bouajjani
QUICK ADD
Formal Techniques for…
by Ahmed Bouajjani (Editor), Alexandra Silva (Editor)
#10321 in Series
eBook $54.99
Title: Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised Selected Papers, Author: Gianni A. Di Caro
QUICK ADD
Bio-Inspired Models of Network…
by Gianni A. Di Caro (Editor), Guy Theraulaz (Editor)
#134 in Series
eBook $54.99
Title: Computational Logistics: 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings, Author: Ana Paias
QUICK ADD
Computational Logistics: 7th…
by Ana Paias (Editor), Mario Ruthmair (Editor), Stefan Voß (Editor)
#9855 in Series
eBook $54.99
Title: Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings, Author: Amund Skavhaug
QUICK ADD
Computer Safety, Reliability,…
by Amund Skavhaug (Editor), Jérémie Guiochet (Editor), Erwin Schoitsch (Editor), Friedemann Bitsch (Editor)
#9923 in Series
eBook $54.99
Title: Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Author: Bor-Yuh Evan Chang
QUICK ADD
Static Analysis: 26th…
by Bor-Yuh Evan Chang (Editor)
#11822 in Series
eBook $54.99
Title: Programming in Two Semesters: Using Python and Java, Author: Quentin Charatan
QUICK ADD
Programming in Two Semesters:…
by Quentin Charatan, Aaron Kans
Explore Series
eBook $54.99
Title: WALCOM: Algorithms and Computation: 13th International Conference, WALCOM 2019, Guwahati, India, February 27 - March 2, 2019, Proceedings, Author: Gautam K. Das
QUICK ADD
WALCOM: Algorithms and…
by Gautam K. Das (Editor), Partha S. Mandal (Editor), Krishnendu Mukhopadhyaya (Editor), Shin-ichi Nakano (Editor)
#11355 in Series
eBook $54.99
Title: Structural Information and Communication Complexity: 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers, Author: Zvi Lotker
QUICK ADD
Structural Information and…
by Zvi Lotker (Editor), Boaz Patt-Shamir (Editor)
#11085 in Series
eBook $54.99
Title: Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, Author: Markus Roggenbach
QUICK ADD
Recent Trends in Algebraic…
by Markus Roggenbach (Editor)
#12669 in Series
eBook $54.99
Title: Program Development in Java: Abstraction, Specification, and Object-Oriented Design, Author: Barbara Liskov
QUICK ADD
Program Development in Java:…
by Barbara Liskov, John Guttag
eBook $54.99
Title: Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings, Author: Alessandro Abate
QUICK ADD
Numerical Software…
by Alessandro Abate (Editor), Sylvie Boldo (Editor)
#10381 in Series
eBook $54.99

Pagination Links