Bibliography (complete)
Showing 11801 - 11850 of 11995 Results
Turn Page
- First Page
- Previous Page
- 11551-11600
- 11701-11750
- 11751-11800
- Sie sind auf Seite:11801-11850
- 11851-11900
- 11901-11950
- Last Page
- Next Page
-
Source
-
[Contribution to a book]
Hahn, Udo; Jarke, Matthias; Eherer, Stefan; Kreplin, Klaus
CoAUTHOR : a hypermedia group authoring environment
Studies in computer supported cooperative work : theory, practice and design / ed. by John M Bowers and Steven D. Benford, 79-101 (1991) -
[Contribution to a book]
Eherer, Stefan; Jarke, Matthias
CoAUTHOR. Erfahrungen mit der Implementierung eines Autorensystems
Hypertext : state of the art / ed. by Ray McAleese .. (1991) -
[Contribution to a book]
Jarke, Matthias; Jeusfeld, Manfred A.; Mylopoulos, John; Schmidt, J. W.; Vassiliou, Y.
Ingegneria della conoscenza e sistemi informativi
Sistemi impresa. - Parte 1, 1055-1067 (1991) -
[Contribution to a book]
Börstler, Jürgen; von der Beeck, M.
Method descriptions for OOSD, ward-mellor, YSM, ESML and statecharts
COMPLEMENT (an ESPRIT II project) Technical Report AUT7-2.0 (1991) -
[Journal Article]
Schubert, P.
Eigenschaftswerte von Mauerwerk, Mauersteinen und Mauermörtel
Mauerwerk-Kalender, 16, 125-135 (1991) -
[Book]
Jeusfeld, Manfred A.; Staudt, Martin
Query optimization in deductive object bases
Aachener Informatik-Berichte 91,26 (1991) -
[Book]
Cleaveland, Rance; Dreimüller, M.; Steffen, Bernhard
Faster model checking in the model Mu-calculus
Aachener Informatik-Berichte : AIB 91,29 (1991) -
[Book]
Cleaveland, Rance; Parrow, Joachim; Steffen, Bernhard
The concurrency workbench : a semantics based tool for the verification of concurrent systems
Aachener Informatik-Berichte 91-24 (1991) -
[Book]
Fassbender, Heinz; Gladitz, Katia; Vogler, Heiko
Compiler-based implementation of syntax-directed functional programming
Aachener Informatik-Berichte 91-10 (1991) -
[Book]
Kuchen, Herbert; Geiler, Günther
Distributed applicative arrays
Aachener Informatik-Berichte 91-5 (1991) -
[Book]
Kuchen, Herbert; Lücking, Friedrich; Stoltze, Holger
The topology description language TDL
Aachener Informatik-Berichte : AIB 91-22 (1991) -
[Book]
Graf, Susanne; Steffen, Bernhard
Compositional minimization of finite state systems
Aachener Informatik-Berichte 91,23 (1991) -
[Book]
Hogen, Guido; Kindler, Andrea; Loogen, Rita
Automatic parallelization of lazy functional programs
Aachener Informatik-Berichte 91,20 (1991) -
[Book]
Knoop, Jens; Steffen, Bernhard
The interprocedural coincidence theorem
Aachener Informatik-Berichte 91-27 (1991) -
[Book]
Margaria, Tiziana
First-order theories for the verification of complex FSMs
Aachener Informatik-Berichte 91,30 (1991) -
[Book]
Steffen, Bernhard
Generating data flow analysis algorithms from modal specifications
Aachener Informatik-Berichte 91-31 (1991) -
[Book]
Ingolfsdottir, Anna; Steffen, Bernhard
Characteristic formulae for processes with divergence
Aachener Informatik-Berichte 91-3 (1991) -
[Contribution to a conference proceedings]
Steinke, G.
Towards a strategy for achieving security and multi-user integrity in knowledge base systems
Proceedings 2. Int. Workshop on the Deductive Approach to Inform. Syst. and Databases. Aiguablava, Spanien 1991, 128-148 (1991) -
[Contribution to a conference proceedings]
Steinke, G.
Mandatory and discretionary security for the object-oriented environment
Proceedings SUUG Nat. Annual Conference 1991, 8-11 (1991) -
[Contribution to a conference proceedings]
Chen, S.; Jarke, Matthias
A decision-making model for query evaluation
Proceedings Workshop on Nonstandard Queries and Answers. Toulouse, Frankreich 1991, 161-180 (1991) -
[Contribution to a conference proceedings]
Jarke, Matthias
Technology and cooperation
Applications and challenges. Proceedings 2. Int. Workshop on Intelligent and Coop. Inform. Syst. Como, Italien 1991 (1991) -
[Contribution to a conference proceedings]
Jarke, Matthias
Deductive object bases. Concept, implementation and applications
Proceedings 2. Int. Workshop on the Deductive Approach to Inform. Syst. and Databases. Aiguablava, Spanien 1991, 204-219 (1991) -
[Contribution to a book, Journal Article]
Schümmer, Martine
Prioritätsmechanismen für Kommunikationssysteme in der Prozeßkontrolle
Informatik-Fachberichte, 293 (1991) -
[Contribution to a conference proceedings]
Popien, C.
Konformitätstest basierend auf ODP-Architekturen
Proceedings Workshop Entwicklungstendenzen von Rechnernetzen. 1991 (1991) -
[Contribution to a conference proceedings]
Jakobs, Kai
Electronic mail and user requirements. Do they go together?
Proceedings Networks 91 (1991) -
[Contribution to a conference proceedings]
Jakobs, Kai
Beyond the interface, group communication services supporting CSCW
Proceedings IFIP WG 8.3/8.4 Conference on Support Functionality in the Office Environ. 1991 (1991) -
[Contribution to a conference proceedings]
Jakobs, Kai
Looking at electronic mail services as a user. Do they really meet my requirements?
Proceedings Inform. Technology Assess (1991) -
[Contribution to a conference proceedings]
Hübner, D.; Jakobs, Kai; Reichert, F.
Taking advantage of the disadvantage: Interference detection for improved decentral radio channel access
Proceedings 41. IEEE Vehicular Technology Soc. Conference 1991 (1991) -
[Contribution to a book, Contribution to a conference proceedings]
Cleaveland, Rance; Steffen, Bernhard
Computing behavioural relations, logically
Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings / J. Leach Albert ... (ed.), 127-138 (1991) -
[Contribution to a book, Contribution to a conference proceedings]
Cleaveland, Rance; Steffen, Bernhard
A linear-time model checking algorithm for the alternation-free modal Mu-calculus
Theoretical aspects of computer software : International Conference TACS '91, Sendai, Japan, September 24 - 27, 1991 ; proceedings / T. Ito ... (ed.), 186-196 (1991) -
[Contribution to a book, Journal Article]
Spaniol, Otto
Betriebserfahrungen und Messungen an einem großen FDDI-Netz und sich daraus ergebende Konsequenezen
Informatik-Fachberichte, 293, 22-34 (1991) -
[Contribution to a book, Contribution to a conference proceedings]
Spaniol, Otto
High speed local area networks : What, why, when and how ; Planning, installation and first experiences of a HSLAN in a heterogeneous environment
High capacity local and metropolitan area networks : architecture and performance issues ; [proceedings of the NATO Advanced Research Workshop on Architecture and Performance Issues of High Capacity Local and Metropolitan Area Networks, held in Sophia Antipolis, France, June 25 - 27, 1990], 73-82 (1991) -
[Contribution to a conference proceedings]
Spaniol, O.
Hochgeschwindigkeitsnetze: Planung, Installation und erste Erfahrungen in einer Universitätsumgebung
FDDI 90-Kongr., 303-337 (1991) -
[Contribution to a book, Contribution to a conference proceedings]
Maltzahn, Carlos G.; Rose, Thomas
ConceptTalk : Kooperationsunterstützung in Softwareumgebungen
Verteilte Künstliche Intelligenz und kooperatives Arbeiten : München, 23. - 24. Oktober 1991 ; proceedings / 4. Internationaler GI-Kongreß Wissensbasierte Systeme. W. Brauer ... (Hrsg.), 195-206 (1991) -
[Contribution to a book, Contribution to a conference proceedings]
Quernheim, Ulrich; Jacobs, Stephan; Aghadavoodi Jolfaei, Masoud
Performance evaluation of three access protocols for VSAT networks
Proceedings of the Second European Conference on Satellite Communications, ECSC-2 : Palais des Congrès, Liège, Belgium, 22 - 24 October 1991 / European Space Agency. [Ed. Brigitte Kaldeich], 207-212 (1991) -
[Contribution to a conference proceedings]
Steinke, G.
Modularization in an object-oriented knowledge base system
Proceedings IEEE Sympos. on Appl. Computing. Kansas City (USA) 1991, 167-174 (1991)
[DOI: 10.1109/SOAC.1991.143869] -
[Contribution to a conference proceedings]
Steinke, G.
Task-based security considerations in a knowledge base system
Proceedings Int. Conference on Human Aspects of Computing and Inform. Managem. Stuttgart 1991, 996-1001 (1991) -
[Contribution to a book, Contribution to a conference proceedings]
Knoop, J.; Rüthing, O.; Steffen, B.
Efficient code motion and an adaption to strength reduction
Colloq. on Combining Paradigms for Software Dev. Berlin [u.a.] 1991, 394-415 (1991) -
[Contribution to a book, Contribution to a conference proceedings]
Jakobs, Kai; Kleefeld, Klaus D.
Using public communication services for archaeological applications
Computer applications and quantitative methods in archaeology 1990 / CAA 90. Ed. by Kris Lockyear ... (1991) -
[Contribution to a conference proceedings]
Jakobs, Kai; Kaltwasser, J.; Reichert, F.
AC/ID. A decentral media access control with interference detection for mobile radio networks
Proceedings 3. IEE Conference on Telecommun. 1991 (1991) -
[Contribution to a conference proceedings]
Jakobs, Kai; Reichert, F.
New applications in mobile communication. The directory
Proceedings 41. IEEE Vehicular Technology Soc. Conference 1991, 485-490 (1991) -
[Contribution to a conference proceedings]
Jakobs, Kai; Quernheim, U.
Multicast communication in networks with arbitrary topology
Proceedings 3. IEE Conference on Telecommun. 1991 (1991) -
[Contribution to a conference proceedings]
Jakobs, Kai; Quernheim, U.
Link- and network layers tasks for point-to-multipoint communication
Proceedings CompEuro 91 (1991) -
[Contribution to a conference proceedings]
Jakobs, Kai; Quernheim, U.
Group communication. The lower layers
Proceedings Silicon Valley Networking Conference 1991 (1991) -
[Contribution to a conference proceedings]
Kremer, WE.; Kremer, WO.; Beadle, P.; Chanine, M.; Votsis, G.; Lucazeau, F.; Kemeny, A.
Vehicle-intercommunication: Architecture and perspectives for implementation
DRIVE-Conference: Advandced Telematics in Road Transport. Brüssel, Belgien 1991 (1991) -
[Contribution to a conference proceedings]
Kremer, WE.
Realistic simulation of a broadcast protocol for an inter vehicle communication system
Proceedings 41. IEEE Vehicular Technology Soc. Conference 1991, 624-629 (1991) -
[Contribution to a conference proceedings]
Kreuer, D.; Quernheim, U.
A modified error correction protocol for CCITT signalling system no. 7 on satellite links
Proceedings ECSC-2. Lüttich, Belgien 1991 (1991) -
[Contribution to a conference proceedings]
Meuser, T.
Praxisbericht: FDDI-Performance für den Anwender
Proceedings Exponet. Frankfurt/M. 1991 (1991)
Turn Page
- First Page
- Previous Page
- 11551-11600
- 11701-11750
- 11751-11800
- Sie sind auf Seite:11801-11850
- 11851-11900
- 11901-11950
- Last Page
- Next Page