81- 100 of 1163 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Coordination Models and…
by Maurice H. ter Beek (Editor), Marjan Sirjani (Editor)
#13271 in Series
eBook $119.00
Title: Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 1, Author: Mohammad Reza Mousavi
QUICK ADD
Formal Techniques for…
by Mohammad Reza Mousavi (Editor), Anna Philippou (Editor)
#13273 in Series
eBook $79.99
Title: Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Integrated Formal Methods:…
by Maurice H. ter Beek (Editor), Rosemary Monahan (Editor)
#13274 in Series
eBook $84.99
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, Author: Simon Collart-Dutilleul
QUICK ADD
Reliability, Safety, and…
by Simon Collart-Dutilleul (Editor), Anne E. Haxthausen (Editor), Thierry Lecomte (Editor)
#13294 in Series
eBook $69.99
Title: OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks: 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14-16, 2021, Revised Selected Papers, Author: Stephen Poole
QUICK ADD
OpenSHMEM and Related…
by Stephen Poole (Editor), Oscar Hernandez (Editor), Matthew Baker (Editor), Tony Curtis (Editor)
#13159 in Series
eBook $59.99
Title: NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, Author: Jyotirmoy V. Deshmukh
QUICK ADD
NASA Formal Methods: 14th…
by Jyotirmoy V. Deshmukh (Editor), Klaus Havelund (Editor), Ivan Perez (Editor)
#13260 in Series
eBook $119.00
Title: UML Diagramming: A Case Study Approach, Author: Suriya Sundaramoorthy
QUICK ADD
UML Diagramming: A Case Study…
by Suriya Sundaramoorthy
eBook $64.99
Title: Handbook of Dynamic Data Driven Applications Systems: Volume 1, Author: Erik P. Blasch
QUICK ADD
Handbook of Dynamic Data…
by Erik P. Blasch (Editor), Frederica Darema (Editor), Sai Ravela (Editor), Alex J. Aved (Editor)
eBook $189.00
Title: Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, Author: David Clark
QUICK ADD
Testing Software and Systems:…
by David Clark (Editor), Hector Menendez (Editor), Ana Rosa Cavalli (Editor)
#13045 in Series
eBook $89.00
Title: Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, Author: Michael Hanus
QUICK ADD
Functional and Logic…
by Michael Hanus (Editor), Atsushi Igarashi (Editor)
#13215 in Series
eBook $69.99
Title: Edge/Fog Computing Paradigm: The Concept, Platforms and Applications., Author: Pethuru Raj Ph.D.
QUICK ADD
Edge/Fog Computing Paradigm:…
by Pethuru Raj Ph.D. (Editor), Kavita Saini (Editor), Chellammal Surianarayanan (Editor)
#127 in Series
eBook $182.00
Title: Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings, Author: Fabrizio Montesi
QUICK ADD
Service-Oriented and Cloud…
by Fabrizio Montesi (Editor), George Angelos Papadopoulos (Editor), Wolf Zimmermann (Editor)
#13226 in Series
eBook $89.00
Title: Software Quality: The Next Big Thing in Software Engineering and Quality: 14th International Conference on Software Quality, SWQD 2022, Vienna, Austria, May 17-19, 2022, Proceedings, Author: Daniel Mendez
QUICK ADD
Software Quality: The Next Big…
by Daniel Mendez (Editor), Manuel Wimmer (Editor), Dietmar Winkler (Editor), Stefan Biffl (Editor), Johannes Bergsmann (Editor)
#439 in Series
eBook $64.99
Title: Modelling and Simulation for Autonomous Systems: 8th International Conference, MESAS 2021, Virtual Event, October 13-14, 2021, Revised Selected Papers, Author: Jan Mazal
QUICK ADD
Modelling and Simulation for…
by Jan Mazal (Editor), Adriano Fagiolini (Editor), Petr Vasik (Editor), Michele Turi (Editor), Agostino Bruzzone (Editor)
#13207 in Series
eBook $99.00
Title: Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings, Author: Dingde Jiang
QUICK ADD
Simulation Tools and…
by Dingde Jiang (Editor), Houbing Song (Editor)
#424 in Series
eBook $54.99
Title: Advances in Computers, Author: Suyel Namasudra
QUICK ADD
Advances in Computers
by Suyel Namasudra (Editor)
#126 in Series
eBook $182.00
Title: Enterprise Architecture for Strategic Management of Modern IT Solutions, Author: Tiko Iyamu
QUICK ADD
Enterprise Architecture for…
by Tiko Iyamu
eBook $59.99
Title: Requirements Engineering: Foundation for Software Quality: 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings, Author: Vincenzo Gervasi
QUICK ADD
Requirements Engineering:…
by Vincenzo Gervasi (Editor), Andreas Vogelsang (Editor)
#13216 in Series
eBook $59.99
Title: Patterns of Software Construction: How to Predictably Build Results, Author: Stephen Rylander
QUICK ADD
Patterns of Software…
by Stephen Rylander
eBook $54.99
Title: Data Prefetching Techniques in Computer Systems, Author: Pejman Lotfi-Kamran
QUICK ADD
Data Prefetching Techniques in…
by Pejman Lotfi-Kamran (Editor), Hamid Sarbazi-Azad (Editor)
#125 in Series
eBook $182.00

Pagination Links