SwePub
Tyck till om SwePub Sök här!
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "db:Swepub ;lar1:(uu);spr:und"

Sökning: db:Swepub > Uppsala universitet > Odefinierat språk

  • Resultat 1-10 av 3152
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  •  
6.
  •  
7.
  •  
8.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Regular Model Checking for LTL(MSO)
  • 2004
  • Ingår i: Proc. 16th Int. Conf. on Computer Aided Verification, LNCS.
  • Tidskriftsartikel (refereegranskat)
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 3152
Typ av publikation
tidskriftsartikel (2204)
annan publikation (872)
bokkapitel (60)
konferensbidrag (6)
doktorsavhandling (3)
recension (3)
visa fler...
samlingsverk (redaktörskap) (2)
konstnärligt arbete (1)
bok (1)
visa färre...
Typ av innehåll
refereegranskat (2205)
övrigt vetenskapligt/konstnärligt (945)
populärvet., debatt m.m. (1)
Författare/redaktör
Ahuja, R (44)
Långström, Bengt (43)
Ehrenberg, Måns (36)
Larsson, Rolf (31)
Larsson, Anders (30)
Artursson, Per (30)
visa fler...
Johansson, B (28)
Lind, Lars (22)
Ellegren, Hans (21)
Chattopadhyaya, Jyot ... (20)
Mannervik, Bengt (18)
Bergquist, Jonas (18)
Jacobson, Staffan (17)
Markides, Karin E. (17)
Leijon, Mats (17)
Ahlström, Håkan (16)
Björneholm, Olle (16)
Abrikosov, I. A. (16)
Nyberg, Fred (16)
Nygren, Peter (16)
Markides, Karin (16)
Fredriksson, Robert (15)
Nordgren, Joseph (15)
Nilsson, Gunnar (15)
Oscarsson, Sven (15)
Johansson, Lars (14)
Hammarström, Leif (14)
Ericsson, Göran (14)
Andersson, Gerhard (14)
Guo, Jinghua (14)
Schiessling, J. (14)
Li, S. (13)
Lennernäs, Hans (13)
Nilsson, Kenneth (13)
NORDGREN, J (13)
Conroy, Sean (13)
Hjalmarsson, Anders (13)
Siegbahn, H. (13)
Nyholm, Leif (13)
Källne, Jan (13)
Bergström, Mats (13)
Brühwiler, P. A. (13)
Korsgren, Olle (12)
Hellman, Lars (12)
Samuelsson, Bertil (12)
Karlén, Anders (12)
Gerdin, Bengt (12)
Andersson, Arne (12)
Roos, Arne (12)
Lovmar, Martin (12)
visa färre...
Lärosäte
Stockholms universitet (9)
Högskolan Dalarna (9)
Umeå universitet (2)
Kungliga Tekniska Högskolan (1)
Örebro universitet (1)
visa fler...
Linnéuniversitetet (1)
visa färre...
Språk
Forskningsämne (UKÄ/SCB)
Humaniora (14)
Naturvetenskap (5)
Samhällsvetenskap (4)
Medicin och hälsovetenskap (2)

Å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