Search Results for Computer science. - Narrowed by: 1993

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

2026-03-23T10:57:22Z

by IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
Format: Electronic Resources

Concepts of programming languages

2026-03-23T10:57:22Z

by Sebesta, Robert W.
Format: Books

Motion analysis and image sequence processing

2026-03-23T10:57:22Z

by Sezan, M. İbrahim.
Format: Books

Hyperbolic partial differential equations

2026-03-23T10:57:22Z

by Witten, Matthew, 1951-
ScienceDirect https://www.sciencedirect.com/science/book/9780080302546
Format: Electronic Resources

Software engineering education : proceedings of the IFIP WG3.4/SEARCC SRIG on Education and Training Working Conference, Hong Kong, 28 September-2 October 1993

2026-03-23T10:57:22Z

by IFIP WG3.4/SEARCC SRIG on Education and Training Working Conference (1993 : Hong Kong)
ScienceDirect http://www.sciencedirect.com/science/book/9780444815972
Format: Electronic Resources

Systems engineering in public administration : proceedings of the IFIP TC8/WG8.5 Working Conference on Systems Engineering in Public Administration, Lüneburg, Germany, 3-5 March 1993

2026-03-23T10:57:22Z

by IFIP TC8/WG8.5 Working Conference on Systems Engineering in Public Administration (1993 : Lüneburg, Germany)
ScienceDirect http://www.sciencedirect.com/science/book/9780444815606
Format: Electronic Resources

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993

2026-03-23T10:57:22Z

by IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications (11th : 1993 : Ottawa, Ont.)
ScienceDirect http://www.sciencedirect.com/science/book/9780444816412
Format: Electronic Resources

Decision support in public administration : proceedings of the IFIP TC8/WG8.3 Working Conference on Decision Support in Public Administration, Noordwijkerhout, the Netherlands, 13-14 May 1993

2026-03-23T10:57:22Z

by IFIP TC8/WG8.3 Working Conference on Decision Support in Public Administration (1993 : Noordwijkerhout, Netherlands)
ScienceDirect http://www.sciencedirect.com/science/book/9780444814852
Format: Electronic Resources

Interoperable database systems (DS-5) : proceedings of theIFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992

2026-03-23T10:57:22Z

by IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5) (1992 : Lorne, Vic.)
ScienceDirect http://www.sciencedirect.com/science/book/9780444898791
Format: Electronic Resources

Curves and surfaces for computer aided geometric design : a practical guide

2026-03-23T10:57:22Z

by Farin, Gerald E.
ScienceDirect http://www.sciencedirect.com/science/book/9780122490521
Format: Electronic Resources

Information system development process : proceedings of the IFIP WG8.1 Working Conference on Information Development Process, Como, Italy, 1-3 September, 1993

2026-03-23T10:57:22Z

by IFIP WG8.1 Working Conference on Information System Development Process (1993 : Como, Italy)
ScienceDirect http://www.sciencedirect.com/science/book/9780444815941
Format: Electronic Resources

An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture

2026-03-23T10:57:22Z

by Augusto da Silva, Fernando M., author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13870607
Format: Books

A Study of Location-Transparent Load Sharing in Distributed Systems

2026-03-23T10:57:22Z

by Qin, Yi, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13871151
Format: Books

The exploitation of parallelism in logic simulation

2026-03-23T10:57:22Z

by Whitaker, Nigel Allen, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10870983
Format: Books

Parallel evaluation of functional programs

2026-03-23T10:57:22Z

by Wong, Pak S., author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10870984
Format: Books

Advances in computers. Volume 37

2026-03-23T10:57:22Z

by Yovits, M. C. (Marshall Clinton)
ScienceDirect http://www.sciencedirect.com/science/book/9780120121373
Format: Electronic Resources

Advances in computers. Volume 36

2026-03-23T10:57:22Z

by Yovits, M. C. (Marshall Clinton)
ScienceDirect http://www.sciencedirect.com/science/book/9780120121366
Format: Electronic Resources

Working material for the lectures of Gerhard Jager.

2026-03-23T10:57:22Z

by Jager, Gerhard
Format: Books

Working material for the lectures of Stan S. Wainer.

2026-03-23T10:57:22Z

by Wainer, Stan S.
Format: Books

Working material for the lectures of Robert L. Constable.

2026-03-23T10:57:22Z

by Basin, Davis A.
Format: Books

Adaptive intelligent systems : proceedings of the BANKAI Workshop, Brussels, Belgium, 12-14 October 1992

2026-03-23T10:57:22Z

by BANKAI Workshop (3rd : 1992 : Brussels, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444898388 ScienceDirect https://www.sciencedirect.com/science/book/9780444898388
Format: Electronic Resources

List of participants

2026-03-23T10:57:22Z

by "Proof and Computation" (1993 : Marktoberdorf)
Format: Books

General information : local information course outlines and references

2026-03-23T10:57:22Z

by "Proof and Computation" (1993 : Marktoberdorf)
Format: Books

Working material for the lectures of Wilfried Brauer.

2026-03-23T10:57:22Z

by Brauer, Wilfried
Format: Books

Reconfigurable Hierarchical Architectures for Integrated Circuit Emulation

2026-03-23T10:57:22Z

by Zamanian, Kamran, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13870963
Format: Books

Case-based reasoning

2026-03-23T10:57:22Z

by Kolodner, Janet L.
ScienceDirect http://www.sciencedirect.com/science/book/9781558602373
Format: Electronic Resources

Sub-notebook computer : user's manual.

2026-03-23T10:57:22Z

Format: Books

Workshop on electronic texts proceedings

2026-03-23T10:57:22Z

by Daly, James, 1948-
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2009786
Format: Electronic Resources

Hacettepe Üniversitesi psikoloji bölümü bilgi işlem ders notlaeı

2026-03-23T10:57:22Z

by Aksoy, Erol, prepared
Format: Books

C / C++ ve nesneye yönelik programlama

2026-03-23T10:57:22Z

by Banger, Gürcan
Format: Books

Mathematical approaches to neural networks

2026-03-23T10:57:22Z

by Taylor, J. G. (John Gerald), 1931-2012.
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444816924 ScienceDirect http://www.sciencedirect.com/science/publication?issn=09246509&volume=51 ScienceDirect https://www.sciencedirect.com/science/book/9780444816924
Format: Electronic Resources

Signs, search and communication semiotic aspects of artificial intelligence

2026-03-23T10:57:22Z

by Jorna, René J.
Click to View
Format: Electronic Resources

Discrete mathematics and its applications.

2026-03-23T10:57:22Z

Format: Books

Algorithms and data structures with applications to graphics and geometry

2026-03-23T10:57:22Z

by Nievergelt, Jurg
Format: Books

The Mathematica programmer

2026-03-23T10:57:22Z

by Maeder, Roman.
ScienceDirect http://www.sciencedirect.com/science/book/9780124649903
Format: Electronic Resources

Matematik ve uygulamaları ile bulanık mantık ve nöral ağlar

2026-03-23T10:57:22Z

by Çiftçibaşı, Turhan.
Format: Books

Klinik ve deneysel cerrahi dergisi =

2026-03-23T10:57:22Z

http://www.turkmedline.net/degilistesi.php?journal=64
Format: Continuing Resources

Advances in electronics and electron physics. Volume 85

2026-03-23T10:57:22Z

by Hawkes, P. W.
ScienceDirect http://www.sciencedirect.com/science/book/9780120147274
Format: Electronic Resources

Advances in electronics and electron physics. Volume 86

2026-03-23T10:57:22Z

by Hawkes, P. W.
ScienceDirect http://www.sciencedirect.com/science/book/9780120147281
Format: Electronic Resources

Parallel processing from applications to systems

2026-03-23T10:57:22Z

by Moldovan, Dan I.
ScienceDirect http://www.sciencedirect.com/science/book/9781558602540 ScienceDirect https://www.sciencedirect.com/science/book/9781558602540
Format: Electronic Resources

Parallel computing : an introduction

2026-03-23T10:57:22Z

by Lafferty, Edward L.
ScienceDirect https://www.sciencedirect.com/science/book/9780815513292
Format: Electronic Resources

Theoretical mechanics of biological neural networks

2026-03-23T10:57:22Z

by MacGregor, Ronald J.
ScienceDirect http://www.sciencedirect.com/science/book/9780124642553
Format: Electronic Resources

Scientific computing with automatic result verification

2026-03-23T10:57:22Z

by Adams, Ernst.
ScienceDirect http://www.sciencedirect.com/science/book/9780120442102 ScienceDirect http://www.sciencedirect.com/science/publication?issn=00765392&volume=189 ScienceDirect http://www.sciencedirect.com/science/bookseries/00765392/189 ScienceDirect https://www.sciencedirect.com/science/book/9780120442102
Format: Electronic Resources

Intelligent software for chemical analysis

2026-03-23T10:57:22Z

by Buydens, L., 1955-
ScienceDirect https://www.sciencedirect.com/science/book/9780444892072 ScienceDirect https://www.sciencedirect.com/science/bookseries/09223487/13
Format: Electronic Resources

Neurobionics : an interdisciplinary approach to substitute impaired functions of the human nervous system

2026-03-23T10:57:22Z

by Bothe, Hans-Werner.
ScienceDirect http://www.sciencedirect.com/science/book/9780444899583
Format: Electronic Resources

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey

2026-03-23T10:57:22Z

by Craigen, Dan, 1953-
ScienceDirect https://www.sciencedirect.com/science/book/9780815513629
Format: Electronic Resources

Classical recursion theory : the theory of functions and sets of natural numbers

2026-03-23T10:57:22Z

by Odifreddi, Piergiorgio, 1950-
ScienceDirect http://www.sciencedirect.com/science/book/9780444502056 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=143
Format: Electronic Resources

Engineering tribology

2026-03-23T10:57:22Z

by Stachowiak, G. W. (Gwidon W.)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444892355 ScienceDirect https://www.sciencedirect.com/science/book/9780444892355
Format: Electronic Resources

Handbook of game theory with economic applications

2026-03-23T10:57:22Z

by Aumann, Robert J.
ScienceDirect http://www.sciencedirect.com/science/book/9780444894281 ScienceDirect http://www.sciencedirect.com/science/handbooks/15740005/3
Format: Electronic Resources

Radiosity and realistic image synthesis

2026-03-23T10:57:22Z

by Cohen, Michael F.
ScienceDirect https://www.sciencedirect.com/science/book/9780121782702
Format: Electronic Resources