Zoekresultaten
Resultaat 1 - 16 (van 16)
M.H.G. Bovenkerk Leegvaart binnen het BinnenVaartModelSysteem
het ontwikkelen en vergelijken van modelleringen van lege vaarten in de binnenvaart, gebruik makend van de gegevens over reizen uit IVS'90
Non-fictie
Nederlands | 82 pagina's | TNO Inro, Afdeling Logistiek, Delft | 2000
Gedrukt boek
J.G. Conijn | J.W.A. Langeveld | T. Baan Hofman Verslag van werkzaamheden ten behoeve van het modelinstrumentarium APPROXI-SSM-ANIMO
Non-fictie
Nederlands | 18 pagina's | Plant Research International, Wageningen | 2000
Gedrukt boek
Discrete event systems
analysis and control
Non-fictie
Engels | 484 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
Workload characterization for computer system design
Non-fictie
Engels | 213 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
T. Kuipers | L.M.F. Moonen Types and concept analysis for legacy systems
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
International Federation for Information Processing Formal methods for open object-based distributed systems IV
IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), september 6-8, 2000, Stanford, California, USA
Non-fictie
Engels | 417 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
Centre for Telematics and Information Technology | Peter R.J. Asveld Fuzzy context-free languages
Non-fictie
Engels | 24 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2000
Gedrukt boek
Stephen A. Edwards Languages for digital embedded systems
Non-fictie
Engels | 306 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
High performance computing systems and applications
Non-fictie
Engels | 602 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
Kian-Lee Tan | Beng Chin Ooi Data dissemination in wireless computing environments
Non-fictie
Engels | 168 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
J. Hulstijn Dialogue models for inquiry and transaction
Non-fictie
Engels | 282 pagina's | 2000
Gedrukt boek
A.L. de Groot | J. Hooman Analyzing the light control system with PVS
Non-fictie
Engels | 39 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
Frederik Jan Lingen Design of an object oriented finite element package for parallel computers
Non-fictie
Engels | 192 pagina's | 2000
Gedrukt boek
L. Loeve | David Lindeijer | J.J.M. Evers SERVICES
the service-oriented-agile logistic control and engineering systeem
Non-fictie
Engels | TRAIL Research School, Delft [etc.] | 2000
Gedrukt boek
Tim A.C. Willemse | Jan Tretmans | Arjen Klomp A case study in formal methods
specification and validation of the OM/RR protocol
Non-fictie
Engels | 16 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek