Search Results for programmation.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

Sterling, Leon.

(2)

(1)

Angeline, Peter J.

(1)

Apt, Krzysztof R., 1949-

(1)

Aït-Kaci, Hassan, 1954-

(1)

Bakker, J. W. de (Jacobus Willem), 1939-

(1)

(1)

Bergadano, Francesco, 1963-

(1)

Boudarel, R. (René)

(1)

Burn, Geoffrey.

(1)

(1)

Delmas, J. (Jacques H.)

(1)

Deransart, Pierre.

(1)

(1)

Duffy, Daniel J.

(1)

Freeman, Elisabeth.

(1)

Freeman, Eric, 1965-

(1)

Gardelle, Jean, ort. yaz.

(1)

Greenberg, Harold, 1928-

(1)

Guichet, P. (Pierre)

(1)

Gunetti, Daniele.

(1)

Hatcher, Philip J.

(1)

Himmelblau, David Mautner, 1923- joint author.

(1)

Ingham, John, Dr.

(1)

International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)

(1)

Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany)

(1)

King, Catriona.

(1)

Kinnear, Kenneth E.

(1)

Kirk, David, 1960-

(1)

Koelbel, Charles H.

(1)

Kubiak, Ryszard.

(1)

Laganiere, Robert.

(1)

Leonard, James V.

(1)

Lethbridge, Timothy Christian, 1963-

(1)

Lifschitz, Vladimir.

(1)

Maher, Michael, 1959-

(1)

Małuszyński, J. (Jan), 1941-

(1)

McCarthy, John, 1927-2011.

(1)

O'Laoghaire, Domhnall T.

(1)

Pierce, Benjamin C.

(1)

Quinn, Michael J. (Michael Jay)

(1)

Rudziński, Roman.

(1)

Rutten, J. J. M. M.

(1)

Safari Tech Books Online

(1)

Saraswat, Vijay.

(1)

Shapiro, Ehud Y.

(1)

(1)

(1)

Sokołowski, S. (Stefan)

(1)

(1)

Van Hentenryck, Pascal.

(1)

Warren, David S.

(1)

Wiley InterScience (Online service)

(1)

Winskel, G. (Glynn)

(1)

Zobrist, George W. (George Winston), 1934-

(1)

Tümünü genişlet

Dil

(29)

(2)

Yayın Yılı

-

(6)

(5)

(4)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

programmation en logique.

(11)

Logic programming.

(5)

Logisch programmeren.

(5)

(5)

Logic programming -- Congresses.

(4)

Logische Programmierung.

(4)

(4)

(4)

Computer programming.

(3)

Prolog (Computer program language)

(3)

(3)

(3)

(3)

programmation avec contrainte.

(3)

programmation parallèle.

(3)

(3)

Computer software -- Development.

(2)

Control theory.

(2)

DOĞRUSAL PROGRAMLAMA.

(2)

Dynamic programming.

(2)

Electronic books.

(2)

Java (Computer program language)

(2)

Java (Langage de programmation)

(2)

(2)

Logiciels -- Développement.

(2)

PROLOG (Programmiersprache)

(2)

Parallel programming (Computer science)

(2)

Programmierung.

(2)

(2)

(2)

(2)

programmation fonctionnelle.

(2)

programmation linéaire.

(2)

(2)

(2)

sémantique langage programmation.

(2)

Approche orientée objet (Informatique)

(1)

Artificial intelligence.

(1)

Aufsatzsammlung.

(1)

Automatic programming (Computer science)

(1)

(1)

(1)

C (Computer program language)

(1)

C++ (Computer program language)

(1)

C++ (Langage de programmation)

(1)

(1)

CEBİR DOĞRUSAL.

(1)

COMPUTERS / Programming / Open Source

(1)

COMPUTERS / Software Development & Engineering / General

(1)

COMPUTERS / Software Development & Engineering / Tools

(1)

Categories (Mathematics)

(1)

Chemical engineering -- Computer simulation.

(1)

(1)

Computer graphics.

(1)

Computer science -- Mathematics.

(1)

Computer simulation.

(1)

Computer software / Development.

(1)

Computer systems Functional programming Programming languages

(1)

Computeralgebra.

(1)

Computers (Software)

(1)

(1)

Constraint programming (Computer science)

(1)

DATAPARALLEL C.

(1)

Debugging in computer science.

(1)

(1)

Dynamische programmering.

(1)

Electronic digital computers.

(1)

(1)

FORTRAN (Computer program language)

(1)

(1)

Financial engineering -- Computer programs.

(1)

Formale Semantik.

(1)

(1)

Functional programming languages.

(1)

Funktionale Programmiersprache.

(1)

(1)

Ganzzahlige Optimierung.

(1)

Genetic programming (Computer science)

(1)

High Performance FORTRAN.

(1)

ISIM (Langage de programmation)

(1)

Implementierung.

(1)

(1)

Ingénierie financière -- Logiciels.

(1)

Integer programming.

(1)

(1)

(1)

Kunstmatige intelligentie.

(1)

Künstliche Intelligenz.

(1)

(1)

Lernendes System.

(1)

Logic programming languages.

(1)

MIMD computers -- Programming.

(1)

(1)

Machine learning.

(1)

Mathematical optimization.

(1)

McCarthy, John A. (Philologe)

(1)

McCarthy, John, 1927-2011.

(1)

Mehrprozessorsystem.

(1)

Numerical calculations.

(1)

Object-oriented methods (Computer science)

(1)

Object-oriented programming (Computer science)

(1)

Optimale Kontrolle.

(1)

(1)

Ordinateurs -- Programmation.

(1)

(1)

Parallelprogrammering.

(1)

Parallelverarbeitung.

(1)

Programmation automatique.

(1)

Programmation dynamique.

(1)

Programmation orientée objets (informatique) -- Simulation, Méthodes de.

(1)

Programmeertalen.

(1)

Programmiersprache.

(1)

Programming (Mathematics)

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

Resolventenprinzip.

(1)

Ries, Adam. Coss.

(1)

SQL (Computer program language)

(1)

SQL (Langage de programmation)

(1)

Santa Margherita Ligure (1994)

(1)

(1)

(1)

(1)

Simulation par ordinateur.

(1)

Softwares (projeto)

(1)

Softwarespezifikation.

(1)

Systems engineering.

(1)

(1)

(1)

(1)

Water resources development -- Mathematical models.

(1)

Wiskundige logica.

(1)

(1)

(1)

apprentissage machine.

(1)

(1)

calcul numérique.

(1)

calcul propositionnel.

(1)

calculabilité.

(1)

(1)

compilateur Pascal.

(1)

compilateur parallèle.

(1)

(1)

conception langage programmation.

(1)

(1)

(1)

développement logiciel.

(1)

(1)

(1)

grammaire attribuée.

(1)

génération langage.

(1)

géométrie 3D.

(1)

haute performance.

(1)

(1)

(1)

intelligence artificielle.

(1)

interprétation abstraite.

(1)

(1)

(1)

langage concurrent.

(1)

langage fonctionnel.

(1)

langage naturel.

(1)

langage programmation.

(1)

langage sous contrainte.

(1)

logique 1er ordre.

(1)

logique ordre élevé.

(1)

(1)

machine Warren.

(1)

(1)

métaprogrammation.

(1)

méthode numérique.

(1)

(1)

(1)

programmation Fortran.

(1)

programmation PROLOG.

(1)

programmation dynamique.

(1)

programmation génétique.

(1)

programmation nombre entier.

(1)

programmation par objets.

(1)

programme apprentissage.

(1)

(1)

(1)

raisonnement non monotone.

(1)

(1)

ressource hydraulique.

(1)

(1)

résolution linéaire.

(1)

spécification formelle.

(1)

spécification.

(1)

synthèse programme.

(1)

sémantique dénotationnelle.

(1)

sémantique formelle.

(1)

sémantique opérationnelle.

(1)

technique programmation.

(1)

test compilateur.

(1)

(1)

théorie catégorie.

(1)

théorie domaine.

(1)

théorie définissabilité.

(1)

théorème Gödel.

(1)

traitement image.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

33 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3

000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

25.

Basic category theory for computer scientists için kapak resmi

Basic category theory for computer scientists

Basic category theory for computer scientists

Yazar

Pierce, Benjamin C.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Data-parallel programming on MIMD computers için kapak resmi

Data-parallel programming on MIMD computers

Data-parallel programming on MIMD computers

Yazar

Hatcher, Philip J. Quinn, Michael J. (Michael Jay)

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267471

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy için kapak resmi

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

Yazar

McCarthy, John, 1927-2011. Lifschitz, Vladimir.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

An introduction to programming with specifications a mathematical approach için kapak resmi

An introduction to programming with specifications a mathematical approach

An introduction to programming with specifications a mathematical approach

Yazar

Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Lazy functional languages abstract interpretation and compilation için kapak resmi

Lazy functional languages abstract interpretation and compilation

Lazy functional languages abstract interpretation and compilation

Yazar

Burn, Geoffrey.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

The Practice of Prolog için kapak resmi

The Practice of Prolog

The Practice of Prolog

Yazar

Sterling, Leon.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Algorithmic program debugging için kapak resmi

Algorithmic program debugging

Algorithmic program debugging

Yazar

Shapiro, Ehud Y.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Optimal expansion of a water resources system için kapak resmi

Optimal expansion of a water resources system

Optimal expansion of a water resources system

Yazar

O'Laoghaire, Domhnall T. Himmelblau, David Mautner, 1923- joint author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Integer programming için kapak resmi

Integer programming

Integer programming

Yazar

Greenberg, Harold, 1928-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11