History
1
537

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 537 total

Implementing coordinated error recovery for distributed object-oriented systems with aspectj. (English)
J. UCS 10, No. 7, 843-858, electronic only (2004).
Classification: D.2 D.3 D.3.3
1
A numerical library in Java for scientists and engineers. With CD-ROM. (English)
Boca Raton, FL: Chapman and Hall/CRC. xxiii, 1063 p. \\$ 99.95; \sterling 66.99 (2004).
Classification: D.3 I.1 A.2
2
Developing adaptive j2me applications using aspectj. (English)
J. UCS 9, No. 8, 935-955, electronic only (2003).
Classification: D.2 D.2.11 D.3
3
Practical type inference for polymorphic recursion: an implementation in haskell. (English)
J. UCS 9, No. 8, 873-890, electronic only (2003).
Classification: D.3 D.3.3
4
Advances in computing science ‒ ASIAN 2003. Programming languages and distributed computation. 8th Asian computing science conference, Mumbai, India, December 10‒12, 2003. Proceedings. (English)
Lecture Notes in Computer Science. 2896. Berlin: Springer. viii, 305 p. EUR 46.00/net; \\$ 58.00; \sterling 35.50; sFr 79.00 (2003).
Classification: A.m D.3 C.2.4 B.8.1
5
Programming languages and systems. First Asian symposium, APLAS 2003, Beijing, China, November 27‒29, 2003. Proceedings. (English)
Lecture Notes in Computer Science. 2895. Berlin: Springer. xiii, 427 p. EUR 54.00/net; \\$ 71.00; \sterling 41.50; sFr 92.50 (2003).
Classification: A.m D.3
6
Extending B with control flow breaks. (English)
Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 513-527 (2003).
Classification: F.3.1 D.3
7
Using B refinement to analyse compensating business processes. (English)
Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 477-496 (2003).
Classification: D.3 F.3.1
8
ZML: XML support for standard Z. (English)
Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 437-456 (2003).
Classification: D.3 E.1
9
HRT-UML: Taking HRT-HOOD onto UML. (English)
Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 405-416 (2003).
Classification: D.3
10
Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 394-404 (2003).
Classification: D.3
11
A proposal to integrate the POSIX execution-time clocks into Ada 95. (English)
Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 344-358 (2003).
Classification: D.3
12
A round robin scheduling policy for Ada. (English)
Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 334-343 (2003).
Classification: D.3
13
Running Ada on real-time Linux. (English)
Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 322-333 (2003).
Classification: D.3 D.3.4 D.4
14
A quality model for the Ada standard container library. (English)
Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 283-296 (2003).
Classification: D.3
15
Charles: A data structure library for Ada95. (English)
Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 271-282 (2003).
Classification: D.3 E.1
16
A survey of physical unit handling techniques in Ada. (English)
Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 258-270 (2003).
Classification: D.3
17
The use of Ada, GNAT. Spitbol, and XML in the Sol-Eu-Net project. (English)
Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 196-207 (2003).
Classification: D.3
18