Search Results for programmation.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

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)

Language

(29)

(2)

Publication Date

-

(6)

(5)

(4)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

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)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

33 Results Found

Subscribe to search results

1 2 3

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.

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

13.

Cover image for Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Author

Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Logic programming proceedings of the twelfth International Conference on Logic Programming

Logic programming proceedings of the twelfth International Conference on Logic Programming

Logic programming proceedings of the twelfth International Conference on Logic Programming

Author

Sterling, Leon.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for The High performance Fortran handbook

The High performance Fortran handbook

The High performance Fortran handbook

Author

Koelbel, Charles H.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for From logic to logic programming

From logic to logic programming

From logic to logic programming

Author

Doets, Kees.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Logic programming proceedings of the eleventh International Conference on Logic Programming

Logic programming proceedings of the eleventh International Conference on Logic Programming

Logic programming proceedings of the eleventh International Conference on Logic Programming

Author

Van Hentenryck, Pascal.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for The formal semantics of programming languages an introduction

The formal semantics of programming languages an introduction

The formal semantics of programming languages an introduction

Author

Winskel, G. (Glynn)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Logic programming languages constraints, functions, and objects

Logic programming languages constraints, functions, and objects

Logic programming languages constraints, functions, and objects

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for A grammatical view of logic programming

A grammatical view of logic programming

A grammatical view of logic programming

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Concurrent constraint programming

Concurrent constraint programming

Concurrent constraint programming

Author

Saraswat, Vijay.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Logic programming proceedings of the Tenth International Conference on Logic Programming

Logic programming proceedings of the Tenth International Conference on Logic Programming

Logic programming proceedings of the Tenth International Conference on Logic Programming

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Graphics gems III

Graphics gems III

Graphics gems III

Author

Kirk, David, 1960-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Lazy functional languages abstract interpretation and compilation

Lazy functional languages abstract interpretation and compilation

Lazy functional languages abstract interpretation and compilation

Author

Burn, Geoffrey.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11