61- 80 of 257 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, Author: Cyrille Artho
QUICK ADD
Automated Technology for…
by Cyrille Artho, Axel Legay, Doron Peled
#9938 in Series
Paperback $54.99
Title: Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
#11174 in Series
Paperback $54.99
Title: Programming and Performance Visualization Tools: International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers, Author: Abhinav Bhatele
QUICK ADD
Programming and Performance…
by Abhinav Bhatele, David Boehme, Joshua A. Levine, Allen D. Malony, Martin Schulz
#11027 in Series
Paperback $64.99
Title: Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I, Author: Roman Wyrzykowski
QUICK ADD
Parallel Processing and…
by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski
#9573 in Series
Paperback $54.99
Title: Machine Learning with Python / Edition 1, Author: Tarkeshwar Barua
QUICK ADD
Machine Learning with Python /…
by Tarkeshwar Barua, Kamal Kant Hiran, Ritesh Kumar Jain, Ruchi Doshi
Explore Series
Paperback $98.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11245 in Series
Paperback $54.99
Title: Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers, Author: Antonio Celesti
QUICK ADD
Advances in Service-Oriented…
by Antonio Celesti, Philipp Leitner
#567 in Series
Paperback $54.99
Title: Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings, Author: Bedir Tekinerdogan
QUICK ADD
Software Architecture: 10th…
by Bedir Tekinerdogan, Uwe Zdun, Ali Babar
#9839 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Author: Ruzica Piskac
QUICK ADD
Verified Software. Theories,…
by Ruzica Piskac, Philipp Rümmer
#11294 in Series
Paperback $54.99
Title: Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings, Author: Bernhard K. Aichernig
QUICK ADD
Tests and Proofs: 10th…
by Bernhard K. Aichernig, Carlo A. Furia
#9762 in Series
Paperback $54.99
Title: Enterprise and Organizational Modeling and Simulation: 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Selected Papers, Author: Robert Pergl
QUICK ADD
Enterprise and Organizational…
by Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtech Merunka
#366 in Series
Paperback $54.99
Title: Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings, Author: Flavio De Paoli
QUICK ADD
Service-Oriented and Cloud…
by Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen
#10465 in Series
Paperback $54.99
Title: Software Architecture in Action: Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard, Author: Flavio Oquendo
QUICK ADD
Software Architecture in…
by Flavio Oquendo, Jair Leite, Thaïs Batista
Explore Series
Paperback $49.99
Title: Applied Computer Sciences in Engineering: 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings, Author: Juan Carlos Figueroa-Garcïa
QUICK ADD
Applied Computer Sciences in…
by Juan Carlos Figueroa-Garcïa, Mario Duarte-Gonzïlez, Sebastiïn Jaramillo-Isaza, Alvaro David Orjuela-Caïon, Yesid Dïaz-Gutierrez
#1052 in Series
Paperback $109.99
Title: Computer and Communication Engineering: First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, Proceedings, Author: Miguel Botto-Tobar
QUICK ADD
Computer and Communication…
by Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño
#959 in Series
Paperback $54.99
Title: Software Engineering and Methodology for Emerging Domains: 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings, Author: Lu Zhang
QUICK ADD
Software Engineering and…
by Lu Zhang, Chang Xu
#675 in Series
Paperback $54.99
Title: Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures, Author: Jácome Cunha
QUICK ADD
Grand Timely Topics in…
by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev
#10223 in Series
Paperback $54.99
Title: System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings, Author: Pau Fonseca i Casas
QUICK ADD
System Analysis and Modeling.…
by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt
#11753 in Series
Paperback $54.99
Title: Agile Methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers, Author: Graziela Simone Tonin
QUICK ADD
Agile Methods: 9th Brazilian…
by Graziela Simone Tonin, Bernardo Estïcio, Alfredo Goldman, Eduardo Guerra
#981 in Series
Paperback $54.99
Title: Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, Proceedings, Author: Eric Knauss
QUICK ADD
Requirements Engineering:…
by Eric Knauss, Michael Goedicke
#11412 in Series
Paperback $74.99

Pagination Links