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 Elsevier E-Book Collections

+

Shelf Location: Elsevier E-Book Collections

Author

Zelkowitz, Marvin V., 1945-

(23)

Yovits, M. C. (Marshall Clinton)

(22)

Rubinoff, Morris.

(10)

Gabbay, Dov M., 1945-

(9)

(7)

Woods, John (John Hayden)

(7)

Benthem, Johan van, 1949-

(4)

Kulisch, Ulrich.

(3)

Leondes, Cornelius T.

(3)

Miranker, Willard L.

(3)

Nalwa, Hari Singh, 1954-

(3)

Ortega, James M., 1932-

(3)

Zelkowitz, Marvin V., 1945- editor.

(3)

Akansu, Ali N., 1958-

(2)

Bentley, Peter, 1972-

(2)

Bergstra, J. A.

(2)

Budowle, Bruce, 1953-

(2)

Carnegie Mellon University. Computer Science Department.

(2)

Catlow, C. R. A. (Charles Richard Arthur), 1947-

(2)

Claesen, Luc J. M.

(2)

(2)

Devillers, James, 1956-

(2)

Dorst, Leo, 1958-

(2)

Eckmiller, Rolf, 1942-

(2)

Fontijne, Daniel.

(2)

Gelenbe, Erol, 1945-

(2)

Hargittai, István.

(2)

(2)

(2)

Kanal, Laveen N.

(2)

Mann, Stephen, 1963-

(2)

Melton, Jim, 1946-

(2)

Meulen, Alice G. B. ter.

(2)

Mintzes, Joel J.

(2)

Novak, Joseph Donald.

(2)

Odifreddi, Piergiorgio, 1950-

(2)

(2)

Rodin, Ervin Y., 1932-

(2)

Rosenfeld, Azriel, 1931-

(2)

(2)

Sites, Richard L.

(2)

(2)

Tarassenko, Lionel.

(2)

Wandersee, James H.

(2)

Wechsler, Harry, 1948-

(2)

Weilkiens, Tim.

(2)

Witek, Richard.

(2)

Zedan, H. S. M.

(2)

Zeller, Andreas.

(2)

ADHS 06 (2006 : Alghero, Italy)

(1)

Abdel-Hameed, Mohamed S.

(1)

Abdulhalim, Ibrahim.

(1)

Academia Republicii Socialiste România.

(1)

Adamatzky, Andrew.

(1)

(1)

Adriaans, Pieter.

(1)

Adriaens, Geert.

(1)

Aghajan, Hamid K.

(1)

Agnew, David, 1947-

(1)

Agterberg, F. P.

(1)

(1)

Alder, B. J., editor.

(1)

Alefeld, G., 1941-

(1)

Aleksander, Igor.

(1)

Allen, Arnold O.

(1)

Alt, Franz, 1938-

(1)

Ames, William F.

(1)

(1)

Andress, Jason.

(1)

Anholt, Robert Rene Henri, 1951-

(1)

Arnold, A. (André), 1945-

(1)

(1)

(1)

Attenborough, Mary (Mary Patricia), 1954-

(1)

Augusto, Juan Carlos.

(1)

Aumann, Robert J.

(1)

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

(1)

(1)

Bakaev, Nikolai Yu.

(1)

(1)

Ball, Stuart R., 1956-

(1)

Banerjee, Rahul, editor.

(1)

Bankman, I. N. (Isaac N.)

(1)

Barbosa-Póvoa, A.

(1)

Barclay, Kenneth A., 1947-

(1)

Barlotti, A. (Adriano), 1923-

(1)

(1)

Batchelor, A. W. (Andrew W.)

(1)

(1)

Bean, James (James D.)

(1)

(1)

Beck, Robert E., 1941-

(1)

Beeger, Robert F.

(1)

Bellman, Richard, 1920-1984.

(1)

(1)

Berman, Abraham.

(1)

Bernstein, Philip A.

(1)

Berztiss, Alfs T. Specification and implementation of abstract data types.

(1)

Betz, Charles T.

(1)

Blackburn, Patrick, 1959-

(1)

Bleistein, Norman.

(1)

Boden, Margaret A.

(1)

Bonin, Hinrich E. G.

(1)

Bothe, Hans-Werner.

(1)

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

(1)

Bouchaud, Jean-Philippe, 1962-

(1)

Bouchon-Meunier, B. (Bernadette), 1948-

(1)

(1)

Bourne, John R.

(1)

Bovier, Anton, 1957-

(1)

Bradley, David A., 1966-

(1)

Braunschweig, Bertrand.

(1)

Brawer, Steven, 1941-

(1)

(1)

Britton, Carol, 1947-

(1)

Brodie, Michael L.

(1)

Brown, David C., 1947-

(1)

Browne, Dermot.

(1)

(1)

Bruyn, Christian de, 1940-

(1)

Buchanan, Bruce G. Principles of rule-based expert systems.

(1)

Bukhman, V. E. (Vadim Evgenʹevich), author.

(1)

(1)

Buss, Samuel R.

(1)

Buxton, Stephen.

(1)

Buydens, L., 1955-

(1)

(1)

Börger, E. (Egon), 1946-

(1)

Cahn, R. W. (Robert W.), 1924-2007.

(1)

Callataÿ, Armand M. de, 1935- author.

(1)

Camposano, Raul.

(1)

(1)

(1)

Carroll, John M. (John Millar), 1950-

(1)

Cassandras, Christos G.

(1)

Cau, A. (Antonio)

(1)

Caves, Keith, author.

(1)

Cellary, Wojciech.

(1)

(1)

Chakrabarti, B. K. (Bikas K.), 1952- editor.

(1)

Chandrasekaran, B., 1942-

(1)

Chandrasekaran, B., 1942- Conceptual representation of medical knowledge for diagnosis by computer.

(1)

Chang, Chin-Liang, 1937-

(1)

Chellappa, Rama.

(1)

Chen, Wai-Kai, 1936-

(1)

(1)

Choi, Sung C., 1930-

(1)

Chow, C. C. (Carson C.), editor.

(1)

Cirstea, M. N. (Marcian N.)

(1)

Clarke, A. R. (Ashley Reginald), 1947-

(1)

Clarke, David (David K.)

(1)

Cohen, G. (Gérard), 1951-

(1)

Cohen, Henri, 1945-

(1)

Cohen, Michael F.

(1)

Colbourn, C. J. (Charles J.), 1953-

(1)

Colloquium on Object Technology and System Re-engineering (1998 : Oxford University)

(1)

Colson, Gérard.

(1)

Commission of the European Communities.

(1)

Conference on Human and Machine Vision (1981 : Denver, Colo.)

(1)

Conference on Mechanical Power Engineering (1st : 1977 : Cairo University)

(1)

Conn, P. Michael.

(1)

Connectionist Models Summer School (1990 : University of California, San Diego)

(1)

Conrad, Eric, 1967-

(1)

Cooper, Leon, 1924-

(1)

Cooper, Mary W.

(1)

Cottrell, Garrison Weeks, 1950-

(1)

(1)

Craigen, Dan, 1953-

(1)

(1)

Crook, Keith, author.

(1)

Cusick, Thomas W., 1943-

(1)

(1)

Davis, Joel L., 1942-

(1)

Davis, Martin, 1928-

(1)

Davis, Philip J., 1923-

(1)

Dayhoff, Judith E.

(1)

De Lacy Costello, Ben.

(1)

Dechter, Rina, 1950-

(1)

Demeyer, Serge.

(1)

Denis, Michel, 1943-

(1)

Dietrich, Eric.

(1)

Doake, Jill, 1946-

(1)

Dominus, Mark Jason, 1969-

(1)

Dongarra, J. J.

(1)

Dorsey, J. (Julie)

(1)

Douglass, Bruce Powel.

(1)

Drusinsky, Doron.

(1)

Ducasse, Stéphane.

(1)

Duda, Richard O. Principles of rule-based expert systems.

(1)

Dykes, J. (Jason)

(1)

(1)

Dōyama, Masao, 1927-

(1)

Eastman, Charles M.

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

Eberhardt, C. N. (Colin Nigel), 1975-

(1)

Ecole d'été de physique théorique (Les Houches, Haute-Savoie, France) (80th : 2003)

(1)

Ecole d'été de physique théorique (Les Houches, Haute-Savoie, France) (83rd : 2005 : Les Houches, Haute-Savoie, France)

(1)

Ecole d'été de physique théorique (Les Houches, Haute-Savoie, France) (85th : 2006)

(1)

Ege, Raimund K., author.

(1)

El Jai, A. (Abdelhaq), 1948-

(1)

Material Type

Language

(468)

(1)

(1)

(1)

Publication Date

-

(30)

(30)

(29)

(29)

(28)

(24)

(23)

(23)

(22)

(22)

(21)

(20)

(20)

(18)

(17)

(16)

(16)

(16)

(15)

(14)

(14)

(13)

(12)

(11)

(9)

(8)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(5)

(5)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Electronic books.

(466)

COMPUTERS -- Data Processing.

(88)

COMPUTERS -- Computer Science.

(86)

COMPUTERS -- Machine Theory.

(86)

COMPUTERS -- Hardware -- General.

(85)

COMPUTERS -- Computer Literacy.

(84)

COMPUTERS -- Information Technology.

(84)

COMPUTERS -- Reference.

(84)

Conference papers and proceedings.

(56)

(55)

Computer science.

(53)

Electronic data processing.

(52)

Neural networks (Computer science)

(25)

Expert systems (Computer science)

(20)

Artificial intelligence.

(16)

Object-oriented programming (Computer science)

(14)

Parallel processing (Electronic computers)

(13)

COMPUTERS -- General.

(12)

MATHEMATICS -- Infinity.

(12)

MATHEMATICS -- Logic.

(12)

Intelligence artificielle.

(11)

Logic, Symbolic and mathematical.

(11)

Aufsatzsammlung

(10)

Artificial intelligence

(9)

Réseaux neuronaux (Informatique)

(9)

COMPUTERS -- Programming -- Object Oriented.

(8)

Datenverarbeitung

(8)

Electronic book.

(8)

Engineering & Applied Sciences.

(8)

Handbooks and manuals.

(8)

(8)

MATHEMATICS -- Applied.

(8)

MATHEMATICS -- Probability & Statistics -- General.

(8)

COMPUTERS -- Enterprise Applications -- Business Intelligence Tools.

(7)

COMPUTERS -- Intelligence (AI) & Semantics.

(7)

COMPUTERS -- Internet -- Security.

(7)

COMPUTERS -- Networking -- Security.

(7)

COMPUTERS -- Security -- General.

(7)

Computer Science.

(7)

Computer architecture.

(7)

Computer vision.

(7)

(7)

(7)

MATHEMATICS -- General.

(7)

Neural Networks, Computer.

(7)

Parallel programming (Computer science)

(7)

(7)

Systèmes experts (Informatique)

(7)

COMPUTERS -- Software Development & Engineering -- General.

(6)

Computational complexity.

(6)

Computer graphics.

(6)

Computer networks -- Security measures.

(6)

Computer science -- Mathematics.

(6)

Computer security.

(6)

Computer software -- Development.

(6)

Image processing.

(6)

Künstliche Intelligenz

(6)

(6)

Logique symbolique et mathématique.

(6)

Machine theory.

(6)

Neural networks (Computer science) -- Congresses.

(6)

Programmatuurtechniek.

(6)

(6)

Aufsatzsammlung.

(5)

Automates mathématiques, Théorie des.

(5)

COMPUTERS -- Digital Media -- Graphics Applications.

(5)

COMPUTERS -- Image Processing.

(5)

Chemical process control -- Data processing -- Congresses.

(5)

Chemical process control -- Data processing.

(5)

Computer algorithms.

(5)

Computer engineering.

(5)

Computer integrated manufacturing systems -- Congresses.

(5)

Computer integrated manufacturing systems.

(5)

Computer programming.

(5)

(5)

Debugging in computer science.

(5)

Expertsystemen.

(5)

Kunstmatige intelligentie.

(5)

(5)

Neurale netwerken.

(5)

Neuronales Netz

(5)

Object-oriented methods (Computer science)

(5)

Operating systems (Computers)

(5)

PHILOSOPHY -- Logic.

(5)

PHOTOGRAPHY -- Techniques -- Digital.

(5)

TECHNOLOGY & ENGINEERING -- Chemical & Biochemical.

(5)

TECHNOLOGY & ENGINEERING -- Engineering (General)

(5)

TECHNOLOGY & ENGINEERING -- Imaging Systems.

(5)

UML (Computer science)

(5)

(4)

COMPUTERS -- Neural Networks.

(4)

COMPUTERS -- Programming -- Open Source.

(4)

COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing.

(4)

COMPUTERS -- Software Development & Engineering -- Tools.

(4)

Computer-aided design.

(4)

Data recovery (Computer science)

(4)

Database management.

(4)

Evolutionary computation.

(4)

(4)

Logic -- History.

(4)

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

(4)

(4)

Natural language processing (Computer science)

(4)

Numerical analysis.

(4)

Numerische Mathematik

(4)

Numerisches Verfahren.

(4)

Parallel processing (Electronic computers) -- Congresses.

(4)

(4)

SCIENCE -- Chemistry -- Industrial & Technical.

(4)

Science -- Data processing.

(4)

Software architecture.

(4)

(4)

Supercomputers.

(4)

System analysis.

(4)

Systems engineering.

(4)

TECHNOLOGY & ENGINEERING -- Automation.

(4)

TECHNOLOGY & ENGINEERING -- Material Science.

(4)

TECHNOLOGY & ENGINEERING -- Reference.

(4)

Algebraïsche logica.

(3)

(3)

Artificial intelligence -- Industrial applications.

(3)

Automatentheorie.

(3)

Automatic control.

(3)

Automatic theorem proving.

(3)

Bioinformatics.

(3)

COMPUTERS -- Information Theory.

(3)

COMPUTERS -- Optical Data Processing.

(3)

COMPUTERS -- Programming Languages -- General.

(3)

COMPUTERS -- System Administration -- Storage & Retrieval.

(3)

(3)

(3)

Computational complexity -- Congresses.

(3)

Computational linguistics.

(3)

(3)

Computer arithmetic.

(3)

Computer science -- Periodicals.

(3)

Computerarchitektur

(3)

DATA PROCESSING.

(3)

Data encryption (Computer science)

(3)

Data structures (Computer science)

(3)

Electronic digital computers.

(3)

(3)

Evolutionary programming (Computer science)

(3)

Expert systems (Computer science) -- Congresses.

(3)

Expertensystem.

(3)

Formal methods (Computer science)

(3)

(3)

(3)

Inteligência artificial.

(3)

(3)

Interval analysis (Mathematics)

(3)

Iterative methods (Mathematics)

(3)

Java (Computer program language)

(3)

LANGUAGE ARTS & DISCIPLINES -- General.

(3)

(3)

Linguistique informatique.

(3)

Logic, Symbolic and mathematical -- Congresses.

(3)

MATHEMATICS -- Calculus.

(3)

MATHEMATICS -- Mathematical Analysis.

(3)

Management information systems.

(3)

Mathematical statistics.

(3)

(3)

Microprocessors.

(3)

Mustererkennung.

(3)

Natuurlijke-taalverwerking.

(3)

Neural computers.

(3)

Numerische Mathematik.

(3)

Objektorientierte Programmierung

(3)

Online social networks.

(3)

(3)

PSYCHOLOGY -- Cognitive Psychology.

(3)

Parallel computers.

(3)

Parallelle verwerking.

(3)

Parallélisme (Informatique)

(3)

Pattern recognition systems.

(3)

(3)

Programmation orientée objets (informatique)

(3)

Programming languages

(3)

SCIENCE -- Cognitive Science.

(3)

SCIENCE -- Physics -- Crystallography.

(3)

(3)

(3)

Signal processing -- Digital techniques.

(3)

Software reengineering.

(3)

Symbolische logica.

(3)

TECHNOLOGY & ENGINEERING -- Electronics -- Digital.

(3)

TECHNOLOGY & ENGINEERING -- Electronics -- Microelectronics.

(3)

TECHNOLOGY & ENGINEERING -- Robotics.

(3)

Teoria Da Computacao.

(3)

Wiskundige logica.

(3)

ALGOL (Computer program language)

(2)

ARCHITECTURE (COMPUTERS)

(2)

Algebraic logic.

(2)

(2)

(2)

Analyse numérique.

(2)

Approche orientée objet (Informatique)

(2)

Arithmétique interne des ordinateurs.

(2)

Artificial Intelligence.

(2)

Artificial intelligence -- Congresses.

(2)

Library

Başkent Library

{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

468 Results Found

Subscribe to search results

1 2 3 4 5 .. 39

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 Automated theorem proving : a logical basis

Automated theorem proving : a logical basis

13.

Automated theorem proving : a logical basis

by

Loveland, Donald W.

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

Format:

Excerpt:

Fundamental studies in computer science ;

Cover image for Topics in expert system design : methodologies and tools

Topics in expert system design : methodologies and tools

14.

Topics in expert system design : methodologies and tools

by

Guida, Giovanni, 1951-

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

Format:

Excerpt:

Studies in computer science and artificial intelligence ;

Cover image for Concurrency control in distributed database systems

Concurrency control in distributed database systems

15.

Concurrency control in distributed database systems

by

Cellary, Wojciech.

ScienceDirect http://www.sciencedirect.com/science/book/9780444704092
ScienceDirect http://www.sciencedirect.com/science/bookseries/09243542/3

Format:

Excerpt:

Studies in computer science and artificial intelligence ;

Cover image for Principles of logic and logic programming

Principles of logic and logic programming

16.

Principles of logic and logic programming

by

Metakides, George, 1945-

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

Format:

Excerpt:

Studies in computer science and artificial intelligence ;

Cover image for Computers and languages : theory and practice

Computers and languages : theory and practice

17.

Computers and languages : theory and practice

by

Nijholt, Anton, 1946-

ScienceDirect https://www.sciencedirect.com/science/book/9780444704634
ScienceDirect https://www.sciencedirect.com/science/bookseries/09243542/4

Format:

Excerpt:

Studies in computer science and artificial intelligence ;

Cover image for Problem solving : methods, programming, and future concepts

Problem solving : methods, programming, and future concepts

18.

Problem solving : methods, programming, and future concepts

by

German, O. V. (Oleg Vitolʹdovich)

ScienceDirect http://www.sciencedirect.com/science/book/9780444822260
ScienceDirect http://www.sciencedirect.com/science/bookseries/09243542/12

Format:

Excerpt:

Studies in computer science and artificial intelligence ;

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

19.

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 Mathematical algorithms for linear regression

Mathematical algorithms for linear regression

20.

Mathematical algorithms for linear regression

by

Späth, Helmuth.

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

Format:

Excerpt:

Computer science and scientific computing.

Cover image for Numerical methods for initial value problems in ordinary differential equations

Numerical methods for initial value problems in ordinary differential equations

21.

Numerical methods for initial value problems in ordinary differential equations

by

Fatunla, Simeon Ola.

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

Format:

Excerpt:

Computer science and scientific computing.

Cover image for Parallel sorting algorithms

Parallel sorting algorithms

22.

Parallel sorting algorithms

by

Akl, Selim G.

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

Format:

Excerpt:

Notes and reports in computer science and applied mathematics ;

Cover image for Methods of numerical integration

Methods of numerical integration

23.

Methods of numerical integration

by

Davis, Philip J., 1923-

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

Format:

Excerpt:

Computer science and applied mathematics.

Cover image for Self-validating numerics for function space problems : computation with guarantees for differential and integral equations

Self-validating numerics for function space problems : computation with guarantees for differential and integral equations

24.

Self-validating numerics for function space problems : computation with guarantees for differential and integral equations

by

Kaucher, Edgar W.

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

Format:

Excerpt:

Notes and reports in computer science and applied mathematics ;

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 39

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)