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

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
Åtkomst
fritt online (12)
Typ av publikation
tidskriftsartikel (1038)
bokkapitel (77)
konferensbidrag (5)
recension (3)
samlingsverk (redaktörskap) (2)
bok (1)
visa fler...
visa färre...
Typ av innehåll
refereegranskat (1038)
övrigt vetenskapligt (86)
populärvet., debatt m.m. (2)
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)
Ehrenberg, Måns, (8)
Öhrwall, G. (8)
Björneholm, O. (8)
Norbäck, Dan, (8)
Ericsson, Göran, (8)
S. de Almeida, J. (8)
Andersson, Pher G (8)
Hjalmarsson, Anders (8)
Conroy, Sean, (8)
Källne, Jan, (8)
Tchaplyguine, M. (7)
J, Chattopadhyaya (7)
Nyberg, Fred, (7)
Ellegren, Hans, (7)
Stolt, Lars (7)
Roomans, Godfried M. ... (7)
Markides, Karin E. (7)
Gorini, Giuseppe (7)
Kopniczky, J, (7)
Sandberg, Sven, (6)
Abrikosov, I. A. (6)
Lindblad, A, (6)
Svensson, S, (6)
Karlén, Anders (6)
Li, S., (6)
Thottappillil, Rajee ... (6)
Nyholm, Leif, (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)
Larsson, Rolf, (5)
visa färre...
Lärosäte
Uppsala universitet (1126)
Karolinska Institutet (43)
Malmö högskola (18)
Umeå universitet (5)
Högskolan Dalarna (4)
Linköpings universitet (2)
visa fler...
Stockholms universitet (2)
Karlstads universitet (1)
Lunds universitet (1)
visa färre...
Språk
Ämne (HSV)
Humaniora (17)
Medicin och hälsovetenskap (8)
Samhällsvetenskap (6)
Naturvetenskap (3)

År

 
pil uppåt Stäng

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