Ergebnisse filtern
-
- 6
- 4
-
- 2
- 2
- 2
- 1
- 1
- 1
- 1
-
- 5
- 5
-
- 10
-
- 10
-
- 10
-
- 10
-
Penjam / Hermenegildo Programming Language Implementation and Logic Programming
6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58402-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hermenegildo / Garrigue Functional and Logic Programming
9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78968-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barthe / Hermenegildo Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11318-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Garrigue / Hermenegildo Functional and Logic Programming
9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-78969-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Hermenegildo / Puebla Static Analysis
9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-45789-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Barthe / Hermenegildo Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-11319-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Cabeza / Hermenegildo Practical Aspects of Declarative Languages
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24362-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Puebla / Hermenegildo Static Analysis
9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44235-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hermenegildo / Cabeza Practical Aspects of Declarative Languages
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-30557-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Swierstra / Hermenegildo Programming Languages: Implementations, Logics and Programs
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60359-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort