1- 20 of 1262 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Metamodeling for Extended Reality, Author: Fabian Muff
QUICK ADD
Metamodeling for Extended…
by Fabian Muff
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming: 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings, Author: Philippe Kruchten
QUICK ADD
Agile Processes in Software…
by Philippe Kruchten (Editor), Steven Fraser (Editor), François Coallier (Editor)
#355 in 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: 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: 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings, Author: Juan Garbajosa
QUICK ADD
Agile Processes in Software…
by Juan Garbajosa (Editor), Xiaofeng Wang (Editor), Ademar Aguiar (Editor)
#314 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: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, Author: Constantin Enea
QUICK ADD
Computer Aided Verification:…
by Constantin Enea (Editor), Akash Lal (Editor)
#13964 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: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, Author: Shuvendu K. Lahiri
QUICK ADD
Computer Aided Verification:…
by Shuvendu K. Lahiri (Editor), Chao Wang (Editor)
#12224 in Series
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming: 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings, Author: Christoph J. Stettina
QUICK ADD
Agile Processes in Software…
by Christoph J. Stettina (Editor), Juan Garbajosa (Editor), Philippe Kruchten (Editor)
#475 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: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I, Author: Arie Gurfinkel
QUICK ADD
Computer Aided Verification:…
by Arie Gurfinkel (Editor), Vijay Ganesh (Editor)
#14681 in Series
eBook FREE
Title: Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I, Author: Sharon Shoham
QUICK ADD
Computer Aided Verification:…
by Sharon Shoham (Editor), Yakir Vizel (Editor)
#13371 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: 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: 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 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: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III, Author: Arie Gurfinkel
QUICK ADD
Computer Aided Verification:…
by Arie Gurfinkel (Editor), Vijay Ganesh (Editor)
#14683 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: Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights, Author: Daniela Damian
QUICK ADD
Equity, Diversity, and…
by Daniela Damian (Editor), Kelly Blincoe (Editor), Denae Ford (Editor), Alexander Serebrenik (Editor), Zainab Masood (Editor)
eBook FREE

Pagination Links