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

  Extended search

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

Search: db:Swepub > Uppsala University > Undefined language

  • Result 1-10 of 3147
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  •  
6.
  •  
7.
  •  
8.
  • Abdulla, Parosh Aziz, et al. (author)
  • Regular Model Checking for LTL(MSO)
  • 2004
  • In: Proc. 16th Int. Conf. on Computer Aided Verification, LNCS.
  • Journal article (peer-reviewed)
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-10 of 3147
Type of publication
journal article (2199)
other publication (872)
book chapter (60)
conference paper (6)
doctoral thesis (3)
review (3)
show more...
editorial collection (2)
artistic work (1)
book (1)
show less...
Type of content
peer-reviewed (2200)
other academic/artistic (945)
pop. science, debate, etc. (1)
Author/Editor
Ahuja, R (44)
Långström, Bengt (43)
Ehrenberg, Måns (36)
Larsson, Rolf (31)
Larsson, Anders (30)
Artursson, Per (30)
show more...
Johansson, B (28)
Lind, Lars (22)
Ellegren, Hans (21)
Chattopadhyaya, Jyot ... (20)
Mannervik, Bengt (18)
Bergquist, Jonas (18)
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)
Jacobson, Staffan (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)
show less...
University
Stockholm University (9)
Högskolan Dalarna (9)
Umeå University (2)
Royal Institute of Technology (1)
Örebro University (1)
show more...
Linnaeus University (1)
show less...
Language
Research subject (UKÄ/SCB)
Humanities (14)
Natural sciences (5)
Social Sciences (4)
Medical and Health Sciences (2)

Year

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 Close

Copy and save the link in order to return to this view