Explore
Time Predictions: Understanding and Avoiding Unrealism in Project Planning and Everyday Life
Torleif Halkjelsvik and Magne Jørgensen
Times of Insight: Conscience, Corporations, and the Common Good
Kenneth E. Goodpaster
Times of Insight: Conscience, Corporations, and the Common Good
Kenneth E. Goodpaster
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere and David Parker
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan and Natasha Sharygina, editors
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan and Natasha Sharygina, editors
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman and Grigore Rosu, editors
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman and Grigore Rosu, editors
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács, editors
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
