Results for:
"
Johannes+Diderik+van+der+Waals
" in Documents
- Appendix to the "Darmstadt Johannes-Alexandrinus Fragment"
- This appendix to "Das Darmstädter Johannes-Alexandrinus-Fragment" answers to the critical note by Klaus-Dietrich Fischer, and shows that these new-founded fragments are a testimony of an until now un...
-
Rating:
Views: (2)
Pages: ()
Uploaded: 2004-8-5
- Verification Techniques for Elementary Data Types and Retransmission P...
- Data Types and Induction in ?CRL 65 6.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 65 6.2 Booleans : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Data Structures for Efficient String Algorithms
- This thesis deals with data structures that are mostly useful in the area of string matching and string mining. Our main result is an O(n)-time preprocessing scheme for an array of n numbers such that...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 08-04-09
- Connecting Oberon 1996 2 citations ? 0 self
- Oberon [WiGu89] is a modular, single-threaded operating system for single-user operation of stand-alone workstations. It is used in daily work as well as in programming courses. As a stand-alone syste...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Scientific theory and research methods of Johannes Müller.
-
Rating:
Views: (2)
Pages: ()
Uploaded: 1952-1-25
- Querying the Physical World 2000
- Data Type (ADT) objects that are single attribute values encapsulating a collection of related data [S98]. Note that there are natural parallels between devices and ADTs. Both ADTs and devices provide...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- The physiology of Johannes Müller and modern medicine.
-
Rating:
Views: ()
Pages: ()
Uploaded: 1958-7-11
- Johannes Müller, a pioneer of modern physiology.
-
Rating:
Views: (1)
Pages: ()
Uploaded: 1952-1-11