Sciweavers

17129 search results - page 112 / 3426

» Applied Computing

101

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

15 years 12 months ago

Specifying, Programming and Verifying with Equational Logic

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

91

BIRTHDAY
2005
Springer

89views Applied Computing» more BIRTHDAY 2005»

Formal Approaches to Teamwork

15 years 12 months ago

Formal Approaches to Teamwork

Download www.cs.umd.edu

John Grant, Sarit Kraus, Donald Perlis

claim paper

Read More »

86

BIRTHDAY
2005
Springer

77views Applied Computing» more BIRTHDAY 2005»

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

15 years 12 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 »

93

BIRTHDAY
2005
Springer

105views Applied Computing» more BIRTHDAY 2005»

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

15 years 12 months ago

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

Download wilfridhodges.co.uk

Wilfrid Hodges

claim paper

Read More »

146

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

Separation - Past, Present, and Future

15 years 12 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 »