1- 20 of 3683 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software for Exascale Computing - SPPEXA 2016-2019, Author: Hans-Joachim Bungartz
QUICK ADD
Software for Exascale…
by Hans-Joachim Bungartz (Editor), Severin Reiz (Editor), Benjamin Uekermann (Editor), Philipp Neumann (Editor), Wolfgang E. Nagel (Editor)
#136 in Series
eBook FREE
Title: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, Author: Constantin Enea
QUICK ADD
Computer Aided Verification:…
by Constantin Enea (Editor), Akash Lal (Editor)
#13966 in Series
eBook FREE
Title: Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Author: Isil Dillig
QUICK ADD
Computer Aided Verification:…
by Isil Dillig (Editor), Serdar Tasiran (Editor)
#11561 in Series
eBook FREE
Title: Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, Author: Alexandra Silva
QUICK ADD
Computer Aided Verification:…
by Alexandra Silva (Editor), K. Rustan M. Leino (Editor)
#12760 in Series
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers, Author: Philippe Kruchten
QUICK ADD
Agile Processes in Software…
by Philippe Kruchten (Editor), Peggy Gregory (Editor)
#489 in Series
eBook FREE
Title: Developing Sustainable and Energy-Efficient Software Systems, Author: Artem Kruglov
QUICK ADD
Developing Sustainable and…
by Artem Kruglov, Giancarlo Succi
Explore Series
eBook FREE
Title: Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, Author: Isil Dillig
QUICK ADD
Computer Aided Verification:…
by Isil Dillig (Editor), Serdar Tasiran (Editor)
#11562 in Series
eBook FREE
Title: Introdução a Programação, Author: Andre Campos
QUICK ADD
Introdução a Programação
by Andre Campos
eBook FREE
Title: Tecnologias em Pesquisa: Ciências Exatas e Ciências Biológicas - Volume 2, Author: José Julio Cerqueira de Pituba
QUICK ADD
Tecnologias em Pesquisa:…
by José Julio Cerqueira de Pituba, Marcelo H. Stoppa, Vaston Gonçalvez da Costa
eBook FREE
Title: Construction Supply Chain Economics, Author: Kerry London
QUICK ADD
Construction Supply Chain…
by Kerry London
Explore Series
eBook FREE
Title: Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, Author: Sharon Shoham
QUICK ADD
Computer Aided Verification:…
by Sharon Shoham (Editor), Yakir Vizel (Editor)
#13372 in Series
eBook FREE
Title: Deployment and Operation of Complex Software in Heterogeneous Execution Environments: The SODALITE Approach, Author: Elisabetta Di Nitto
QUICK ADD
Deployment and Operation of…
by Elisabetta Di Nitto (Editor), Jesús Gorroñogoitia Cruz (Editor), Indika Kumara (Editor), Dragan Radolovic (Editor), Kamil Tokmakov (Editor)
Explore Series
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2019 Workshops, Montréal, QC, Canada, May 21-25, 2019, Proceedings, Author: Rashina Hoda
QUICK ADD
Agile Processes in Software…
by Rashina Hoda (Editor)
#364 in Series
eBook FREE
Title: Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Author: Dirk Beyer
QUICK ADD
Fundamental Approaches to…
by Dirk Beyer (Editor), Ana Cavalcanti (Editor)
#14573 in Series
eBook FREE
Title: What is Dart?, Author: Kathy Walrath
QUICK ADD
What is Dart?
by Kathy Walrath, Seth Ladd
eBook FREE
Title: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Author: Shuvendu K. Lahiri
QUICK ADD
Computer Aided Verification:…
by Shuvendu K. Lahiri (Editor), Chao Wang (Editor)
#12225 in Series
eBook FREE
Title: Programming Problems: A Primer for The Technical Interview, Author: Bradley Green
QUICK ADD
Programming Problems: A Primer…
by Bradley Green
eBook FREE
Title: Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems, Author: Guillermo Payá-Vayá
QUICK ADD
Towards a Common…
by Guillermo Payá-Vayá (Editor), Holger Blume (Editor)
eBook FREE
Title: Antifragile Systems and Teams, Author: Dave Zwieback
QUICK ADD
Antifragile Systems and Teams
by Dave Zwieback
eBook FREE
Title: Creating Mobile Apps with Xamarin.Forms Preview Edition 2, Author: Charles Petzold
QUICK ADD
Creating Mobile Apps with…
by Charles Petzold
Explore Series
eBook FREE

Pagination Links