Theory and Applications of Satisfiability Testing – SAT 2017
By: Material type:
TextLanguage: English Publication details: Springer; Springer; 2017ISBN: - 9783319662633
eBooks
| Item type | Current library | Home library | Status | Barcode | |
|---|---|---|---|---|---|
eBooks
|
Central Library | Central Library | Available | CL1735242 |
There are no comments on this title.
Log in to your account to post a comment.
-
751
Tweets and the Streets
by Gerbaudo, Paolo -
752
Twilight of globalization
by Kagrlitsky Boris -
753
Tyranny of the moment
by Eriksen Thomas Hylland -
754
Umma and the Dawla
by Al-Barghouti Tamim -
755
Understanding Al Qaeda
by Mohamedou Mohammad -Mahmoud Ould -
756
Understanding capitalism
by Dowd Douglas Ed. -
757
Understanding capitalism
by Dowd Douglas Fitzgerald Ed. -
758
Understanding capitalism
by Dowd D -
759
Understanding film
by Wayne Mike Ed. -
760
Understanding the Somalia conflagration
by Elmi Afyare Abdi -
761
Unholy wars
by Cooley John K. -
762
Unholy wars
by Cooley John K -
763
Unholy wars
by Cooley John K -
764
University and social justice
by Choudry Aziz Ed. -
765
Unlocking sustainable cities
by CHATTERTON Paul -
766
Unreal objects
by O'Riordan Kate Au. -
767
Unreal objects
by O' RIORDAN Kate -
768
Unreal objects : Digital materialities, technoscientific projects and political realities
by O'Riordan Kate -
769
User's guide to the crisis of civilization
by Ahmed Nafeez Mosaddeq -
770
Using gramsci
by Filippini Michele -
771
Utopia and modernity in China: Contradictions in transition
by Margolies David; Cao Qing -
772
Value and crisis
by ITOH Makoto -
773
Value and crisis: Essays on marxiam economics in Japan
by Itoh, Makoto -
774
Value and crisis: Essays on Marxian economics in Japan
by Itoh, Makoto -
775
Veblen and Modern America
by Spindler Michael -
776
Veblen and modern America
by Spindler Michael -
777
Walter Benjamin
by Leslie Esther -
778
War no more: eliminating conflict in the nuclear age
by Hinde Robert -
779
A war too far :
by Rogers, Paul, -
780
Warehouse workers and robots at Amazon
by Delfanti Alessandro -
781
Warth of Allah
by Nima R -
782
Water wars
by Shiva Vandana -
783
Water wars
by Shiva Vandana -
784
We make our own history
by Cox Laurence -
785
We make our own history
by COX Laurence -
786
Wealth of (Some) nations
by Cope Zak -
787
Weber
by Allen Kieran Au. -
788
What happened to history?
by Thompson Willie -
789
What is anthropology?
by Eriksen Thomas Hylland -
790
What is islamophobia?
by Massoumi Narzanin Ed. -
791
What is islamophobia?
by MASSOUMI Narzanin Ed. -
792
What's wrong with rights
by D'Souza Radha -
793
What we are fighting for
by CAMPAGNA Federico -
794
What we are fighting for
by Campagna F. Ed. -
795
Whatever happened to antisemilism: Redefinition and the myth of the "collective jew"
by Lerman Antony -
796
When protest becomes crime
by Terwindt Carolijn Au. -
797
When protest becomes crime: politics and law in liberal democracies
by Terwindt Carolijn Au. -
798
When protest becomes crime: politics and law in liberal democracies
by Terwindt Carolijn Au. -
799
When the state fails
by Zack - Williams Tunde Ed. -
800
Where grieving begins: building bridges after the brighton bomb
by Magee Patrick Au.
Theory and Applications of Satisfiability Testing – SAT 2017
APA
Serge Gaspers T. W., .Theory and Applications of Satisfiability Testing – SAT 2017. : Springer.
Chicago
Serge Gaspers Toby Walsh, .Theory and Applications of Satisfiability Testing – SAT 2017. : Springer.
Harvard
Serge Gaspers T. W., .Theory and Applications of Satisfiability Testing – SAT 2017. : Springer.
MLA
Serge Gaspers Toby Walsh, .: Springer. .
