Search Results for Computer Science.

1.

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

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:

Alıntı:

IFIP transactions. A, Computer science and technology ;

2.

Concepts of programming languages

by

Sebesta, Robert W.

Format:

Alıntı:

Selected Titles from the Benjamin/Cummings series in Computer Science

3.

Motion analysis and image sequence processing

by

Sezan, M. İbrahim.

Format:

Alıntı:

The Kluwer international series in engineering and computer science ; SECS 0220. VLSI, computer

4.

Hyperbolic partial differential equations

by

Witten, Matthew, 1951-

ScienceDirect https://www.sciencedirect.com/science/book/9780080302546

Format:

Alıntı:

International series in modern applied mathematics and computer science ;

5.

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

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:

Alıntı:

IFIP transactions. A, Computer science and technology ;

6.

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

by

IFIP WG3.4/SEARCC SRIG on Education and Training Working Conference (1993 : Hong Kong)

ScienceDirect http://www.sciencedirect.com/science/book/9780444815972

Format:

Alıntı:

IFIP transactions. A, Computer science and technology ;

7.

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

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:

Alıntı:

IFIP transactions. A, Computer science and technology ;

8.

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

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:

Alıntı:

IFIP transactions. A, Computer science and technology ;

9.

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

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:

Alıntı:

IFIP transactions. A, Computer science and technology ;

10.

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

by

IFIP WG8.1 Working Conference on Information System Development Process (1993 : Como, Italy)

ScienceDirect http://www.sciencedirect.com/science/book/9780444815941

Format:

Alıntı:

IFIP transactions. A, Computer science and technology ;

11.

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

by

Farin, Gerald E.

ScienceDirect http://www.sciencedirect.com/science/book/9780122490521

Format:

Alıntı:

Computer science and scientific computing.

12.

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

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:

Alıntı:

The University of Manchester (United Kingdom). Department of Computer Science. degree granting

13.

A Study of Location-Transparent Load Sharing in Distributed Systems

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:

Alıntı:

The University of Manchester (United Kingdom). Department of Computer Science. degree granting

14.

The exploitation of parallelism in logic simulation

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:

Alıntı:

The University of Manchester (United Kingdom). Department of Computer Science. degree granting

15.

Parallel evaluation of functional programs

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:

Alıntı:

The University of Manchester (United Kingdom). Department of Computer Science. degree granting

16.

Advances in computers. Volume 37

by

Yovits, M. C. (Marshall Clinton)

ScienceDirect http://www.sciencedirect.com/science/book/9780120121373

Format:

Alıntı:

COMPUTERS -- Computer Science.

17.

Advances in computers. Volume 36

by

Yovits, M. C. (Marshall Clinton)

ScienceDirect http://www.sciencedirect.com/science/book/9780120121366

Format:

Alıntı:

COMPUTERS -- Computer Science.

18.

Working material for the lectures of Gerhard Jager.

by

Jager, Gerhard

Format:

Alıntı:

Computer science.

19.

Working material for the lectures of Stan S. Wainer.

by

Wainer, Stan S.

Format:

Alıntı:

Computer science.

20.

Working material for the lectures of Robert L. Constable.

by

Basin, Davis A.

Format:

Alıntı:

Computer science.

21.

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

by

BANKAI Workshop (3rd : 1992 : Brussels, Belgium)

ScienceDirect http://www.sciencedirect.com/science/book/9780444898388
ScienceDirect https://www.sciencedirect.com/science/book/9780444898388

Format:

Alıntı:

Neural networks (Computer science) -- Congresses.

22.

List of participants

by

"Proof and Computation" (1993 : Marktoberdorf)

Format:

Alıntı:

Computer science -- Congresses.

23.

General information : local information course outlines and references

by

"Proof and Computation" (1993 : Marktoberdorf)

Format:

Alıntı:

Computer science -- Congresses.

24.

Working material for the lectures of Wilfried Brauer.

by

Brauer, Wilfried

Format:

Alıntı:

Multitasking (Computer science).

25.

Reconfigurable Hierarchical Architectures for Integrated Circuit Emulation

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:

Alıntı:

Computer science.

26.

Case-based reasoning

by

Kolodner, Janet L.

ScienceDirect http://www.sciencedirect.com/science/book/9781558602373

Format:

Alıntı:

Expert systems (Computer science)

27.

Sub-notebook computer : user's manual.

Format:

Alıntı:

Computer science.

28.

Workshop on electronic texts proceedings

by

Daly, James, 1948-

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2009786

Format:

Alıntı:

Text processing (Computer science) -- Congresses.

29.

C / C++ ve nesneye yönelik programlama

by

Banger, Gürcan

Format:

Alıntı:

Object-Oriented programming (Computer science).

30.

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

by

Aksoy, Erol, prepared

Format:

Alıntı:

Computer science -- Study and teaching.

31.

Mathematical approaches to neural networks

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:

Alıntı:

Neural networks (Computer science) -- Mathematics.

32.

Signs, search and communication semiotic aspects of artificial intelligence

by

Jorna, René J.

Click to View

Format:

Alıntı:

Expert systems (Computer science)

33.

Discrete mathematics and its applications.

Format:

Alıntı:

Computer science -- Mathematics.

34.

Algorithms and data structures with applications to graphics and geometry

by

Nievergelt, Jurg

Format:

Alıntı:

Data structures (Computer science).

35.

The Mathematica programmer

by

Maeder, Roman.

ScienceDirect http://www.sciencedirect.com/science/book/9780124649903

Format:

Alıntı:

Computer Science.

36.

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

by

Çiftçibaşı, Turhan.

Format:

Alıntı:

Neural networks (computer science).

37.

Klinik ve deneysel cerrahi dergisi =

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

Format:

Alıntı:

Expert systems (Computer science)

38.

Advances in electronics and electron physics. Volume 85

by

Hawkes, P. W.

ScienceDirect http://www.sciencedirect.com/science/book/9780120147274

Format:

Alıntı:

Parallel programming (Computer science)

39.

Advances in electronics and electron physics. Volume 86

by

Hawkes, P. W.

ScienceDirect http://www.sciencedirect.com/science/book/9780120147281

Format:

Alıntı:

Expert systems (Computer science)

40.

Parallel processing from applications to systems

by

Moldovan, Dan I.

ScienceDirect http://www.sciencedirect.com/science/book/9781558602540
ScienceDirect https://www.sciencedirect.com/science/book/9781558602540

Format:

Alıntı:

COMPUTERS -- Computer Science.

41.

Parallel computing : an introduction

by

Lafferty, Edward L.

ScienceDirect https://www.sciencedirect.com/science/book/9780815513292

Format:

Alıntı:

COMPUTERS -- Computer Science.

42.

Theoretical mechanics of biological neural networks

by

MacGregor, Ronald J.

ScienceDirect http://www.sciencedirect.com/science/book/9780124642553

Format:

Alıntı:

Neural networks (Computer science)

43.

Scientific computing with automatic result verification

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:

Alıntı:

Computer science -- Mathematics.

44.

Intelligent software for chemical analysis

by

Buydens, L., 1955-

ScienceDirect https://www.sciencedirect.com/science/book/9780444892072
ScienceDirect https://www.sciencedirect.com/science/bookseries/09223487/13

Format:

Alıntı:

Expert systems (Computer science)

45.

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

by

Bothe, Hans-Werner.

ScienceDirect http://www.sciencedirect.com/science/book/9780444899583

Format:

Alıntı:

Neural networks (Computer science)

46.

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

by

Craigen, Dan, 1953-

ScienceDirect https://www.sciencedirect.com/science/book/9780815513629

Format:

Alıntı:

COMPUTERS -- Computer Science.

47.

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

by

Odifreddi, Piergiorgio, 1950-

ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=143

Format:

Alıntı:

Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity

48.

Engineering tribology

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:

Alıntı:

numerical analysis of hydrodynamic lubrication is supported by a number of computer programs which are

49.

Handbook of game theory with economic applications

by

Aumann, Robert J.

ScienceDirect http://www.sciencedirect.com/science/book/9780444894281
ScienceDirect http://www.sciencedirect.com/science/handbooks/15740005/3

Format:

Alıntı:

, computer science, law, psychology and ethics. The authors are the most eminent practitioners in the field

50.

Radiosity and realistic image synthesis

by

Cohen, Michael F.

ScienceDirect https://www.sciencedirect.com/science/book/9780121782702

Format:

Alıntı:

of the radiosity method. He is currently an assistant professor of computer science at Princeton

	{displayName}	{count}
{error}