921- 940 of 1700 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Quality of Information and Communications Technology: 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings, Author: Martin Shepperd
QUICK ADD
Quality of Information and…
by Martin Shepperd (Editor), Fernando Brito e Abreu (Editor), Alberto Rodrigues da Silva (Editor), Ricardo Pérez-Castillo (Editor)
#1266 in Series
eBook $54.99
Title: Transactions on Computational Science I / Edition 1, Author: C. J. Kenneth Tan
QUICK ADD
Transactions on Computational…
by C. J. Kenneth Tan
#4750 in Series
Paperback $99.00
Title: Technologies and Innovation: Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings, Author: Rafael Valencia-García
QUICK ADD
Technologies and Innovation:…
by Rafael Valencia-García (Editor), Katty Lagos-Ortiz (Editor), Gema Alcaraz-Mármol (Editor), Javier del Cioppo (Editor), Nestor Vera-Lucio (Editor)
#658 in Series
eBook $54.99
Title: Engineering of Complex Computer Systems: 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings, Author: Guangdong Bai
QUICK ADD
Engineering of Complex…
by Guangdong Bai (Editor), Fuyuki Ishikawa (Editor), Yamine Ait-Ameur (Editor), George A. Papadopoulos (Editor)
#14784 in Series
eBook $119.99
Title: Theory and Practice of Model Transformations: 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings, Author: Davide Di Ruscio
QUICK ADD
Theory and Practice of Model…
by Davide Di Ruscio, Dániel Varró
#8568 in Series
Paperback $54.99
Title: Product-Focused Software Process Improvement: 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings / Edition 1, Author: Danilo Caivano
QUICK ADD
Product-Focused Software…
by Danilo Caivano, Markku Oivo, Maria Teresa Baldassarre, Giuseppe Visaggio
#6759 in Series
Paperback $54.99
Title: Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings, Author: Ezio Bartocci
QUICK ADD
Model Checking Software: 20th…
by Ezio Bartocci (Editor), C. R. Ramakrishnan (Editor)
#7976 in Series
Paperback $54.99
Title: SDL 2015: Model-Driven Engineering for Smart Cities: 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings, Author: Joachim Fischer
QUICK ADD
SDL 2015: Model-Driven…
by Joachim Fischer (Editor), Markus Scheidgen (Editor), Ina Schieferdecker (Editor), Rick Reed (Editor)
#9369 in Series
eBook $54.99
Title: Objektorientierte Programmierung in Oberon-2, Author: Hanspeter Mïssenbïck
QUICK ADD
Objektorientierte…
by Hanspeter Mïssenbïck, N. Wirth (Foreword by)
Paperback $79.99
Title: Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, Author: Inmaculada Medina-Bulo
QUICK ADD
Testing Software and Systems:…
by Inmaculada Medina-Bulo (Editor), Mercedes G. Merayo (Editor), Robert Hierons (Editor)
#11146 in Series
eBook $54.99
Title: Software Architecture: 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022, Proceedings, Author: Ilias Gerostathopoulos
QUICK ADD
Software Architecture: 16th…
by Ilias Gerostathopoulos (Editor), Grace Lewis (Editor), Thais Batista (Editor), Tomás Bures (Editor)
#13444 in Series
eBook $54.99
Title: Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings, Author: Frédéric Loulergue
QUICK ADD
Tests and Proofs: 15th…
by Frédéric Loulergue (Editor), Franz Wotawa (Editor)
#12740 in Series
eBook $54.99
Title: Spatial Awareness of Autonomous Embedded Systems, Author: Clemens Holzmann
QUICK ADD
Spatial Awareness of…
by Clemens Holzmann
Paperback $119.00
Title: Applied Computer Sciences in Engineering: 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7-9, 2020, Proceedings, Author: Juan Carlos Figueroa-García
QUICK ADD
Applied Computer Sciences in…
by Juan Carlos Figueroa-García (Editor), Fabián Steven Garay-Rairán (Editor), Germán Jairo Hernández-Pérez (Editor), Yesid Díaz-Gutierrez (Editor)
#1274 in Series
eBook $99.00
Title: Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, Author: Panagiotis Katsaros
QUICK ADD
Runtime Verification: 23rd…
by Panagiotis Katsaros (Editor), Laura Nenzi (Editor)
#14245 in Series
eBook $79.99
Title: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Author: Bernd Finkbeiner
QUICK ADD
Runtime Verification: 19th…
by Bernd Finkbeiner, Leonardo Mariani
#11757 in Series
Paperback $69.99
Title: Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude, Author: Peter Csaba Ölveczky
QUICK ADD
Designing Reliable Distributed…
by Peter Csaba Ölveczky
Explore Series
eBook $69.99
Title: Cloud Computing and Services Science: Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers, Author: Markus Helfert
QUICK ADD
Cloud Computing and Services…
by Markus Helfert, Frédéric Desprez, Donald Ferguson, Frank Leymann
#453 in Series
Paperback $54.99
Title: Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, Author: Owolabi Legunsen
QUICK ADD
Model Checking Software: 28th…
by Owolabi Legunsen (Editor), Grigore Rosu (Editor)
#13255 in Series
Paperback $109.99
Title: Software Technologies: 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers, Author: Marten van Sinderen
QUICK ADD
Software Technologies: 15th…
by Marten van Sinderen (Editor), Leszek A. Maciaszek (Editor), Hans-Georg Fill (Editor)
#1447 in Series
Paperback $54.99

Pagination Links