Lecture Notes in Computer Science, (1998)
Logics of Programs, as a field of study, touches on a wide variety of activities in computer science and mathematics. It draws on mathematical foundations of formal logic, semantics, and complexity...
Balzert,H., Jackson,M. I., Dencker,P., Jansohn,H. S., Goos,G.
It is now common knowledge that the announcement of the Japanese Fifth Generation Computing Programme in 1982 led to the announcement of a number of national and international programmes in...
Lecture Notes in Computer Science - Artificial Neural Networks - ICANN '97 (1997)
Gerstner, Wulfram, Germond, Alain, Hasler, Martin, Nicoud, Jean-Daniel, Goos, G., Hartmanis, J., ...
Vitamin D metabolites in childhood nephrotic syndrome (1995)
We measured serum levels of total and ionised calcium, phosphate, intact parathyroid hormone, 25-hydroxyvitamin D [25(OH)D], 1,25-dihydroxyvitamin D [1,25(OH)2D] and the vitamin D binding protein...
Total body mineral mass measured with dual photon absorptiometry in healthy children (1994)
Using dual photon absorptiometry, bone mineral content (BMC) and bone mineral density (BMD) of the total body and the lumbar spine were assessed in 97 healthy, Caucasian children aged 3-14 years....
The architecture of the BirliX operating system (1990)
Härtig, H., Kühnhauser, W., Lux, W., Reck, W., Streich, H., Goos, G.
Computerized safeguarding of nuclear power plants: a case for reliable software. (1978)
Hibbard, P.G.; Schuman, S.A.[Hrsg.]: Constructing Quality Software. Proc.of the IFIP Working Conf., Novosibirsk, USSR, May 23-28, 1977. Amsterdam: North-Holland Publ. 1978. S.11-30