Search Results for Computer science.

|

|

|

Click to Render in ADA Mode

|

Help

Remember to clear the cache and close the browser window.

Home

Search Limit

8

Search Field

Search For:

Advanced Search

Search Results Electronic Resources

Limit Search Results

Narrowed by:

Delete search term 1993

+

Publication Date: 1993

Author

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

(4)

"Proof and Computation" (1993 : Marktoberdorf)

(2)

Claesen, Luc J. M.

(2)

(2)

Nato Science Committe & Instıtut für Informatik Technische Universitat München (1993 : Marktoberdorf).

(2)

Nato Science Committe & Instıtut für Informatik Technische Universitat München (Marktoberdorf : 1993).

(2)

Yovits, M. C. (Marshall Clinton)

(2)

(1)

Agnew, David, 1947-

(1)

Aitken, William E.

(1)

Aksoy, Erol, prepared

(1)

Allen, Stuart F.

(1)

Augusto da Silva, Fernando M., author.

(1)

Aumann, Robert J.

(1)

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

(1)

Banger, Gürcan

(1)

(1)

Basin, Davis A.

(1)

Batchelor, A. W. (Andrew W.)

(1)

(1)

Bonin, Hinrich E. G.

(1)

Bothe, Hans-Werner.

(1)

Bots, P. W. G. (Pieter W. G.)

(1)

Brauer, Wilfried

(1)

Buydens, L., 1955-

(1)

Camposano, Raul.

(1)

Cohen, Michael F.

(1)

Commission of the European Communities.

(1)

Constable, Robert L.

(1)

(1)

Craigen, Dan, 1953-

(1)

Daly, James, 1948-

(1)

(1)

Eckmiller, Rolf, 1942-

(1)

Farin, Gerald E.

(1)

Gerhart, Susan L.

(1)

(1)

Gordon, Michael J. C., 1948-

(1)

(1)

Halıcı, Uğur.

(1)

(1)

Heusden, Barend van.

(1)

Hinrichs, Klaus H.

(1)

Hsiao, David K., 1933-

(1)

Hung, S. L., 1947-

(1)

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)

(1)

IFIP TC8/WG8.3 Working Conference on Decision Support in Public Administration (1993 : Noordwijkerhout, Netherlands)

(1)

IFIP TC8/WG8.5 Working Conference on Systems Engineering in Public Administration (1993 : Lüneburg, Germany)

(1)

(1)

IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications (11th : 1993 : Ottawa, Ont.)

(1)

IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5) (1992 : Lorne, Vic.)

(1)

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

(1)

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

(1)

International Workshop on Neurobionics (1st : 1992 : Goslar, Germany)

(1)

Interuniversity Micro-Electronics Center.

(1)

Jackson, Paul B.

(1)

(1)

Jorna, René J.

(1)

Kolodner, Janet L.

(1)

Kulisch, Ulrich.

(1)

Lafferty, Edward L.

(1)

Lagendijk, Reginald L.

(1)

MacGregor, Ronald J.

(1)

(1)

Moldovan, Dan I.

(1)

Neuhold, Erich J.

(1)

Nievergelt, Jurg

(1)

Odifreddi, Piergiorgio, 1950-

(1)

Pernici, Barbara.

(1)

Posner, Roland.

(1)

Prakash, N. (Naveen)

(1)

ProQuest (Firm)

(1)

Qin, Yi, author.

(1)

Ralston, Theodore L.

(1)

Rolland, Colette.

(1)

Sacks-Davis, Ron.

(1)

(1)

Schoenmakers, Peter J.

(1)

Sebesta, Robert W.

(1)

Sezan, M. İbrahim.

(1)

Society for Worldwide Interbank Financial Telecommunication.

(1)

Sol, H. G. (Henk G.), 1951-

(1)

Stachowiak, G. W. (Gwidon W.)

(1)

Taylor, J. G. (John Gerald), 1931-2012.

(1)

The University of Manchester (United Kingdom). Department of Electrical Engineering. degree granting institution.

(1)

Traunmüller, R. (Roland)

(1)

Wainer, Stan S.

(1)

Wallace, John R. (John Raymond), 1946-

(1)

Whitaker, Nigel Allen, author.

(1)

Witten, Matthew, 1951-

(1)

Wong, Pak S., author.

(1)

Zamanian, Kamran, author.

(1)

Çiftçibaşı, Turhan.

(1)

Material Type

Language

(37)

(4)

Subject

Electronic books.

(30)

Computer science.

(11)

Conference papers and proceedings.

(8)

Expert systems (Computer science)

(7)

COMPUTERS -- Computer Literacy.

(6)

COMPUTERS -- Computer Science.

(6)

COMPUTERS -- Data Processing.

(6)

COMPUTERS -- Hardware -- General.

(6)

COMPUTERS -- Information Technology.

(6)

COMPUTERS -- Machine Theory.

(6)

COMPUTERS -- Reference.

(6)

(5)

Bilgisayar bilimi.

(4)

Computer graphics.

(3)

(3)

Electronic data processing.

(3)

(3)

(3)

Neural networks (Computer science)

(3)

Bilgisayar bilimi -- Kongreler.

(2)

Computer science -- Congresses.

(2)

Computer science -- Mathematics.

(2)

(2)

(2)

(2)

Image processing.

(2)

(2)

(2)

(2)

Parallel processing (Electronic computers)

(2)

Programmatuurtechniek.

(2)

Public administration Use of Computers

(2)

Software Engineering

(2)

(2)

TECHNOLOGY & ENGINEERING -- Electronics -- Digital.

(2)

TECHNOLOGY & ENGINEERING -- Electronics -- Microelectronics.

(2)

(1)

Adaptives System

(1)

Analise de sistemas.

(1)

Analyse numérique.

(1)

Analytical chemistry -- Data processing.

(1)

Analytische Chemie

(1)

Artificial intelligence Mathematical models

(1)

Automatic theorem proving -- Congresses.

(1)

Automatic theorem proving.

(1)

Bases de données -- Congrès.

(1)

(1)

(1)

Bilgisayar algoritmaları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

Bilgisayar bilimi -- Çalışma ve öğretim.

(1)

Bilgisayar grafikleri.

(1)

(1)

(1)

(1)

(1)

Bulanık mantık.

(1)

Business & Economics.

(1)

C (Bilgisayar program dili).

(1)

C (Computer program language).

(1)

COMPUTERS -- Enterprise Applications -- Business Intelligence Tools.

(1)

COMPUTERS -- Intelligence (AI) & Semantics.

(1)

Calculo (Matematica) -- Intermediario.

(1)

(1)

Chemical analysis Use of Expert systems

(1)

Chemistry, Analytic -- Data processing.

(1)

Chimie analytique -- Informatique.

(1)

Chimie analytique.

(1)

(1)

Computer Science.

(1)

Computer algorithms.

(1)

Computer hardware description languages -- Congresses.

(1)

Computer hardware description languages.

(1)

Computer science -- Study and teaching.

(1)

Computerarchitectuur.

(1)

Computers Design

(1)

Data structures (Computer science).

(1)

(1)

Database management -- Congresses.

(1)

Database management.

(1)

(1)

Decision support systems -- Congresses.

(1)

Decision support systems.

(1)

Deneysel tasarım

(1)

Differential equations, Hyperbolic -- Numerical solutions.

(1)

Differential equations, Hyperbolic.

(1)

Digital computer simulation.

(1)

Economia matematica.

(1)

Economic Theory.

(1)

Economics Game theory.

(1)

Economics, Mathematical.

(1)

Electrical engineering.

(1)

Electromyography.

(1)

Electron optics.

(1)

Electronic publishing -- Congresses.

(1)

Engineering & Applied Sciences.

(1)

Expert systems (Computer science) -- Congresses.

(1)

Expertsystemen.

(1)

Finance Management Use of Computers

(1)

(1)

(1)

(1)

Gedistribueerde gegevensverwerking.

(1)

Geometrische Modellierung.

(1)

Graphics Use of Computers

(1)

Görüntü işleme.

(1)

Hareket algısı (görüş).

(1)

Hongkong (1993)

(1)

Humans Central nervous system Diseases

(1)

Image processing -- Digital techniques.

(1)

Image processing Use of Computers

(1)

Images -- Traitement des -- Techniques numériques.

(1)

Induction (logique) -- Congrès.

(1)

(1)

Informatiesysteemontwikkeling.

(1)

Information storage and retrieval systems -- Congresses.

(1)

Information storage and retrieval systems.

(1)

Inteligência artificial.

(1)

Jeux, Théorie des.

(1)

(1)

(1)

Künstliche Intelligenz

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

Logic, Symbolic and mathematical.

(1)

(1)

Logique symbolique et mathématique -- Congrès.

(1)

Luminosité -- Mesure.

(1)

MATHEMATICS -- Applied.

(1)

MATHEMATICS -- Calculus.

(1)

MATHEMATICS -- Mathematical Analysis.

(1)

Management information systems -- Congresses.

(1)

Management information systems.

(1)

(1)

Mathematica (Computer program language)

(1)

Mathématiques économiques.

(1)

Medicine -- Periodicals.

(1)

Mesures optiques.

(1)

Multitasking (Bilgisayar bilimi).

(1)

Multitasking (Computer science).

(1)

Myoelectric prosthesis.

(1)

(1)

Nesneye dayalı programlama (bilgisayar bilimi).

(1)

Neural Networks (Computer)

(1)

Neural circuitry.

(1)

Neural networks (Computer science) -- Congresses.

(1)

Neural networks (Computer science) -- Mathematics.

(1)

Neural networks (computer science).

(1)

Neurale netwerken.

(1)

(1)

Neuromuscular Diseases -- rehabilitation.

(1)

Neuromuscular diseases -- Patients -- Rehabilitation.

(1)

Neuronales Netz

(1)

Numerical analysis Use of Computers

(1)

Nöral ağlar (bilgisayar bilimi).

(1)

Object-Oriented programming (Computer science).

(1)

Ordinateurs parallèles.

(1)

POLITICAL SCIENCE -- Public Affairs & Administration.

(1)

Parallel computers.

(1)

Parallel programming (Computer science)

(1)

Parallelverarbeitung

(1)

Parallélisme (Informatique)

(1)

(1)

Programacao De Computadores.

(1)

Programlama dilleri (elektronik bilgisayarlar).

(1)

Programmation orientée objets (informatique) -- Congrès.

(1)

Programmation parallèle.

(1)

Programming languages

(1)

Programming languages (electronic computers).

(1)

Prostheses and Implants.

(1)

Public administration -- Congresses.

(1)

Public administration -- Decision making -- Data processing -- Congresses.

(1)

Public administration -- Decision making -- Data processing.

(1)

Public administration.

(1)

Radiométrie optique.

(1)

(1)

Recursion theory.

(1)

(1)

Récursivité, Théorie de la.

(1)

Réseaux nerveux.

(1)

Réseaux neuronaux (Informatique)

(1)

Réseaux neuronaux (Informatique) -- Mathématiques.

(1)

SCIENCE -- Chemistry -- Analytic.

(1)

SCIENCE -- Life Sciences -- Zoology -- General.

(1)

(1)

Simulation par ordinateur.

(1)

Sistemas especialistas.

(1)

Software Engineering.

(1)

Software engineering -- Study and teaching -- Congresses.

(1)

Software engineering -- Study and teaching.

(1)

(1)

(1)

(1)

Surgery -- Periodicals.

(1)

System analysis.

(1)

System design -- Congresses.

(1)

Systems engineering -- Congresses.

(1)

Systems engineering.

(1)

Système expert.

(1)

Système nerveux -- Maladies.

(1)

Systèmes experts (informatique)

(1)

Library

Başkent Library

Shelf Location

Atasev Private Collection

Central Library

Elsevier E-Book Collections

Proquest E-Thesis Collection

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Switch to Cooliris view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

50 Results Found

Subscribe to search results

1 2 3 4 5

Email Address:

Phone Number:

Mobile Carrier:

Data usage warning: You will receive one text message for each title you selected.

Standard text messaging rates apply.

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

Cover image for 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

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

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:

Excerpt:

IFIP transactions. A, Computer science and technology ;

Cover image for Concepts of programming languages

Concepts of programming languages

2.

Concepts of programming languages

by

Sebesta, Robert W.

Format:

Excerpt:

Selected Titles from the Benjamin/Cummings series in Computer Science

Cover image for Motion analysis and image sequence processing

Motion analysis and image sequence processing

3.

Motion analysis and image sequence processing

by

Sezan, M. İbrahim.

Format:

Excerpt:

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

Cover image for Hyperbolic partial differential equations

Hyperbolic partial differential equations

4.

Hyperbolic partial differential equations

by

Witten, Matthew, 1951-

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

Format:

Excerpt:

International series in modern applied mathematics and computer science ;

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

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

5.

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:

Excerpt:

IFIP transactions. A, Computer science and technology ;

Cover image for 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

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

6.

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:

Excerpt:

IFIP transactions. A, Computer science and technology ;

Cover image for 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

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

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:

Excerpt:

IFIP transactions. A, Computer science and technology ;

Cover image for 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

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

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:

Excerpt:

IFIP transactions. A, Computer science and technology ;

Cover image for 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

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

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:

Excerpt:

IFIP transactions. A, Computer science and technology ;

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

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

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:

Excerpt:

IFIP transactions. A, Computer science and technology ;

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

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

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:

Excerpt:

Computer science and scientific computing.

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

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

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:

Excerpt:

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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Search Results Electronic Resources

Search Results Electronic Resources

Email Address:

Phone Number:

Mobile Carrier:

Data usage warning: You will receive one text message for each title you selected.

Standard text messaging rates apply.

Electronic Resources

Fetching Results for Electronic Resources...

Copyright 2014 SirsiDynix - Enterprise Version 4.3 (32169)