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 1013
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 1013

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