SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "LAR1:uu ;spr:und;srt2:(2000-2004)"

Sökning: LAR1:uu > Odefinierat språk > (2000-2004)

  • Resultat 1-10 av 1014
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  •  
4.
  • 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)
  •  
5.
  •  
6.
  •  
7.
  • Adamiak, Grazyna Teresa, et al. (författare)
  • Situation in Sweden
  • 2003
  • Ingår i: Integrated Care in Europe.. - 90 352 26054 ; , s. 41-68
  • Bokkapitel (övrigt vetenskapligt/konstnärligt)
  •  
8.
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 1014

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