SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "(db:Swepub) lar1:(uu) spr:und srt2:(2000-2023)"

Search: (db:Swepub) lar1:(uu) spr:und > (2000-2023)

  • Result 1-10 of 1364
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  • 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)
  •  
6.
  •  
7.
  • Abdulla, Parosh, et al. (author)
  • Eager Markov Chains
  • 2006
  • In: Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). ; , s. 24-38
  • Book chapter (other academic/artistic)
  •  
8.
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-10 of 1364
Type of publication
journal article (1302)
book chapter (49)
conference paper (6)
review (3)
editorial collection (2)
artistic work (1)
show more...
book (1)
show less...
Type of content
peer-reviewed (1304)
other academic/artistic (58)
pop. science, debate, etc. (1)
Author/Editor
Ahuja, R (21)
Långström, Bengt (19)
Johansson, B (17)
Chattopadhyaya, Jyot ... (16)
Larsson, Rolf (15)
Ehrenberg, Måns (15)
show more...
Artursson, Per (15)
Larsson, Anders (14)
Lind, Lars (13)
Ellegren, Hans (13)
Andersson, Gerhard (11)
Björneholm, Olle (10)
Nygren, Peter (9)
Nilsson, Gunnar (9)
Wikberg, Jarl (9)
Pradeepkumar, Pushpa ... (9)
Mannervik, Bengt (8)
Ahlström, Håkan (8)
Johansson, Anders (8)
Bergquist, Jonas (8)
Kochukhov, O. (8)
Fredriksson, Robert (8)
Markides, Karin E. (8)
Jönsson, P (8)
Oscarsson, Sven (8)
Olsson, Mikael (8)
Bexell, Ulf (8)
Ågren, Olov (8)
Savenko, Natalia (8)
Brenner, Richard (7)
Li, S. (7)
Gustafsson, Leif (7)
Engqvist, Håkan (7)
Lennernäs, Hans (7)
Vessby, Bengt (7)
Fransson, Kjell (7)
Nordgren, Joseph (7)
Augustsson, Andreas (7)
Carlsson, Per (7)
Markides, Karin (7)
Rönnqvist, Camilla (7)
Ericsson, Göran (7)
S. de Almeida, J. (7)
Roomans, Godfried M (7)
Nyholm, Leif (7)
Svensson, Svante (7)
Guo, Jinghua (7)
del Risco Norrlid, L ... (7)
Håkansson, Per (7)
Edling, Fredrik (7)
show less...
University
Uppsala University (1364)
Högskolan Dalarna (9)
Stockholm University (7)
Umeå University (2)
Royal Institute of Technology (1)
Örebro University (1)
show more...
Linnaeus University (1)
show less...
Language
Undefined language (1364)
Research subject (UKÄ/SCB)
Humanities (11)
Natural sciences (5)
Medical and Health Sciences (2)
Social Sciences (1)

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