Explore: Sémantique Langage Programmation
Discover books, insights, and more — all in one place.
Learn more about Sémantique Langage Programmation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “s%C3%A9mantique-langage-programmation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Categories, types, and structures
By Andrea Asperti
“Categories, types, and structures” Metadata:
- Title: ➤ Categories, types, and structures
- Author: Andrea Asperti
- Language: English
- Number of Pages: Median: 306
- Publisher: MIT Press
- Publish Date: 1991
- Publish Location: Cambridge, Mass
“Categories, types, and structures” Subjects and Themes:
- Subjects: ➤ Categories (Mathematics) - Programming languages (Electronic computers) - Categoriee n (wiskunde) - Kategorie (Mathematik) - Programmiersprache - Langages de programmation - Cate gories (Mathe matiques) - Type - Datenstruktur - Se mantique langage programmation - Categori as (Matema ticas) - The orie cate gorie - Langage programmation - Kategorientheorie - Cate gorie - Structure - Théorie catégorie - Catégories (mathématiques) - Sémantique langage programmation - Catégorie - Categorieën (wiskunde) - Categorías (Matemáticas) - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL2220345M
- Online Computer Library Center (OCLC) ID: 20755899
- Library of Congress Control Number (LCCN): 89049085
- All ISBNs: 9780262011259 - 0262011255
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Categories, types, and structures at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Initial computability, algebraic specifications, and partial algebras
By Horst Reichel
“Initial computability, algebraic specifications, and partial algebras” Metadata:
- Title: ➤ Initial computability, algebraic specifications, and partial algebras
- Author: Horst Reichel
- Language: English
- Number of Pages: Median: 221
- Publisher: ➤ Oxford University Press - Clarendon Press - de Gruyter GmbH, Walter - Akademie-Verlag
- Publish Date: 1987 - 1988 - 2022
- Publish Location: ➤ Oxford - New York - Berlin - Oxford [England]
“Initial computability, algebraic specifications, and partial algebras” Subjects and Themes:
- Subjects: ➤ Computer science - Data structures (Computer science) - Mathematics - Partial algebras - Programming languages (Electronic computers) - Semantics - Algèbre partielle - Sémantique langage programmation - Spécification algébrique - Structure donnée - Type abstrait - Informatique - Mathématiques - Langages de programmation - Sémantique - Computer science, mathematics - Computable functions
Edition Identifiers:
- The Open Library ID: OL2724294M - OL2128194M - OL37337455M - OL46061659M
- Online Computer Library Center (OCLC) ID: 13903964
- Library of Congress Control Number (LCCN): 88190202 - 86017952
- All ISBNs: ➤ 9783112573426 - 9783055000393 - 9780198538066 - 0198538065 - 9783112573419 - 3112573412 - 3055000390 - 3112573420
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Initial computability, algebraic specifications, and partial algebras at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings
By Kesav V. Nori
“Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings” Metadata:
- Title: ➤ Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings
- Author: Kesav V. Nori
- Language: English
- Number of Pages: Median: 420
- Publisher: Springer-Verlag - Springer
- Publish Date: 1990 - 1991
- Publish Location: New York - Berlin
“Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings” Subjects and Themes:
- Subjects: ➤ Congresses - Computer science - Computer software - Algorithme géométrique - Informatique répartie - Sémantique langage programmation - Congrès - Automate - Langage formel - Informatique - Théorie programmation - Informatica - Concurrence - Programmatuurtechniek - Logiciels - Algorithme parallèle - Logique
Edition Identifiers:
- The Open Library ID: OL19018695M - OL10153383M
- Online Computer Library Center (OCLC) ID: 22917943
- All ISBNs: 9780387534879 - 0387534873
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Mathematical foundations of programming semantics
By Austin Melton
“Mathematical foundations of programming semantics” Metadata:
- Title: ➤ Mathematical foundations of programming semantics
- Author: Austin Melton
- Language: English
- Number of Pages: Median: 395
- Publisher: Springer-Verlag
- Publish Date: 1986
- Publish Location: New York - Berlin
“Mathematical foundations of programming semantics” Subjects and Themes:
- Subjects: ➤ Congresses - Computer programming - Semantics - Programming languages (Electronic computers) - Wiskundige methoden - Programmation - Programmeren (computers) - Sémantique langage programmation - Congrès - Sémantique dénotationnelle - Langages de programmation - Semantiek - Programmation (Informatique) - Ordinateurs - ALGOL 60 - Sémantique
Edition Identifiers:
- The Open Library ID: OL2728132M
- Online Computer Library Center (OCLC) ID: 14705715
- Library of Congress Control Number (LCCN): 86022054
- All ISBNs: 9780387168166 - 0387168168
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mathematical foundations of programming semantics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Programmer avec Scheme
By Jacques Chazarain
“Programmer avec Scheme” Metadata:
- Title: Programmer avec Scheme
- Author: Jacques Chazarain
- Language: fre
- Number of Pages: Median: 753
- Publisher: ➤ International Thomson publishing France
- Publish Date: 1998
“Programmer avec Scheme” Subjects and Themes:
- Subjects: ➤ Scheme (langage de programmation) - Scheme - Lambda calcul - Programmation SCHEME - Sémantique langage programmation - Calcul propositionnel - Programmation fonctionnelle - Scheme (Langage de programmation) - Scheme (Programmiersprache)
Edition Identifiers:
- The Open Library ID: OL8942773M
- Online Computer Library Center (OCLC) ID: 35993695
- All ISBNs: 2841801314 - 9782841801312
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Programmer avec Scheme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Logic of domains
By Guo-Qiang Zhang
“Logic of domains” Metadata:
- Title: Logic of domains
- Author: Guo-Qiang Zhang
- Language: English
- Number of Pages: Median: 259
- Publisher: Birkhauser
- Publish Date: 1991
- Publish Location: Boston
“Logic of domains” Subjects and Themes:
- Subjects: ➤ Programming languages (Electronic computers) - Semantics - Symbolic and mathematical Logic - Logique symbolique - Logique symbolique et mathématique - Funktionale Semantik - Sémantique dénotationnelle - Sémantique langage programmation - Théorie domaine - Programmiersprache - Langages de programmation - Semantischer Bereich - Domaine SFP - Logique mathématique - Sémantique - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL1546213M
- Online Computer Library Center (OCLC) ID: 24068507
- Library of Congress Control Number (LCCN): 91025464
- All ISBNs: 081763570X - 9783764335700 - 376433570X - 9780817635701
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic of domains at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Patrick Cousot
Scientific career Theses Définition interprétative et implantation de langages de programmation (1974) Méthodes itératives de construction et d'approximation
IAE Lille
Management is situated in old town of Lille. IAE Lille participates in Erasmus Programme and also maintains exchange agreements with several universities across
Brian Harris (translation researcher)
naturelle, la traduction automatique et la sémantique". In J. McA'Nulty et al. (eds.), Problèmes de sémantique (Cahier de linguistique 3), ed., Montreal
Kabiye language
Kara: Université de Kara. Pèrè-Kewezima, Essodina (2004). Approche lexico-sémantique du système onomastique du kabiyè, langue gur du Togo (Thèse de doctorat)
Institut Lillois d'Ingénierie de la Santé
University of Lille EA 4072 SELOEN (Sémantique, logique, Enonciation), University of Lille JE 2498 STL (Savoirs, Textes, Langages), University of Lille, UMR 8163
École Centrale de Lille
courses, or be part of the 2+2 year TIME double degree programme. In addition to the Centralien Programme, École Centrale de Lille provides a range of master's
École des arts industriels et des mines
University of Lille EA 4072 SELOEN (Sémantique, logique, Enonciation), University of Lille JE 2498 STL (Savoirs, Textes, Langages), University of Lille, UMR 8163
Paul Gochet
tome 1, Publication de l'Université de Lille III, 1977, 225–240 "La sémantique récursive de Davidson et de Montague", Penser les mathématiques, Apery
University of Lille Doctoral College
(ANR). Applied research is also funded through university-industry joint programmes (CIFRE). It is at the origin of the I-Site (Initiatives for
Lille 2 University of Health and Law
targeting finance students from Skema Business School, Patrimonial management programme targeting students from ISA Lille. Faculté des Sciences Juridiques, Politiques