SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WAKA:kap srt2:(1995-2009);lar1:(cth)"

Sökning: WAKA:kap > (1995-2009) > Chalmers tekniska högskola

  • Resultat 1-10 av 824
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
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.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 824
Typ av publikation
bokkapitel (824)
konstnärligt arbete (2)
Typ av innehåll
övrigt vetenskapligt/konstnärligt (815)
refereegranskat (8)
populärvet., debatt m.m. (1)
Författare/redaktör
Leckner, Bo G, 1936 (49)
McKelvey, Tomas, 196 ... (38)
Gadde, Lars-Erik, 19 ... (21)
Caldenby, Claes, 194 ... (19)
Bohlin, Erik, 1961 (17)
Christie, Michael, 1 ... (16)
visa fler...
McKelvey, Maureen, 1 ... (15)
Johnsson, Filip, 196 ... (14)
Håkansson, Håkan (11)
Pedersen, Karsten, 1 ... (11)
Dyrssen, Catharina, ... (10)
Dubois, Anna, 1962 (9)
Liu, Johan, 1960 (9)
Engström, Tomas, 195 ... (9)
Nordén, Bengt, 1945 (9)
Wijk, Helle, 1958 (9)
Gromark, Sten, 1951 (9)
Linton, Johan, 1966 (8)
Lyngfelt, Anders, 19 ... (8)
Bergman, Bo, 1943 (8)
Tullin, C (8)
Björk, Staffan, 1973 (8)
Gatenholm, Paul, 195 ... (7)
Axelsson, Ann-Sofie, ... (7)
Löfdahl, Lennart, 19 ... (7)
Kain, Jaan-Henrik, 1 ... (7)
Åmand, Lars-Erik, 19 ... (7)
Bröchner, Jan, 1948 (7)
Jacobsson, Staffan, ... (7)
Rauch, Sebastien, 19 ... (7)
Viberg, Mats, 1961 (7)
Wiberg, Nils-Erik, 1 ... (6)
Ydén, Karl, 1965 (6)
Wallbaum, Holger, 19 ... (6)
Medbo, Lars, 1957 (6)
Breitholtz, Claes, 1 ... (6)
Thunman, Henrik, 197 ... (6)
Holmén, Magnus, 1967 ... (6)
Räisänen, Christine, ... (6)
Nilsson, Fredrik, 19 ... (6)
Magnusson, Mats, 196 ... (6)
Morrison, Greg, 1960 (6)
Undeland, Ingrid, 19 ... (5)
Stake, Jan, 1971 (5)
Ewing, Andrew G, 195 ... (5)
Lennartson, Bengt, 1 ... (5)
Häggström, Olle, 196 ... (5)
Holmberg, Krister, 1 ... (5)
Karlsson, MariAnne, ... (5)
Scherneck, Hans-Geor ... (5)
visa färre...
Lärosäte
Göteborgs universitet (130)
Kungliga Tekniska Högskolan (8)
Lunds universitet (5)
RISE (3)
Umeå universitet (2)
visa fler...
Luleå tekniska universitet (2)
Högskolan Väst (2)
Linnéuniversitetet (2)
Högskolan i Borås (2)
Blekinge Tekniska Högskola (2)
Högskolan i Halmstad (1)
Stockholms universitet (1)
Mälardalens universitet (1)
Linköpings universitet (1)
Jönköping University (1)
VTI - Statens väg- och transportforskningsinstitut (1)
visa färre...
Språk
Engelska (700)
Svenska (109)
Tyska (8)
Franska (5)
Ryska (2)
Forskningsämne (UKÄ/SCB)
Teknik (434)
Naturvetenskap (258)
Samhällsvetenskap (177)
Humaniora (56)
Medicin och hälsovetenskap (27)
Lantbruksvetenskap (5)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy