Sciweavers

41472 search results - page 280 / 8295

» or 2006

33

ESWA
2007

107views more ESWA 2007»

Hierarchy as a new data type for qualitative variables

13 years 10 months ago

Hierarchy as a new data type for qualitative variables

Download www.cic.ipn.mx

Serguei Levachkine, Adolfo Guzmán-Arenas

claim paper

Read More »

25

LMCS
2006

52views more LMCS 2006»

Extending the theory of Owicki and Gries with a logic of progress

13 years 10 months ago

Extending the theory of Owicki and Gries with a logic of progress

Download espace.library.uq.edu.au

Brijesh Dongol, Doug Goldson

claim paper

Read More »

24

LOGCOM
2006

64views more LOGCOM 2006»

A Logic of Probability with Decidable Model Checking

13 years 10 months ago

A Logic of Probability with Decidable Model Checking

Download www.cs.tau.ac.il

Danièle Beauquier, Alexander Moshe Rabinovi...

claim paper

Read More »

7

LOGIN
2006

37views more LOGIN 2006»

SOL - Schule ohne Lehrer?

13 years 10 months ago

SOL - Schule ohne Lehrer?

Download www.bics.be.schule.de

Helmut Witten, Johann Penon, Alexander Dietz

claim paper

Read More »

27

MANSCI
2006

61views more MANSCI 2006»

Introduction of New Technologies to Competing Industrial Customers

13 years 10 months ago

Introduction of New Technologies to Competing Industrial Customers

Download management.ucsd.edu

Sanjiv Erat, Stylianos Kavadias

claim paper

Read More »

« Prev « First page 280 / 8295 Last » Next »