Browse Results

Showing 3,951 through 3,975 of 61,746 results
Title Author ISBN Copyright Features Action
The Tyranny of Guilt: An Essay on Western Masochism 1731378 Pascal Bruckner Steven Rendall 9781400834310 2012
The Tyranny of Generosity: Why Philanthropy Corrupts Our Politics and How We Can Fix It 5100763 Theodore M. Lechterman 9780197611432 2021
The Tyranny of Generosity: Why Philanthropy Corrupts Our Politics and How We Can Fix It 5101525 Theodore M. Lechterman 9780197611425 2021
The Tyranny of Algorithms 4000844 Miguel Benasayag 9781787702936 2019
Tyranny from Ancient Greece to Renaissance France 3520620 Orest Ranum 9783030431853 2020
A Typology of Reference Systems 5149126 Zygmunt Frajzyngier 9780192650290 2023
Typicality Reasoning in Probability, Physics, and Metaphysics (New Directions in the Philosophy of Science) 5778563 Dustin Lazarovici 9783031334481 2023 Contains images
Types, Tableaus, and Gödel’s God (Trends in Logic #12) 4779278 M. Fitting 9789401004114 2002
Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers (Lecture Notes in Computer Science #2071) 4772077 Robert Harper 9783540453321 2001
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science #4502) 4813798 Thorsten Altenkirch Conor McBride 9783540744641 2007
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science #1657) 4732193 Thorsten Altenkirch Wolfgang Naraschewski Bernhard Reus 9783540481676 1999
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Lecture Notes in Computer Science #3085) 4616687 Stefano Berardi Mario Coppo Ferruccio Damiani 9783540248491 2004
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science #5497) 4614366 Stefano Berardi Ferruccio Damiani Ugo De Liguoro 9783642024443 2009
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science #2277) 4758694 Paul Callaghan Zhaohui Luo James McKinna Robert Pollack 9783540458425 2002
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science #1956) 4726443 Thierry Coquand Peter Dybjer Bengt Nordström Jan Smith 9783540445579 2000
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science #3839) 4693513 Jean-Christophe Filliatre Christine Paulin-Mohring Benjamin Werner 9783540314295 2006
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science #2646) 4813902 Herman Geuvers Freek Wiedijk 9783540391852 2003
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science #4941) 4688955 Marino Miculan Ivan Scagnetto Furio Honsell 9783540681038 2008
Typen moderner Demokratietheorien: Überblick und Sortierungsvorschlag (essentials) 2876084 Hubertus Buchstein 9783658133313 2016
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Lecture Notes in Computer Science #2044) 4640910 Samson Abramsky 9783540454137 2001
Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science #5608) 4601768 Pierre-Louis Curien 9783642022739 2009
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science #1581) 4660049 Jean-Yves Girard 9783540489597 1999
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science #7941) 4832165 Masahito Hasegawa 9783642389467 2013
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings (Lecture Notes in Computer Science #2701) 4814179 Martin Hofmann 9783540449041 2003
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in Computer Science #6690) 4679139 Luke Ong 9783642216916 2011

Refine Search

Showing 3,951 through 3,975 of 61,746 results