SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "LAR1:uu ;spr:und"

Sökning: LAR1:uu > Odefinierat språk

  • Resultat 1-10 av 1106
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  • 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)
  •  
6.
  •  
7.
  • Abdulla, Parosh, et al. (författare)
  • Eager Markov Chains
  • 2006
  • Ingår i: Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). ; s. 24-38
  • Bokkapitel (övrigt vetenskapligt)
  •  
8.
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 1106
Åtkomst
fritt online (6)
Typ av publikation
tidskriftsartikel (1022)
bokkapitel (73)
konferensbidrag (4)
recension (3)
samlingsverk (redaktörskap) (2)
doktorsavhandling (1)
visa fler...
bok (1)
visa färre...
Typ av innehåll
refereegranskat (1021)
övrigt vetenskapligt (84)
populärvet., debatt m.m. (1)
Författare/redaktör
Ahuja, R, (22)
Johansson, B (16)
Långström, Bengt, (15)
Chattopadhyaya, Jyot ... (11)
Larsson, Anders, (11)
Artursson, Per, (9)
visa fler...
Osorio-Guillen, J. M ... (9)
Hagersten, Erik (9)
Matsson, Ingvar, (9)
Öhrwall, G. (8)
Björneholm, O. (8)
Norbäck, Dan, (8)
Ericsson, Göran, (8)
S. de Almeida, J. (8)
Jönsson, P., (8)
Andersson, Pher G (8)
Markides, Karin E. (8)
Nyholm, Leif, (8)
Hjalmarsson, Anders, (8)
Conroy, Sean, (8)
Källne, Jan, (8)
Ehrenberg, Måns, (7)
Tchaplyguine, M. (7)
J, Chattopadhyaya (7)
Nyberg, Fred, (7)
Ellegren, Hans, (7)
Gorini, Giuseppe, (7)
André, Mats, (7)
Stolt, Lars (7)
Roomans, Godfried M. ... (7)
Kopniczky, J, (7)
Sandberg, Sven, (6)
Ingemarsson, A. (6)
Lindblad, A, (6)
Svensson, S, (6)
Karlén, Anders (6)
Li, S., (6)
Tardocchi, Marco, (6)
Giacomelli, Luca, (6)
Coadou, Yann, (6)
Eriksson, Leif A., (6)
Pradeepkumar, Pushpa ... (6)
Eliasson, Peder, (6)
Schulte, Daniel (6)
Lundwall, M (6)
Monroy, Carlota, (6)
Rodas, Antonieta (6)
Tabaru, Yuichiro (6)
Johansson, Lars, (5)
Brenner, Richard, (5)
visa färre...
Lärosäte
Uppsala universitet (1106)
Karolinska Institutet (44)
Högskolan Dalarna (4)
Umeå universitet (4)
Stockholms universitet (2)
RISE (1)
Språk
Forskningsämne (UKÄ/SCB)
Humaniora (13)
Naturvetenskap (4)
Samhällsvetenskap (3)
Medicin och hälsovetenskap (1)

År

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy