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

000000000000DEFAULT_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.

13.

Advances in genetic programming. Vol. 2 için kapak resmi

Advances in genetic programming. Vol. 2

Advances in genetic programming. Vol. 2

Yazar

Kinnear, Kenneth E. Angeline, Peter J.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Logic programming proceedings of the twelfth International Conference on Logic Programming için kapak resmi

Logic programming proceedings of the twelfth International Conference on Logic Programming

Logic programming proceedings of the twelfth International Conference on Logic Programming

Yazar

Sterling, Leon.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

The High performance Fortran handbook için kapak resmi

The High performance Fortran handbook

The High performance Fortran handbook

Yazar

Koelbel, Charles H.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

From logic to logic programming için kapak resmi

From logic to logic programming

From logic to logic programming

Yazar

Doets, Kees.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Logic programming proceedings of the eleventh International Conference on Logic Programming için kapak resmi

Logic programming proceedings of the eleventh International Conference on Logic Programming

Logic programming proceedings of the eleventh International Conference on Logic Programming

Yazar

Van Hentenryck, Pascal.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

The formal semantics of programming languages an introduction için kapak resmi

The formal semantics of programming languages an introduction

The formal semantics of programming languages an introduction

Yazar

Winskel, G. (Glynn)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

A grammatical view of logic programming için kapak resmi

A grammatical view of logic programming

A grammatical view of logic programming

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Concurrent constraint programming için kapak resmi

Concurrent constraint programming

Concurrent constraint programming

Yazar

Saraswat, Vijay.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Logic programming languages constraints, functions, and objects için kapak resmi

Logic programming languages constraints, functions, and objects

Logic programming languages constraints, functions, and objects

Yazar

Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Logic programming proceedings of the Tenth International Conference on Logic Programming için kapak resmi

Logic programming proceedings of the Tenth International Conference on Logic Programming

Logic programming proceedings of the Tenth International Conference on Logic Programming

Yazar

International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Graphics gems III için kapak resmi

Graphics gems III

Graphics gems III

Yazar

Kirk, David, 1960-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Warren's abstract machine a tutorial reconstruction için kapak resmi

Warren's abstract machine a tutorial reconstruction

Warren's abstract machine a tutorial reconstruction

Yazar

Aït-Kaci, Hassan, 1954-

Yer Numarası

ONLINE

Elektronik Erişim

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

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