Ergebnisse filtern
-
- 8
- 7
-
- 2
- 2
- 2
- 2
- 3
- 2
- 2
-
- 13
- 1
- 1
-
- 12
- 3
-
- 15
-
- 15
-
- 15
-
Ong Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28231-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ong Foundations of Software Science and Computational Structures
13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-12032-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Ong Typed Lambda Calculi and Applications
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-21691-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Ong Foundations of Software Science and Computational Structures
13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12031-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ong Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-31897-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Ong Typed Lambda Calculi and Applications
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21690-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Duan / Ong Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68689-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Duan / Ong Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68690-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Ong / de Queiroz Logic, Language, Information, and Computation
2. Auflage 2012Verlag: SpringerISBN: 978-3-642-32620-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ong / de Queiroz Logic, Language, Information, and Computation
2. Auflage 2012Verlag: SpringerISBN: 978-3-642-32621-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Coecke / Ong / Panangaden Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th BirthdayErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-38164-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Coecke / Ong / Panangaden Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38163-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ausiello / Karhumäki / Mauri Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy1. Auflage. Softcover version of original hardcover Auflage 2008Verlag: SpringerISBN: 978-1-4419-3514-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ausiello / Karhumäki / Mauri Fifth Ifip International Conference on Theoretical Computer Science - Tcs 2008
Ifip 20th World Computer Congress, Tc 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy2008. Auflage 2008Verlag: Springer UsISBN: 978-0-387-09679-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ausiello / Karhumäki / Mauri Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, ItalyErscheinungsjahr 2008Verlag: SpringerISBN: 978-0-387-09680-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort