|
531 |
A calculus for higher order concurrent constraint programming with deep guards
Smolka, Gert. - Kaiserslautern : DFKI, 1994
|
|
|
|
532 |
A calorimetric particle detector using an Iridium superconducting phase transition thermometer
München : Max-Planck-Inst. für Physik, 1994
|
|
|
|
533 |
A case study on specification, detection and resolution of IN feature interactions with Estelle
Bredereke, Jan. - Kaiserslautern : Fachbereich Informatik, Univ., 1994
|
|
|
|
534 |
A census for captive primates in Europe
[Göttingen] : DPZ, 1994
|
|
|
|
535 |
A characterization of linear FS-lattices
Huth, Michael. - Darmstadt : Techn. Hochsch., Fachbereich Mathematik, 1994
|
|
|
|
536 |
A characterization of minimal locally finite varieties
Kearnes, Keith. - Darmstadt : Techn. Hochsch., Fachbereich Mathematik, 1994
|
|
|
|
537 |
A characterization of some rank 2 incidence geometries by their automorphism group
Buekenhout, Francis. - Giessen : Math. Inst., 1994
|
|
|
|
538 |
A characterization of subgroups of the orthogonal group
Ellers, Erich W.. - Darmstadt : Techn. Hochsch., Fachbereich Mathematik, 1994
|
|
|
|
539 |
A classification of multi-database languages
Tresch, Markus. - Ulm : Univ., Fak. für Informatik, 1994
|
|
|
|
540 |
A climate change simultation starting at an early time of industrialization
Hamburg : Max-Planck-Inst. für Meteorologie, 1994
|
|
Administration
