Suchergebnisse für ""Hantao Zhang""




Ähnliche Artikel


Space in Weak Propositional Proof Systems
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Ilario Bonacina
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1st ed. 2017
2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-73452-1

Space in Weak Propositional Proof Systems
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Ilario Bonacina
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2017
7. Juni 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-319-89249-8

Verification, Model Checking, and Abstract Interpretation
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
1st ed. 2018
10. Januar 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-73720-1

Theory and Applications of Satisfiability Testing
41,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Fahiem Bacchus / Toby Walsh (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
2005
9. Juni 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-26276-3

Theory and Applications of Satisfiability Testing - SAT 2008
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Hans Kleine Büning / Xishun Zhao (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
2008
25. April 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12265787,978-3-540-79718-0

A Modern Perspective on Type Theory
145,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
F.D. Kamareddine
T. Laan
Rob Nederpelt
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
From its Origins until Today
2004
9. Juni 2004
Springer / Springer Netherlands
978-1-4020-2334-7

Theory and Applications of Satisfiability Testing - SAT 2007
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Joao Marques-Silva (Volume ed.) / Karem A. Sakallah
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-72787-3

Logical Foundations of Computer Science
41,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Adian
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
1997.
28. Mai 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10548775,978-3-540-63045-6

Mathematical Foundations of Computer Science 2003
81,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Branislav Rovan / Peter Vojtas (Bearb.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings
2003
11. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40671-6

Mathematical Foundations of Computer Science 1997
41,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Privara
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
1997.
13. August 1997
Springer, Berlin



Ähnlichkeitssuche: Fact®Finder von OMIKRON