Sciweavers

17129 search results - page 112 / 3426

» Applied Computing

43

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

15 years 3 months ago

Specifying, Programming and Verifying with Equational Logic

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

51

BIRTHDAY
2005
Springer

89views Applied Computing» more BIRTHDAY 2005»

Formal Approaches to Teamwork

15 years 3 months ago

Formal Approaches to Teamwork

Download www.cs.umd.edu

John Grant, Sarit Kraus, Donald Perlis

claim paper

Read More »

43

BIRTHDAY
2005
Springer

77views Applied Computing» more BIRTHDAY 2005»

Caching over the Entire User-to-Data Path in the Internet

15 years 3 months ago

Caching over the Entire User-to-Data Path in the Internet

Download wwwlgis.informatik.uni-kl.de

Theo Härder

claim paper

Read More »

47

BIRTHDAY
2005
Springer

105views Applied Computing» more BIRTHDAY 2005»

Detecting the Logical Content: Burley's 'Purity of Logic'

15 years 3 months ago

Detecting the Logical Content: Burley's 'Purity of Logic'

Download wilfridhodges.co.uk

Wilfrid Hodges

claim paper

Read More »

79

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

Separation - Past, Present, and Future

15 years 3 months ago

Separation - Past, Present, and Future

Download www.doc.ic.ac.uk

Ian M. Hodkinson, Mark Reynolds

claim paper

Read More »

« Prev « First page 112 / 3426 Last » Next »