SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "db:Swepub ;conttype:(scientificother);lar1:(uu);srt2:(2000-2019);mspu:(chapter)"

Sökning: db:Swepub > Övrigt vetenskapligt/konstnärligt > Uppsala universitet > (2000-2019) > Bokkapitel

  • Resultat 1-10 av 9223
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  • Aarsand, Pål, et al. (författare)
  • Om media literacy-praktiker i barns vardagsliv
  • 2013
  • Ingår i: Literacy-praktiker i och utanför skolan. - Stockholm : Gleerups Utbildning AB. - 9789140684455 ; , s. 41-63
  • Bokkapitel (övrigt vetenskapligt/konstnärligt)
  •  
4.
  •  
5.
  • Aarsand, Pål, 1970- (författare)
  • Playfulness in Children’s Media Usage
  • 2010
  • Ingår i: Children and Youth in the Digital Media Culture. - Göteborg : Nordicom. ; , s. 143-156
  • Bokkapitel (övrigt vetenskapligt/konstnärligt)
  •  
6.
  •  
7.
  • Abbasian, Saeid, 1961-, et al. (författare)
  • Bridging Traditional and Experience Industries: Lessons from the Gnosjö Region
  • 2010. - Vol 5
  • Ingår i: Social Capital and Development Trends in Rural Areas. - Jönköping : Jönköping International Business School & Marg (Marginal Areas Research Group), Kyoto University/Japan. - 9789163372216 ; , s. 41-53
  • Bokkapitel (övrigt vetenskapligt/konstnärligt)
  •  
8.
  •  
9.
  • Abdulla, Parosh, et al. (författare)
  • Comparing source sets and persistent sets for partial order reduction
  • 2017
  • Ingår i: Models, Algorithms, Logics and Tools. - Cham : Springer. - 9783319631202 - 9783319631219 ; , s. 516-536
  • Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
    • Partial order reduction has traditionally been based on persistent sets, ample sets, stubborn sets, or variants thereof. Recently, we have presented a strengthening of this foundation, using source sets instead of persistent/ample/stubborn sets. Source sets subsume persistent sets and are often smaller than persistent sets. We introduced source sets as a basis for Dynamic Partial Order Reduction (DPOR), in a framework which assumes that processes are deterministic and that all program executions are finite. In this paper, show how to use source sets for partial order reduction in a framework which does not impose these restrictions. We also compare source sets with persistent sets, providing some insights into conditions under which source sets and persistent sets do or do not differ.
  •  
10.
  • 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/konstnärligt)
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 9223
Typ av publikation
konstnärligt arbete (13)
Typ av innehåll
Författare/redaktör
Svanberg, Ingvar (70)
Witakowski, Witold, ... (49)
Liberg, Caroline, 19 ... (32)
Isacson, Maths, 1948 ... (32)
Andersson, Thorsten (29)
Eidevall, Göran, 195 ... (29)
visa fler...
Magnusson, Lars, 195 ... (27)
Olsson, Jesper, 1966 ... (26)
Nyberg, Klas, 1958- (26)
Martinson, Mattias, ... (25)
Ulväng, Göran, 1968- (24)
Widmalm, Sven, 1956- (23)
Göranson, Ulf, 1947- (23)
Wallensteen, Peter, ... (22)
Larsson, Esbjörn, 19 ... (22)
Elmevik, Lennart (22)
Brunsson, Nils, 1946 ... (21)
Lind, Anna-Sara, 197 ... (21)
Morell, Mats, 1955- (21)
Zawadzki, Michal (21)
Larsson, Mats, 1953- (21)
Ottosson, Jan, 1958- (20)
Pettersson, Thorleif (20)
Bexell, Oloph, 1947- (20)
Lövheim, Mia, 1968- (19)
Andersson, Roger (19)
Bergqvist, David (19)
Karlsohn, Thomas, 19 ... (19)
Ahlbäck Öberg, Shiri ... (19)
Ekroth, Gunnel, 1963 ... (19)
Fazlhashemi, Mohamma ... (19)
Marcusson, Lena, 194 ... (19)
Stenmark, Mikael, 19 ... (19)
Björck, Martin (18)
Fjellström, Christin ... (18)
Price, Neil (18)
Vedung, Evert, 1938- (18)
Westberg, Johannes, ... (18)
Lindström, Dag, 1960 ... (18)
Henrikson, Paula, 19 ... (18)
Reichel, Jane, 1971- (17)
Wallensteen, Peter (17)
Strandberg, Svante, ... (17)
Carpentier, Nico (17)
Alvarsson, Jan-Åke, ... (17)
Huss, Leena (17)
Edquist, Samuel, 197 ... (17)
Brown Ahlund, Caroli ... (17)
Lerwall, Lotta, 1968 ... (17)
Gräslund, Anne-Sofie ... (17)
visa färre...
Lärosäte
Södertörns högskola (196)
Stockholms universitet (188)
Linköpings universitet (119)
Göteborgs universitet (111)
Umeå universitet (86)
visa fler...
Örebro universitet (80)
Mälardalens universitet (57)
Lunds universitet (57)
Högskolan Dalarna (50)
Mittuniversitetet (49)
Högskolan i Gävle (40)
Marie Cederschiöld högskola (38)
Linnéuniversitetet (35)
Jönköping University (31)
Karlstads universitet (31)
Luleå tekniska universitet (19)
Försvarshögskolan (19)
Kungliga Tekniska Högskolan (18)
Nordiska Afrikainstitutet (13)
Handelshögskolan i Stockholm (12)
Institutet för språk och folkminnen (10)
Malmö universitet (9)
Sveriges Lantbruksuniversitet (8)
Högskolan i Skövde (5)
Chalmers tekniska högskola (5)
Enskilda Högskolan Stockholm (3)
Högskolan i Borås (2)
Högskolan Kristianstad (1)
Högskolan i Halmstad (1)
Gymnastik- och idrottshögskolan (1)
Karolinska Institutet (1)
visa färre...
Språk
Engelska (4470)
Svenska (4227)
Tyska (171)
Franska (93)
Odefinierat språk (49)
Ryska (34)
visa fler...
Polska (25)
Danska (21)
Norska (21)
Spanska (21)
Finska (21)
Italienska (13)
Nederländska (10)
Isländska (8)
Estniska (7)
Esperanto (7)
Lettiska (5)
Tjeckiska (2)
Japanska (2)
Kinesiska (2)
Turkiska (2)
Katalanska (2)
Portugisiska (1)
Ungerska (1)
Rumänska (1)
Nygrekiska (1)
Persiska (1)
Serbiska (1)
Nynorsk (1)
Hindi (1)
Bokmål (1)
Iriska (1)
visa färre...
Forskningsämne (UKÄ/SCB)
Humaniora (3156)
Samhällsvetenskap (2904)
Naturvetenskap (274)
Medicin och hälsovetenskap (168)
Teknik (33)
Lantbruksvetenskap (23)

År

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