Ergebnisse filtern
-
- 4
- 2
-
- 2
- 2
- 1
- 1
-
- 2
- 4
-
- 5
- 1
-
- 6
-
- 6
-
- 6
-
Comon Rewriting Techniques and Applications
8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62950-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jouannaud / Comon Term Rewriting
French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59340-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Comon / Treinen / Marche Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Berry / Comon / Finkel Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-44585-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Berry / Finkel / Comon Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42345-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Comon / Marche / Treinen Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised LecturesErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-45406-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
