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

Narrowed by:

+

Shelf Location: Electronic Library

Author

Sterling, Leon.

(2)

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)

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)

Kinnear, Kenneth E.

(1)

Kirk, David, 1960-

(1)

Koelbel, Charles H.

(1)

Kubiak, Ryszard.

(1)

Leonard, James V.

(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)

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

(28)

Publication Date

-

(6)

(5)

(4)

(3)

(2)

(2)

(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)

Control theory.

(2)

Dynamic programming.

(2)

Electronic books.

(2)

(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)

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)

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 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)

Java (Computer program language)

(1)

Java (Langage de programmation)

(1)

(1)

(1)

Kunstmatige intelligentie.

(1)

Künstliche Intelligenz.

(1)

(1)

Lernendes System.

(1)

Logic programming languages.

(1)

Logiciels -- Développement.

(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 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)

transformation.

(1)

équation récursive.

(1)

Material Type

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

30 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 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:

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

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:

20.

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:

21.

Cover image for An introduction to programming with specifications a mathematical approach

An introduction to programming with specifications a mathematical approach

An introduction to programming with specifications a mathematical approach

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

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:

23.

Cover image for Basic category theory for computer scientists

Basic category theory for computer scientists

Basic category theory for computer scientists

Author

Pierce, Benjamin C.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Data-parallel programming on MIMD computers

Data-parallel programming on MIMD computers

Data-parallel programming on MIMD computers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11