Suchergebnisse für ""Susanne Biundo""




Ähnliche Artikel


Rewriting Techniques and Applications
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Comon
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
1997
14. Mai 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10548759,978-3-540-62950-4

Logic Program Synthesis and Transformation
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Proietti
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
1996.
6. März 1996
Springer, Berlin

Grundlagen des maschinellen Beweisens
44,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dieter Hofbauer
Ralf-Detlef Kutsche
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Eine Einführung für Informatiker und Mathematiker
2. Aufl.
1. Oktober 1991
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-14718-1

Static Analysis
52,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
27th International Symposium, SAS 2020, Virtual Event, November 18¿20, 2020, Proceedings
1st ed. 2020
13. Januar 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-65473-3

Static Analysis
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
26th International Symposium, SAS 2019, Porto, Portugal, October 8¿11, 2019, Proceedings
1st ed. 2019
6. Oktober 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-32303-5

Logic for Programming, Artificial Intelligence, and Reasoning
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
1st ed. 2015
3. Dezember 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-48898-0

Computer Aided Verification
79,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Hu
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
1998.
3. Juni 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10637540,978-3-540-64608-2

Computer Aided Verification
79,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Rajeev Alur / Doron A. Peled (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
2004
29. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11015802,978-3-540-22342-9

Termersetzungssysteme
54,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Klaus Drosten
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
1989.
26. April 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51172-4

Approaches and Applications of Inductive Programming
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers
2010
14. April 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
80011017,978-3-642-11930-9



Ähnlichkeitssuche: Fact®Finder von OMIKRON