1- 20 of 1262 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, Author: Alexandra Silva
QUICK ADD
Computer Aided Verification:…
by Alexandra Silva (Editor), K. Rustan M. Leino (Editor)
#12759 in Series
eBook FREE
Title: Computer-Driven Instructional Design with INTUITEL, Author: Kevin Fuchs
QUICK ADD
Computer-Driven Instructional…
by Kevin Fuchs (Editor), Peter A. Henning (Editor)
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers, Author: Peggy Gregory
QUICK ADD
Agile Processes in Software…
by Peggy Gregory (Editor), Philippe Kruchten (Editor)
#426 in Series
eBook FREE
Title: Monte Carlo Simulation For Scrum, Author: Stephen Angood
QUICK ADD
Monte Carlo Simulation For…
by Stephen Angood
eBook FREE
Title: Introdução a Programação, Author: Andre Campos
QUICK ADD
Introdução a Programação
by Andre Campos
eBook FREE
Title: Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Author: Reiner Hähnle
QUICK ADD
Fundamental Approaches to…
by Reiner Hähnle (Editor), Wil van der Aalst (Editor)
#11424 in 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: Agile Processes in Software Engineering and Extreme Programming: 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings, Author: Sibylle Peter
QUICK ADD
Agile Processes in Software…
by Sibylle Peter (Editor), Martin Kropp (Editor), Ademar Aguiar (Editor), Craig Anslow (Editor), Maria Ilaria Lunesu (Editor)
#545 in 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: 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: DevOps for Digital Leaders: Reignite Business with a Modern DevOps-Enabled Software Factory, Author: Aruna Ravichandran
QUICK ADD
DevOps for Digital Leaders:…
by Aruna Ravichandran, Kieran Taylor, Peter Waterhouse
eBook FREE
Title: Fundamental Approaches to Software Engineering: 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Author: Artur Boronat
QUICK ADD
Fundamental Approaches to…
by Artur Boronat (Editor), Gordon Fraser (Editor)
#15693 in Series
eBook FREE
Title: Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, Author: André Platzer
QUICK ADD
Formal Methods: 26th…
by André Platzer (Editor), Kristin Yvonne Rozier (Editor), Matteo Pradella (Editor), Matteo Rossi (Editor)
#14933 in Series
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers, Author: Lodovica Marchesi
QUICK ADD
Agile Processes in Software…
by Lodovica Marchesi (Editor), Alfredo Goldman (Editor), Maria Ilaria Lunesu (Editor), Adam Przybylek (Editor), Ademar Aguiar (Editor)
#524 in Series
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming: 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021, Proceedings, Author: Peggy Gregory
QUICK ADD
Agile Processes in Software…
by Peggy Gregory (Editor), Casper Lassenius (Editor), Xiaofeng Wang (Editor), Philippe Kruchten (Editor)
#419 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: Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II, Author: André Platzer
QUICK ADD
Formal Methods: 26th…
by André Platzer (Editor), Kristin Yvonne Rozier (Editor), Matteo Pradella (Editor), Matteo Rossi (Editor)
#14934 in Series
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming: 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings, Author: Hubert Baumeister
QUICK ADD
Agile Processes in Software…
by Hubert Baumeister (Editor), Horst Lichter (Editor), Matthias Riebisch (Editor)
#283 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: Metamodeling for Extended Reality, Author: Fabian Muff
QUICK ADD
Metamodeling for Extended…
by Fabian Muff
eBook FREE

Pagination Links