Running an Agile Software Development Project
2964139
|
Mike Holcombe
|
9780470385876 |
2008 |
|
|
Running ESXi on a Raspberry Pi: Installing VMware ESXi on Raspberry Pi 4 to run Linux virtual machines
4329872
|
Thomas Fenton
Patrick Kennedy
|
9781484274651 |
2022 |
Contains images
|
|
Running IPv6
3736558
|
Iljitsch van Beijnum
|
9781430200901 |
2006 |
|
|
Running Mainframe z on Distributed Platforms: How to Create Robust Cost-Efficient Multiplatform z Environments
2759437
|
Kenneth Barrett
Stephen Norris
|
9781430264316 |
2014 |
Contains images
|
|
Running Microsoft Workloads on AWS: Active Directory, Databases, Development, and More
4140371
|
Ryan Pothecary
|
9781484266281 |
2021 |
Contains images
|
|
Running Windows Containers on AWS: A complete guide to successfully running Windows containers on Amazon ECS, EKS, and AWS Fargate
5288367
|
Marcio Morales
|
9781804617199 |
2023 |
|
|
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science #6418)
4602468
|
Howard Barringer
Ylies Falcone
Bernd Finkbeiner
Klaus Havelund
Insup Lee
Gordon Pace
Grigore Rosu
Oleg Sokolsky
Nikolai Tillmann
|
9783642166129 |
2010 |
|
|
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Lecture Notes in Computer Science #9333)
2834042
|
Ezio Bartocci
Rupak Majumdar
|
9783319238203 |
2015 |
Contains images
|
|
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science #5779)
4611552
|
Saddek Bensalem
Doron Peled
|
9783642046940 |
2009 |
|
|
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Lecture Notes in Computer Science #8734)
2815328
|
Borzoo Bonakdarpour
Scott A. Smolka
|
9783319111643 |
2014 |
|
|
Runtime Verification: 18th International Conference, Rv 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science #11237)
2304161
|
Christian Colombo
Martin Leucker
|
9783030037697 |
2018 |
Contains images
|
|
Runtime Verification: A Hands-On Approach in Java
4840590
|
Christian Colombo
Gordon J. Pace
|
9783031092688 |
2022 |
|
|
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings (Lecture Notes in Computer Science #13498)
5129433
|
Thao Dang
Volker Stolz
|
9783031171963 |
2022 |
Contains images
|
|
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Lecture Notes in Computer Science #12399)
3631985
|
Jyotirmoy Deshmukh
Dejan Ničković
|
9783030605087 |
2020 |
Contains images
|
|
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings (Lecture Notes in Computer Science #10012)
2852745
|
Yliès Falcone
César Sánchez
|
9783319469829 |
2016 |
Contains images
|
|
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings (Lecture Notes in Computer Science #12974)
4267316
|
Lu Feng
Dana Fisman
|
9783030884949 |
2021 |
Contains images
|
|
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Lecture Notes in Computer Science #11757)
2867871
|
Bernd Finkbeiner
Leonardo Mariani
|
9783030320799 |
2019 |
Contains images
|
|
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science #14245)
5707621
|
Panagiotis Katsaros
Laura Nenzi
|
9783031442674 |
2023 |
Contains images
|
|
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings (Lecture Notes in Computer Science #10548)
2252738
|
Shuvendu Lahiri
Giles Reger
|
9783319675312 |
2017 |
Contains images
|
|
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Lecture Notes in Computer Science #8174)
4692133
|
Axel Legay
Saddek Bensalem
|
9783642407871 |
2013 |
|
|
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science #5289)
4678292
|
Martin Leucker
|
9783540892472 |
2008 |
|
|
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science #7687)
4758389
|
Shaz Qadeer
Serdar Tasiran
|
9783642356322 |
2013 |
|
|
Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science #7186)
4737033
|
Koushik Sen
Sarfaz Khurshid
|
9783642298608 |
2012 |
|
|
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science #4839)
4809831
|
Oleg Sokolsky
Serdar Tasiran
|
9783540773955 |
2007 |
|
|
Rural and Small Public Libraries: Challenges and Opportunities (Advances in Librarianship #43)
2141758
|
Brian Real
|
9781787431119 |
2018 |
|
|