Zoekresultaten
Resultaat 1 - 20 (van 43)
Ralf Peeters System identification based on Riemannian geometry
theory and algorithms
Non-fictie
Engels | 344 pagina's | 1994
Gedrukt boek
M. Papatriantafilou | P. Tsigas How a rainbow coloring function can simulate wait-free handshaking
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
M. Papatriantafilou | P. Tsigas Self-stabilizing wait-free clock synchronization
Non-fictie
Engels | 10 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Centrum voor Wiskunde en Informatica Randomized wait-free naming
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Foundations of dependable computing
Non-fictie
Engels | 264 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
Foundations of dependable computing
Non-fictie
Engels | 214 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
P. Zhou | J. Hooman Formal specification and compositional verification of an atomic broadcast protocol
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
John Romein | H.E. Bal Parallel N-body simulation on a large-scale homogeneous distributed system
Non-fictie
Engels | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
J. Hooman Correctness of real time systems by construction
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
L. Zhang | Jan van Katwijk A viewpoint oriented design methodology for multi-processor real-time systems
Non-fictie
Engels | 26 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek
Responsive computing
Non-fictie
Engels | 103 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
Wim H. Hesselink | Ronald M. Tol Formal feasibility conditions for earliest deadline first scheduling
Non-fictie
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1994
Gedrukt boek
Australian Transputer and Occam User Group Parallel computing and transputers
Non-fictie
Engels | 383 pagina's | IOS Press, Amsterdam [etc.] | 1994
Gedrukt boek
Gary M. Koob | Clifford G. Lau Foundations of dependable computing
Non-fictie
Engels | 321 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
Roland Airiau | Jean-Michel Bergé | Vincent Olive Circuit synthesis with VHDL
Non-fictie
Engels | 221 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
Performance evaluation of parallel and distributed systems
solution methods; proceedings of the third QMIPS workshop
Non-fictie
Engels | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Interuniversity Expertise Center ProGAMMA MSP
a program for Mokken Scale analysis for Polytomous Items; version 3.0; user's manual
Non-fictie
Engels | 97 pagina's | IEC ProGAMMA, Groningen | 1994
Gedrukt boek
Fuzzy reasoning in information, decision, and control systems
Non-fictie
Engels | 567 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1994
Gedrukt boek