1. |
- Aalto, Susanne, 1964
(författare)
-
Imaging in astronomy - False colours in real images
- 2007
-
Ingår i: in "Images in Arts and Sciences", eds. L. Johannesson, U. Eliasson, P. Hallberg, B. Karlsson, Royal Soc. of Arts and Sciences in Göteborg. - 9789185252688 ; , s. 47-59
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
2. |
|
|
3. |
- Adawi, Tom, 1970, et al.
(författare)
-
Phenomenography for physicists
- 2006
-
Ingår i: Shifting perspectives engineering education.
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
4. |
- Adiels, Martin, 1976, et al.
(författare)
-
A brief review of lipoprotein metabolism
- 2009
-
Ingår i: Evidence-Based Management of Lipid Disorders. - : Tfm Publishing. - 1903378710
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
5. |
|
|
6. |
- Ahrendt, Wolfgang, 1967
(författare)
-
Using KeY
- 2007
-
Ingår i: Verification of Object-Oriented Software. The KeY Approach., eds. B. Beckert, R. Hähnle, P.-H. Schmitt, LNCS 4334. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783540689775 ; , s. 410-451
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- This whole book is about the KeY approach and framework. This chapter now focuses on the KeY system, and that entirely from the user’s perspective. Naturally, the graphical user interface (GUI) will play an important role here. However, the chapter is not all about that. Via the GUI, the system and the user communicate, and interactively manipulate, several artefacts of the framework, like formulae of the used logic, proofs within the used calculus, elements of the used specification languages, among others. Therefore, these artefacts are (in parts) very important when using the system. Even if all of them have their own chapter/section in this book, they will appear here as well, in a somewhat superficial manner, with pointers given to in-depth discussions in other parts.
|
|
7. |
|
|
8. |
|
|
9. |
|
|
10. |
- Alexander, Keith, et al.
(författare)
-
Introduction
- 2004
-
Ingår i: Facilities Management: Innovation and Performance. - : Routledge. - 9781134356904 ; , s. 1-12
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- The agenda for the First International Research Symposium on Facilities Management, organised by the University of Salford on behalf of the European Facility Management network, EuroFM, and held in Salford in April 2002, sought to encourage the sharing of theoretical and practical knowledge amongst researchers, and to focus on the workplace as a broad theme. The aim of the Symposium was to strengthen the theoretical foundations, to advance knowledge and to promote research into facilities management.
|
|