Ergebnisse filtern
-
- 68
- 68
-
- 34
- 34
- 12
- 13
- 13
- 14
- 8
- 8
-
- 133
- 3
-
- 130
- 6
-
- 136
-
- 136
-
- 136
- 1
-
Jones / Shaw / Denvir 5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 19921992Verlag: SpringerISBN: 978-1-4471-3550-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Birtwistle / Davis Asynchronous Digital Circuit Design
1995Verlag: SpringerISBN: 978-1-4471-3575-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Craigen 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, CanadaErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3532-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Thuraisingham / Sandhu / Ting Security for Object-Oriented Systems
Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington DC, USA, 26 September 1993Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3858-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Nicholls Z User Workshop, York 1991
Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3203-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Ziarko Rough Sets, Fuzzy Sets and Knowledge Discovery
Proceedings of the International Workshop on Rough Sets and Knowledge Discovery (RSKD’93), Banff, Alberta, Canada, 12–15 October 1993Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3238-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
McTear / Creaney AI and Cognitive Science ’90
University of Ulster at Jordanstown 20–21 September 1990Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3542-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Heldal / Holst / Wadler Functional Programming, Glasgow 1991
Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12–14 August 1991Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3196-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Berndtsson / Hansson Active and Real-Time Database Systems (ARTDB-95)
Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9–11 June 1995Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3080-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Till 6th Refinement Workshop
Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 19941994Verlag: SpringerISBN: 978-1-4471-3240-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Morris / Shaw 4th Refinement Workshop
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge1991Verlag: SpringerISBN: 978-1-4471-3756-6Medium: 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