861- 880 of 3054 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Quality: Methods and Tools for Better Software and Systems: 10th International Conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality: Methods and…
by Dietmar Winkler (Editor), Stefan Biffl (Editor), Johannes Bergsmann (Editor)
#302 in Series
eBook $54.99
Title: FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, Author: John Fitzgerald
QUICK ADD
FM 2016: Formal Methods: 21st…
by John Fitzgerald (Editor), Constance Heitmeyer (Editor), Stefania Gnesi (Editor), Anna Philippou (Editor)
#9995 in Series
eBook $54.99
Title: OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments: Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers, Author: Manjunath Gorentla Venkata
QUICK ADD
OpenSHMEM and Related…
by Manjunath Gorentla Venkata (Editor), Neena Imam (Editor), Swaroop Pophale (Editor), Tiffany M. Mintz (Editor)
#10007 in Series
eBook $54.99
Title: User-Centred Requirements Engineering, Author: Alistair Sutcliffe
QUICK ADD
User-Centred Requirements…
by Alistair Sutcliffe
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#15223 in Series
eBook $54.99
Title: New Trends in Model and Data Engineering: MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings, Author: El Hassan Abdelwahed
QUICK ADD
New Trends in Model and Data…
by El Hassan Abdelwahed (Editor), Ladjel Bellatreche (Editor), Djamal Benslimane (Editor), Matteo Golfarelli (Editor), Stéphane Jean (Editor)
#929 in Series
eBook $54.99
Title: Parallel Processing and Applied Mathematics: 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II, Author: Roman Wyrzykowski
QUICK ADD
Parallel Processing and…
by Roman Wyrzykowski (Editor), Jack Dongarra (Editor), Ewa Deelman (Editor), Konrad Karczewski (Editor)
#10778 in Series
eBook $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 (Editor), Sanjit A. Seshia (Editor)
#9593 in Series
eBook $54.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 (Editor), Laurie Williams (Editor)
#9062 in Series
eBook $54.99
Title: Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, Author: José Luiz Fiadeiro
QUICK ADD
Formal Aspects of Component…
by José Luiz Fiadeiro (Editor), Zhiming Liu (Editor), Jinyun Xue (Editor)
#8348 in Series
eBook $54.99
Title: Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings, Author: Reinhard German
QUICK ADD
Measurement, Modelling and…
by Reinhard German (Editor), Kai-Steffen Hielscher (Editor), Udo R. Krieger (Editor)
#10740 in Series
eBook $54.99
Title: Smartphone-Based Indoor Map Construction: Principles and Applications, Author: Ruipeng Gao
QUICK ADD
Smartphone-Based Indoor Map…
by Ruipeng Gao, Fan Ye, Guojie Luo, Jason Cong
Explore Series
eBook $54.99
Title: Service-Oriented Computing: 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings, Author: Alistair Barros
QUICK ADD
Service-Oriented Computing:…
by Alistair Barros (Editor), Daniela Grigori (Editor), Nanjangud C. Narendra (Editor), Hoa Khanh Dam (Editor)
#9435 in Series
eBook $54.99
Title: Designing a New Class of Distributed Systems, Author: Rao Mikkilineni
QUICK ADD
Designing a New Class of…
by Rao Mikkilineni
Explore Series
eBook $54.99
Title: Model-Driven Engineering and Software Development: 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, Author: Slimane Hammoudi
QUICK ADD
Model-Driven Engineering and…
by Slimane Hammoudi (Editor), Luís Ferreira Pires (Editor), Bran Selic (Editor)
#991 in Series
eBook $54.99
Title: Modelling Foundations and Applications: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Anthony Anjorin
QUICK ADD
Modelling Foundations and…
by Anthony Anjorin (Editor), Huáscar Espinoza (Editor)
#10376 in Series
eBook $54.99
Title: Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, Author: Shuvendu Lahiri
QUICK ADD
Runtime Verification: 17th…
by Shuvendu Lahiri (Editor), Giles Reger (Editor)
#10548 in Series
eBook $54.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 (Editor), Giancarlo Guizzardi (Editor), Hui Ma (Editor), Oscar Pastor (Editor)
#10650 in Series
eBook $54.99
Title: Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, Author: Jinyun Xue
QUICK ADD
Structured Object-Oriented…
by Jinyun Xue (Editor), Fumiko Nagoya (Editor), Shaoying Liu (Editor), Zhenhua Duan (Editor)
#12723 in Series
eBook $54.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 (Editor), Bernhard Steffen (Editor)
#11245 in Series
eBook $54.99

Pagination Links