81- 100 of 1161 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, Author: Oleg Kiselyov
QUICK ADD
Functional and Logic…
by Oleg Kiselyov (Editor), Andy King (Editor)
#9613 in Series
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#12479 in Series
eBook $54.99
Title: System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings, Author: Jens Grabowski
QUICK ADD
System Analysis and Modeling.…
by Jens Grabowski (Editor), Steffen Herbold (Editor)
#9959 in Series
eBook $54.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June, Author: Christel Baier
QUICK ADD
Formal Techniques for…
by Christel Baier (Editor), Luís Caires (Editor)
#10854 in Series
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#11244 in Series
eBook $54.99
Title: Transactions on Aspect-Oriented Software Development XII, Author: Shigeru Chiba
QUICK ADD
Transactions on…
by Shigeru Chiba (Editor), Éric Tanter (Editor), Erik Ernst (Editor), Robert Hirschfeld (Editor)
#8989 in Series
eBook $54.99
Title: Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Author: Nadia Polikarpova
QUICK ADD
Integrated Formal Methods:…
by Nadia Polikarpova (Editor), Steve Schneider (Editor)
#10510 in Series
eBook $54.99
Title: Systems Engineering for Business Process Change: Collected Papers from the EPSRC Research Programme, Author: Peter Henderson
QUICK ADD
Systems Engineering for…
by Peter Henderson (Editor)
eBook $54.99
Title: Modelling and Simulation: Exploring Dynamic System Behaviour, Author: Louis G. Birta
QUICK ADD
Modelling and Simulation:…
by Louis G. Birta, Gilbert Arbez
Explore Series
eBook $54.99
Title: Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings, Author: Sami Yangui
QUICK ADD
Service-Oriented Computing:…
by Sami Yangui (Editor), Ismael Bouassida Rodriguez (Editor), Khalil Drira (Editor), Zahir Tari (Editor)
#11895 in Series
eBook $54.99
Title: Agile Methods: 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers, Author: Paulo Meirelles
QUICK ADD
Agile Methods: 10th Brazilian…
by Paulo Meirelles (Editor), Maria Augusta Nelson (Editor), Carla Rocha (Editor)
#1106 in Series
eBook $54.99
Title: The Platform of Agile Management: And the Program to Implement It, Author: Willy Sussland
QUICK ADD
The Platform of Agile…
by Willy Sussland
eBook $54.99
Title: Service-Oriented Computing: 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers, Author: Johanna Barzen
QUICK ADD
Service-Oriented Computing:…
by Johanna Barzen (Editor), Frank Leymann (Editor), Schahram Dustdar (Editor)
#1603 in Series
eBook $54.99
Title: Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, Author: Hossein Hojjat
QUICK ADD
Fundamentals of Software…
by Hossein Hojjat (Editor), Mieke Massink (Editor)
#11761 in Series
eBook $54.99
Title: Technologies and Innovation: 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019, Proceedings, Author: Rafael Valencia-García
QUICK ADD
Technologies and Innovation:…
by Rafael Valencia-García (Editor), Gema Alcaraz-Mármol (Editor), Javier Del Cioppo-Morstadt (Editor), Néstor Vera-Lucio (Editor), Martha Bucaram-Leverone (Editor)
#1124 in Series
eBook $54.99
Title: Managing Humans: Biting and Humorous Tales of a Software Engineering Manager, Author: Michael Lopp
QUICK ADD
Managing Humans: Biting and…
by Michael Lopp
eBook $54.99
Title: Advances in Simulation and Process Modelling: Proceedings of the Second International Symposium on Simulation and Process Modelling (ISSPM 2020), Author: Yupeng Li
QUICK ADD
Advances in Simulation and…
by Yupeng Li (Editor), Quanmin Zhu (Editor), Feng Qiao (Editor), Zhiping Fan (Editor), Yinong Chen (Editor)
#1305 in Series
eBook $54.99
Title: Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, Author: Farhad Arbab
QUICK ADD
Formal Aspects of Component…
by Farhad Arbab (Editor), Sung-Shik Jongmans (Editor)
#12018 in Series
eBook $54.99
Title: Software Fault Detection and Correction: Modeling and Applications, Author: Rui Peng
QUICK ADD
Software Fault Detection and…
by Rui Peng, Yan-Fu Li, Yu Liu
Explore Series
eBook $54.99
Title: Software Measurement: 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedings, Author: Andrzej Kobylinski
QUICK ADD
Software Measurement: 25th…
by Andrzej Kobylinski (Editor), Beata Czarnacka-Chrobot (Editor), Jaroslaw Swierczek (Editor)
#230 in Series
eBook $54.99

Pagination Links