Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 68 Treffer.


Formal Methods for Trustworthy Computer Systems (FM89)

Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, 248 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 11.11.2013

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Security for Object-Oriented Systems

Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington DC, USA, 26 September 1993

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, 237 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.06.2013

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Logic Program Synthesis and Transformation

Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Sponsored by the Association for Logic Programming and ALPUK

Verlag: Springer London, 273 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.03.2013

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Aspects of Measurement

Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, 259 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Algebra of Communicating Processes

Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, 359 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Music Education: An Artificial Intelligence Approach

Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scotland, 25 August 1993

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, 173 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.03.2013

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Declarative Programming, Sasbachwalden 1991

PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, 327 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 21.12.2013

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Women into Computing

Selected Papers 1988–1990

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, 428 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.06.2013

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel