登入選單
Google圖書搜尋
Mondel: an Object-oriented Specification Language
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Gregor von Bochmann / M. Barbeau / M. Erradi / L. Lecomte / P. Mondain-Monval / N. Williams
出版1990
ISBN
OCLC:27139548
主題
Object-oriented programming (Computer science)
Generalized Unification in Prolog
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Michel Boyer / Guy Lapalme
出版1985
ISBN
OCLC:17552311
主題
Prolog (Computer program language)
A Record Package for Prolog
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Jean G. Vaucher
出版1987
ISBN
OCLC:17249577
主題
Data structures (Computer science)
Process-oriented Simulation in Prolog
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Jean G. Vaucher / Guy Lapalme
出版1987
ISBN
OCLC:17249537
主題
Prolog (Computer program language)
Principles of an Icons-based Command Language
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Claude Frasson / Mohammed Er-radi
出版1987
ISBN
OCLC:18930638
主題
Programming languages (Electronic computers)
Methods and Tools for the Design and Validation of...
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Gregor von Bochmann
出版1986
ISBN
OCLC:16959388
主題
Computer network protocols
Formal Description of Network Management Issues
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Gregor von Bochmann / Pierre Mondain-Monval
出版1990
ISBN
OCLC:30621715
主題
Computer networks
Coherent State Changes for Logic Objects
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Jacques Malenfant / Guy Lapalme / Jean G. Vaucher
出版1990
ISBN
OCLC:27139541
主題
Logic programming
Reduction Techniques for the Protocol Reachability...
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Masaki Itoh
出版1988
ISBN
OCLC:18774237
主題
Computer network protocols
Performance Simulation of Communication Protocols ...
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Gregor von Bochmann / Daniel Ouimet / Jean G. Vaucher
出版1990
ISBN
OCLC:30621729
主題
Computer networks
Extensions to Barrington's M-program Model
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / François Bédard / François Lemieux / Pierre McKenzie
出版1990
ISBN
OCLC:30016470
主題
Computational complexity
Conception d'un systeme expert pour la modelisatio...
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Remi Planche / Claire St-Jacques / Jean G. Vaucher
出版1987
ISBN
OCLC:18930666
主題
Expert systems (Computer science)
Specification and Verification of Services and Sys...
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Reinhard Gotzhein / Sawwas Keramidis
出版1986
ISBN
OCLC:18930704
主題
Computer programs
Record Manipulation in Prolog
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Jean G. Vaucher
出版1988
ISBN
OCLC:18774142
主題
Prolog (Computer program language)
Application Layer Testing and ASN1 Support Tools
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Gregor von Bochmann / Michel Deslaurier / Sylvie Bessette
出版1986
ISBN
OCLC:16992753
主題
Electronic data processing
Protocol Specification
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / G. v Bochmann
出版1988
ISBN
OCLC:123322406
主題
Computer network protocols
The Traveling Salesman Problem
作者
Jean-Yves Potvin / Université de Montréal. Centre de recherche sur les transports
出版1993
ISBN
UCBK:C101847049
主題
Network analysis (Planning)
An Iconic Language for Intelligent Manipulation of...
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Réjean Carrier / Claude Frasson / Jean Fugére
出版1988
ISBN
OCLC:18774222
主題
Programming languages (Electronic computers)
Utilisation d'E.A.O. dans des systemes d'E.I.A.O.
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Samy Bengio / Claude Frasson
出版1988
ISBN
OCLC:22353565
主題
Artificial intelligence
Adding Performance Aspects to Specification Langua...
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Gregor von Bochmann / Jean G. Vaucher
出版1987
ISBN
OCLC:18774019
主題
Computer network protocols
A Survey on FIFO Nets
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / A. Finkel / Louis E. Rosier
出版1987
ISBN
OCLC:18773996
主題
Parallel processing (Electronic computers)
The Nonlinear Bilevel Programming Problem
作者
Yang Chen / Michael Florian / Université de Montréal. Centre de recherche sur les transports
出版Centre for Research on Transportation = Centre de recherche sur les transports, 1993
ISBN
UCBK:C100822305
主題
Mathematical optimization
Multivariate Association and Inference Problems in...
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Robert Cléroux
出版1987
ISBN
OCLC:17291737
主題
Analysis
A New Tool for Business Graphics: the Animated Dat...
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Nadia Magnenat-Thalmann / Daniel Thalmann
出版1985
ISBN
OCLC:17622944
主題
Business
Calculus of Communicating Systems for Refined Obse...
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Masaki Itoh
出版1988
ISBN
OCLC:18774172
主題
Calculus
Browsing Techniques in Image Databases
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Ján Gecsei
出版1987
ISBN
OCLC:18774212
主題
Database management
Cahiers - Centre d'études de recherche opérationne...
作者
Université libre de Bruxelles. Centre d'études de recherche opérationnelle
出版1986
ISBN
STANFORD:36105000950332
主題
Industrial management
Use of Prolog for Building Protocol Design Tools
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / Gregor von Bochmann / R. Dssouli / W. Lopes de Souza / B. Sarikaya / H. Ural
出版1985
ISBN
OCLC:17777771
主題
Computer network protocols
A Coordinate Descent Method for the Bilevel O-D Ma...
作者
Michael Florian / Yang Chen / Université de Montréal. Centre de recherche sur les transports
出版Centre for Research on Transportation = Centre de recherche sur les transports, 1993
ISBN
UCBK:C101113471
主題
Mathematical optimization
Protocol Testing Using Automatic Trace Analysis
作者
Université de Montréal. Département d'Informatique et de Recherche Opérationnelle / G. Von Bochmann / C. S. He / D. Ouimet / J. R. Zhao
出版1988
ISBN
OCLC:18786286
主題
Computer network protocols