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)

Agosti, Stefano, contributor.

(1)

Agrest, Diana, contributor.

(1)

Alinei, Mario, contributor.

(1)

Almansi, Guido, contributor.

(1)

Andersen, Henning, contributor.

(1)

Angeline, Peter J.

(1)

Apostol, Pavel, contributor.

(1)

Apt, Krzysztof R., 1949-

(1)

Archer, Dane, contributor.

(1)

Arigoni, A. O., contributor.

(1)

Arlandi, Gian Franco, contributor.

(1)

Avalle, d\x27Arco Silvio, contributor.

(1)

Aït-Kaci, Hassan, 1954-

(1)

Baitchura, Uzbek, contributor.

(1)

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

(1)

Balachov, Nicolas, contributor.

(1)

Baldi, Paolo, contributor.

(1)

(1)

Battisti, Eugenio, contributor.

(1)

Beckerath, Thea Von, contributor.

(1)

Beluffi, Max, contributor.

(1)

Ben-Amos, Dan, contributor.

(1)

Ben-Porat, Ziva, contributor.

(1)

Benigni, Laura, contributor.

(1)

Bense, Max, contributor.

(1)

Bergadano, Francesco, 1963-

(1)

Berk, Christiaan Alphonsus van den, contributor.

(1)

Bettetini, Gianfranco, contributor.

(1)

Blanchard, Jean-Marc, contributor.

(1)

Blonsky, Marshall, contributor.

(1)

Boguslawski, Andrzej, contributor.

(1)

Bojtàr, Endre, contributor.

(1)

Bolognese, G. A., contributor.

(1)

Bonfantini, Massimo, contributor.

(1)

Bordreuil, S., contributor.

(1)

Bouazis, Charles, contributor.

(1)

Boudarel, R. (René)

(1)

Bremond, Claude, contributor.

(1)

Broadbent, Geoffrey H., contributor.

(1)

Broms, Henry, contributor.

(1)

Browne, Nicholas K., contributor.

(1)

Brunetta, Gian Piero, contributor.

(1)

Bullowa, Margaret, contributor.

(1)

Burn, Geoffrey.

(1)

Buttitta, Antonino, contributor.

(1)

Bär, Eugen, contributor.

(1)

Büky, Béla, contributor.

(1)

Calabrese, Omar, contributor.

(1)

Calude, Christian, contributor.

(1)

Cameron, Eric, contributor.

(1)

Cascetta, A., contributor.

(1)

Cassirer, Peter, contributor.

(1)

Cazimir, Bogdan, contributor.

(1)

Celan, Eugen, contributor.

(1)

(1)

Chatman, Seymour, contributor.

(1)

Chatman, Seymour, editor.

(1)

Chebat, Jean-Charles, contributor.

(1)

Chmielewski, Janusz, contributor.

(1)

Corti, Maria, contributor.

(1)

Csuri, Karoly, contributor.

(1)

Culler, Jonathan, contributor.

(1)

D'Amore, Bruno, contributor.

(1)

Dal Canton, Giuseppina, contributor.

(1)

Damisch, Hubert, contributor.

(1)

De Marinis, Marco, contributor.

(1)

Delmas, J. (Jacques H.)

(1)

Deransart, Pierre.

(1)

Dinu, Mihai, contributor.

(1)

(1)

Dorfles, Gillo, contributor.

(1)

Duffy, Daniel J.

(1)

Dyankov, Bogdan, contributor.

(1)

Eco, Umberto, contributor.

(1)

Eco, Umberto, editor.

(1)

Efron, David, contributor.

(1)

Even-Zohar, Itamar, contributor.

(1)

Falteri, Paola, contributor.

(1)

Fatassi, Alessandro, contributor.

(1)

Fauque, Richard, contributor.

(1)

Finzi, Alessandro, contributor.

(1)

Fokkema, D. W., contributor.

(1)

Fotino, Stanca, contributor.

(1)

Freeman, Elisabeth.

(1)

Freeman, Eric, 1965-

(1)

Fresnault-Deruelle, Pierre, contributor.

(1)

Gambarara, Daniele, contributor.

(1)

Gandelsonas, Mario, contributor.

(1)

Gardelle, Jean, ort. yaz.

(1)

Gebauer, Gunter, contributor.

(1)

Geerts, W., contributor.

(1)

Geninasca, Jacques, contributor.

(1)

Gheorghiu, Mircea, contributor.

(1)

Giovannino, Dino, contributor.

(1)

Gobotaru, Sorin, contributor.

(1)

Golomb, Harai, contributor.

(1)

Gombrich, E.H., contributor.

(1)

Gorun, Irina, contributor.

(1)

Grassi, Letizia, contributor.

(1)

Greenberg, Harold, 1928-

(1)

Grivel, Charles, contributor.

(1)

Guertin, Marcelle, contributor.

(1)

Guichet, P. (Pierre)

(1)

Gunetti, Daniele.

(1)

Gurevich, Ester, contributor.

(1)

Gälliot, Jean le, contributor.

(1)

Hammad, Manar, contributor.

(1)

Hanet, Kari, contributor.

(1)

Hankiss, Elemér, contributor.

(1)

Hatcher, Philip J.

(1)

Helbo, Andre, contributor.

(1)

Hesselgren, Sven, contributor.

(1)

Hewes, Gordon W., contributor.

(1)

Himmelblau, David Mautner, 1923- joint author.

(1)

Hirbour-Paquette, Louise, contributor.

(1)

Indart, Juan Carlos, contributor.

(1)

Ingham, John, Dr.

(1)

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

(1)

Jaeger, Sandina, contributor.

(1)

Jakobson, Roman, contributor.

(1)

Jencks, Charles, contributor.

(1)

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

(1)

Jonathan Cohen, L., contributor.

(1)

Jôzsa, Peter, contributor.

(1)

Kalkofen, Hermann, contributor.

(1)

Kanyö, Zoltân, contributor.

(1)

Kelemen, Janos, contributor.

(1)

King, Catriona.

(1)

Kinnear, Kenneth E.

(1)

Kirk, David, 1960-

(1)

Klapp, Merrie, contributor.

(1)

Klinkenberg, Jean M., editor.

(1)

Klinkenberg, Jean-Marie, contributor.

(1)

Koch, Christian, contributor.

(1)

Koelbel, Charles H.

(1)

Koivumaki, Judith H., contributor.

(1)

Koj, Leon, contributor.

(1)

Kosová, Mariá, contributor.

(1)

Krampen, Martin, contributor.

(1)

Krois, John Michael, contributor.

(1)

Krysinski, Wladimir, contributor.

(1)

Kubiak, Ryszard.

(1)

Laferrière, Daniel, contributor.

(1)

Laganiere, Robert.

(1)

Lal Gupta, Moti, contributor.

(1)

Landowski, Eric, contributor.

(1)

Lange-Seidl, Annemarie, contributor.

(1)

Lanigan, Richard, contributor.

(1)

Laurette, Pierre, contributor.

(1)

Lecointre, Simone, contributor.

(1)

Lehmann, Christian, contributor.

(1)

Leonard, James V.

(1)

Lethbridge, Timothy Christian, 1963-

(1)

Lidov, David, contributor.

(1)

Lieb, Hans-Heinrich, contributor.

(1)

Lifschitz, Vladimir.

(1)

Limentani, Alberto, contributor.

(1)

Lindekens, René, contributor.

(1)

Ljudskanov, A., contributor.

(1)

Llorens, Tomàs, contributor.

(1)

Lonzi, Lidia, contributor.

(1)

Luis Dalda, Juan, contributor.

(1)

Luisa Scalvini, Maria, contributor.

(1)

Magli, Patrizia, contributor.

(1)

Maher, Michael, 1959-

(1)

Maldonado, Tomas, contributor.

(1)

Malmberg, Bertil, contributor.

(1)

Marciszewski, Witold, contributor.

(1)

Marconi, E., contributor.

(1)

Marcus, Solomon, contributor.

(1)

Marin, Louis, contributor.

(1)

Marti Aris, Carlos, contributor.

(1)

Martin, R. M., contributor.

(1)

Martinelli, A., contributor.

(1)

Martinelli, Maurizio, contributor.

(1)

Mattos, Geraldo, contributor.

(1)

Mazur, Marian, contributor.

(1)

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

(1)

McCarthy, John, 1927-2011.

(1)

McLean, William, contributor.

(1)

Meitzer, James D., contributor.

(1)

Merry, Bruce, contributor.

(1)

Messenger, Theodore, contributor.

(1)

Metz, Christian, contributor.

(1)

Miccini, Eugenio, contributor.

(1)

Miceli, Silvana, contributor.

(1)

Miclău, Paul, contributor.

(1)

Minguet, Philippe, contributor.

(1)

Moles, Abraham A., contributor.

(1)

Monnier, Jacques, contributor.

(1)

Morin, Elisabeth, contributor.

(1)

Mucci, Egidio, contributor.

(1)

Muratore, Giorgio, contributor.

(1)

Nasta, Michel, contributor.

(1)

Nattiez, Jean-Jacques, contributor.

(1)

Naud, Gilles, contributor.

(1)

Neuhaus, H. Joachim, contributor.

(1)

Noske, Frits, contributor.

(1)

Language

(30)

(2)

Publication Date

-

(6)

(5)

(4)

(3)

(2)

(2)

(2)

(1)

(1)

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

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

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

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

34 Results Found

Subscribe to search results

1 2 3

0000000000DEFAULT

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.

1.

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:

2.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

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:

4.

Cover image for Warren's abstract machine a tutorial reconstruction

Warren's abstract machine a tutorial reconstruction

Warren's abstract machine a tutorial reconstruction

Author

Aït-Kaci, Hassan, 1954-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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:

6.

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:

7.

Cover image for The Practice of Prolog

The Practice of Prolog

The Practice of Prolog

Author

Sterling, Leon.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Algorithmic program debugging

Algorithmic program debugging

Algorithmic program debugging

Author

Shapiro, Ehud Y.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Optimal expansion of a water resources system

Optimal expansion of a water resources system

Optimal expansion of a water resources system

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Integer programming

Integer programming

Integer programming

Author

Greenberg, Harold, 1928-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11