61- 80 of 507 results
Grid View Grid
List View List
Grid View Grid
List View List
Get it today with Buy Online, Pick up in Store Find My Store
Title: Mastering Scale and Complexity in Software Reuse: 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings, Author: Goetz Botterweck
QUICK ADD
Mastering Scale and Complexity…
by Goetz Botterweck, Claudia Werner
#10221 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11246 in Series
Paperback $54.99
Title: Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Author: Marieke Huisman
QUICK ADD
Fundamental Approaches to…
by Marieke Huisman, Julia Rubin
#10202 in Series
Paperback $54.99
Title: ML with Concurrency: Design, Analysis, Implementation, and Application / Edition 1, Author: Flemming Nielson
QUICK ADD
ML with Concurrency: Design,…
by Flemming Nielson
Explore Series
Paperback $54.99
Title: Musterbasierte Parallelisierung sequenzieller Anwendungen: Konzept und Implementierung eines Verfahrens zur Softwaretransformation, Author: Korbinian Molitorisz
QUICK ADD
Musterbasierte…
by Korbinian Molitorisz
Paperback $64.99
Title: Software Engineering in Health Care: 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers, Author: Michaela Huhn
QUICK ADD
Software Engineering in Health…
by Michaela Huhn, Laurie Williams
#9062 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, Author: Zhenhua Duan
QUICK ADD
Structured Object-Oriented…
by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
#11392 in Series
Paperback $54.99
Title: Job Scheduling Strategies for Parallel Processing: 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers, Author: Dalibor Klusïcek
QUICK ADD
Job Scheduling Strategies for…
by Dalibor Klusïcek, Walfredo Cirne, Narayan Desai
#11332 in Series
Paperback $54.99
Title: Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Multicore…
by Marco Bernardo, Einar Broch Johnsen
#9104 in Series
Paperback $54.99
Title: Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings, Author: Federica Sarro
QUICK ADD
Search Based Software…
by Federica Sarro, Kalyanmoy Deb
#9962 in Series
Paperback $54.99
Title: Experimental Algorithms: 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings / Edition 1, Author: Catherine C. McGeoch
QUICK ADD
Experimental Algorithms: 7th…
by Catherine C. McGeoch
#5038 in Series
Paperback $54.99
Title: Fundamentals of Software Culture, Author: Zheng Qin
QUICK ADD
Fundamentals of Software…
by Zheng Qin, Huidi Zhang, Xin Qin, Kaiping Xu, Kouemo Ngayo Anatoli Dimitrov
Hardcover $37.99
Title: Model and Data Engineering: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings, Author: Ladjel Bellatreche
QUICK ADD
Model and Data Engineering:…
by Ladjel Bellatreche, Yannis Manolopoulos
#9344 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: Service-Oriented and Cloud Computing: 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings, Author: Antonio Brogi
QUICK ADD
Service-Oriented and Cloud…
by Antonio Brogi, Wolf Zimmermann, Kyriakos Kritikos
#12054 in Series
Paperback $79.99
Title: Evaluation of Novel Approaches to Software Engineering: 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers, Author: Leszek A. Maciaszek
QUICK ADD
Evaluation of Novel Approaches…
by Leszek A. Maciaszek, Joaquim Filipe
#551 in Series
Paperback $44.99
Title: Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings, Author: Heinrich C. Mayr
QUICK ADD
Conceptual Modeling: 36th…
by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor
#10650 in Series
Paperback $54.99
Title: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Author: Arie Gurfinkel
QUICK ADD
Verified Software: Theories,…
by Arie Gurfinkel, Sanjit A. Seshia
#9593 in Series
Paperback $54.99
Title: Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings, Author: Erik Kamsties
QUICK ADD
Requirements Engineering:…
by Erik Kamsties, Jennifer Horkoff, Fabiano Dalpiaz
#10753 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Select, Author: Anna-Lena Lamprecht
QUICK ADD
Leveraging Applications of…
by Anna-Lena Lamprecht
#683 in Series
Paperback $54.99

Pagination Links