大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Seminar on Stochastic Processes (8th : 1988 : University of Florida) 的图书(共3462本)

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship

0
索取号:TP30/E901
作者:Zwiers、 J. (Job)、 1956-、
出版社:Berlin ; New York : Springer-Verlag, 1989.

Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979

0
索取号:TP312-53/E901/1979
作者:Symposium on Language Design and Programming Methodology (1979 : Sydney、 N.S.W.)、Goos、G.、Tobias、 Jeffrey M.、 1953-、Australian Atomic Energy Commission.、University of New South Wales.、
出版社:Berlin ; New York : Springer-Verlag, 1980.

Proceedings, Supercomputing '88 : November 14-18, 1988, Orlando, Florida

0
索取号:TP3-53/E9034/1988
作者:Supercomputing '88 (1988 : Orlando、 Fla.)、Martin、 Joanne L.、 1954-、Lundstrom、 Stephen F.、IEEE Computer Society.、Sigarch.、
出版社:N.Y. Washington, D.C. : Computer Society Press, c1988-c1989.

Operating systems : theory and practice : proceedings of the Second International Symposium on Operating Systems Theory and Practice, organized by IRIA and Carnegie-Mellon University, Rocquencourt, France, October 2-4, 1978

0
索取号:TP3-53/E8017/2
作者:International Symposium on Operating Systems Theory and Practice、 2d、 Rocquencourt、 France、 1978.、Lanciaux、 D.、Institut de recherche d'informatique et d'automatique.、Carnegie-Mellon University.、
出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.

Modelling and performance evaluation methodology : proceedings of the international seminar, Paris, France, January 24-26, 1983

0
索取号:TP3-53/E9026
作者:
出版社:Berlin ; New York : Springer-Verlag, 1984.

Proceedings : sixth annual MICRO-DELCON '83

0
索取号:TP3-53/E9040/6
作者:Delaware Bay Computer Conference (6th : 1983 : University of Delaware)、IEEE Computer Society. Delaware Bay Section.、
出版社:Silver Springs, MD : IEEE Computer Society Press, c1983.

Proceedings

0
索取号:TP3-53/E997/6
作者:Symposium on Computer Arithmetic (6th : 1983 : Aarhus University)、IEEE Computer Society. Technical Committee on Computer Architecture.、Aarhus universitet.、
出版社:N.Y. Silver Spring, Md. : IEEE Computer Society Press, 1983.

Proceedings

0
索取号:TP3-53/E997/5
作者:Symposium on Computer Arithmetic (5th : 1981 : University of Michigan)、IEEE Computer Society. Technical Committee on Computer Architecture.、University of Michigan.、
出版社:N.Y. Los Angeles, CA : The Society ; Piscataway, N.J. : IEEE Service Center, 1981.

3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, Texas : [papers]

0
索取号:TP3-53/E997/3
作者:Symposium on Computer Arithmetic、 3d、 Southern Methodist University、 1975.、IEEE Computer Society.、
出版社:N.Y. IEEE Long Beach, Calif. : The Society, 1975.

Proceedings of the 1987 International Conference on Parallel Processing, August 17-21, 1987

0
索取号:TP338.6-532/E20062/1987
作者:International Conference on Parallel Processing (1987 : Pennsylvania State University)、Sahni、 Sartaj.、Pennsylvania State University. Dept. of Electrical Engineering.、
出版社:University Park, PA : Pennsylvania State University Press, c1987.

Distributed data sharing systems : proceedings of the Second International Seminar on Distributed Data Sharing Systems, held in Amsterdam, The Netherlands, 3-5 June 1981

0
索取号:TP3-53/E9022/2
作者:International Seminar on Distributed Data Sharing Systems (2nd : 1981 : Amsterdam、 Netherlands)、Riet、 R. P. van de.、Litwin、 W. (Witold)、 1946-、Vrije Universiteit te Amsterdam. Dept. of Mathematics and Informatics.、Institut national de recherche en informatique et en automatique (France)、Interest Group on Distributed Data.、
出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.

Distributed Data Acquisition, Computing, and Control Symposium, December 3-5, 1980, Eden Roc Hotel, Miami Beach, Florida : [selected papers]

0
索取号:TP3-53/E9023/1980
作者:Distributed Data Acquisition、 Computing、 and Control Symposium (1980 : Miami Beach、 Fla.)、IEEE Computer Society. TC Data Acquisition and Control.、IEEE Computer Society. TC Distributed Computing.、
出版社:N.Y. Los Alamitos, CA : IEEE Computer Society [distributor], 1980.

Computer vision systems : papers from the Workshop on Computer Vision Systems, held at the University of Massachusetts, Amherst, Massachusetts, June 1-3, 1977

0
索取号:TP3-53/E808/1977
作者:Workshop on Computer Vision Systems、 University of Massachusetts、 Amherst、 1977.、Hanson、 Allen R.、 1942-、Riseman、 Edward M.、
出版社:New York : Academic Press, 1978.

Performance '81 : proceedings of the 8th International Symposium on Computer Performance Modelling, Measurement, and Evaluation, Amsterdam, 4-6 November 1981

0
索取号:TP3-53/E9012/8
作者:International Symposium on Computer Performance Modeling、 Measurement、 and Evaluation (8th : 1981 : Amsterdam、 Netherlands)、Kylstra、 F. J. (Floris J.)、IFIP Working Group 7.3 on Computer System Modelling.、Studiecentrum NOVI (Netherlands)、
出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1981.

Computers in developing nations : a one-day international seminar : proceedings of the IFIP TC-9 International Seminar on Computers in Developing Nations, Melbourne, Australia, 13 October, 1980

0
索取号:TP3-53/E9010/1980
作者:IFIP TC-9 International Seminar on Computers in Developing Nations (1980 : Melbourne、 Australia)、Bennett、 John M. (John Makepeace)、 1921-、ḰАlḿАn、 ŔОbert.、Unesco.、Intergovernmental Bureau for Informatics.、IFIP Technical Committee 9.、
出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1981.

Parallel computers--parallel mathematics : proceedings of the IMACS (AICA)-GI Symposium, March 14-16, 1977, Technical University of Munich

0
索取号:TP3-53/E8027/1977
作者:
出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, American Elsevier Pub. Co., 1977.
最近添加的分类