Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

Programming languages (Electronic computers) -- Semantics

Subject

Browse all works related to Programming languages (Electronic computers) -- Semantics.

Home
Subject
Programming languages (Electronic computers) -- S…

"223" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Algebraic informatics

Algebraic informatics: 4th international conference, CAI 2011, Linz, Aus…

by Research Institute for Symbolic Computation, Winkler, Franz, CAI 2011, Linz, Austria)

fromLNCS sublibrary. SL 1, Theoretical computer science and gen…

0 Type: Book

Foundations of Logic Programming

Foundations of Logic Programming

by Lloyd, J. W.

fromArtificial Intelligence

0 Type: Book

Foundations of logic programming

Foundations of logic programming

by Lloyd, J. W., (John Wylie)

fromSymbolic computation

0 Type: Book

Foundations of logic programming

Foundations of logic programming

by Lloyd, John Wylie

fromSymbolic computation : artificial intelligence

0 Type: Book

Foundations of logic programming

Foundations of logic programming

by Lloyd, John Wylie

fromSymbolic computation : artificial intelligence

0 Type: Book

Foundations of logic programming

by Lloyd, J. W., (John Wylie)

fromSymbolic computation

0 Type: Book

Foundations of logic programming

Foundations of logic programming

by Lloyd, J. W., (John Wylie)

fromSymbolic computation

0 Type: Book

Foundations of logic programming

Foundations of logic programming

by Lloyd, J. W., (John Wylie)

fromSymbolic computation

0 Type: Book

Denotational semantics

Denotational semantics: the Scott-Strachey approach to programming langua…

by Stoy, Joseph E.

fromMit Press Series in Computer Science

0 Type: Book

Denotational semantics

Denotational semantics: the Scott-Strachey approach to programming langua…

by Stoy, Joseph E.

fromMit Press Series in Computer Science

0 Type: Book

Denotational semantics

Denotational semantics: the Scott-Strachey approach to programming langua…

by Stoy, Joseph E.

fromMit Press Series in Computer Science

0 Type: Book

Denotational semantics

Denotational semantics: the Scott-Strachey approach to programming langua…

by Stoy, Joseph

fromMit Press Series in Computer Science

0 Type: Book

Denotational semantics

Denotational semantics: the Scott-Strachey approach to programming langua…

by Stoy, Joseph

fromMit Press Series in Computer Science

0 Type: Book

The structure of typed programming languages

The structure of typed programming languages

by Schmidt, David A.

fromFoundations of computing

0 Type: Book

The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using classical and recent research from lambda calculus and type theory, it presents …

Understanding Z

Understanding Z: a specification language and its formal semantics

by Spivey, J. M.

fromCambridge tracts in theoretical computer science

0 Type: Book

Understanding Z

Understanding Z: a specification language and its formal semantics

by Spivey, J. M.

fromCambridge tracts in theoretical computer science

0 Type: Book

Understanding Z

Understanding Z: a Specification Language and its Formal Semantics

by Spivey, J. M.

fromCambridge Tracts in Theoretical Computer Science 3

0 Type: Book

Understanding Z: a specification language and its formal semantics

by Spivey, J. M.

fromCambridge tracts in theoretical computer science

0 Type: Book

Understanding Z

Understanding Z: a specification language and its formal semantics

by Spivey, J. M.

fromCambridge tracts in theoretical computer science

0 Type: Book

Understanding Z

Understanding Z: a specification language and its formal semantics

by Spivey, J. M.

fromCambridge tracts in theoretical computer science

0 Type: Book

1
2
3
4
5
6
7
8
9
10

Subjects

Programming languages (Electr… (223) Langages de programmation -- … (192) Logic programming (25) Programmation logique (21) Programming languages (Electr… (21) Langages de programmation -- … (20) Programming languages (Electr… (20) Semantik (19) Langages de programmation -- … (17) Semantiek (17) COMPUTER PROGRAMMING (16) programmeertalen (16) Natural language processing (… (15) Programmation informatique (15) Programmiersprache (14) Programming languages (Electr… (14) artificial intelligence (14) Cognitive grammar (13) Computer Systems (13) Grammaire cognitive (13) Semantics -- Mathematical mod… (13) Traitement automatique des la… (13) UML (Computer science) (13) UML (Informatique) (13) programming languages (13) Intelligence artificielle (12) Automatic theorem proving (10) Language and logic (10) Pragmatics (10) Sémantique (10) Langage et logique (9) Pragmatique (9) Théorèmes -- Démonstration au… (9) Algebra (8) Data structures (Computer sci… (8) Langages de programmation (8) Compilers (Computer programs) (7) Interactive computer systems (7) Structures de données (Inform… (7) Systèmes conversationnels (in… (7) Text editors (Computer progra… (7) langage de programmation (7) Éditeurs de texte (Logiciels) (7) Algebra, Abstract (6) Algèbre (6) Algèbre abstraite (6) Compiler (6) Computer science -- Mathemati… (6) Digital computer systems (6) Domain-specific programming l… (6) Informatique (6) Informatique -- Mathématiques (6) Langages orientés problème (I… (6) Redex (Computer program langu… (6) Z (Computer program language) (6) logische Programmierung (6) Compilateurs (logiciels) (5) Formale Semantik (5) Natural Language Processing (5) OCaml (Computer program langu… (5) OCaml (Langage de programmati… (5) Python (Computer program lang… (5) Python (Langage de programmat… (5) Uml (5) Z (Langage de programmation) (5) 54.53 programming languages (4) Compiladores, processadores, … (4) Compilation (informatique) (4) Compiler-Compiler (4) Entity-Relationship-Datenmode… (4) Informatik (4) Kognitive Semantik (4) Langage (4) Langages de programmation -- … (4) Logica E Semantica De Program… (4) Natuurlijke-taalverwerking (4) Ontologie (4) Ontology (4) Programmation (4) Programmeren (computers) (4) Programming (4) Programming languages (Electr… (4) Programspråk -- semantik (4) Semantic Web (4) Semantics -- Data processing (4) Semantisches Netz (4) Sémantique -- Informatique (4) Verb (4) Web sémantique (4) computational linguistics (4) langage de programmation -- s… (4) ontology (metaphysics) (4) sémantique langage programmat… (4) théorie des langages (informa… (4) Ada (Computer program languag… (3) Ada (langage de programmation) (3) Algol (3) Axiomatic set theory (3) C++ (Computer program languag… (3) C++ (LANGAGE DE PROGRAMMATION) (3) Charleston <SC, 2006> (3) Cognitieve linguïstiek (3) Datalingvistik (3) Deklarative Programmiersprache (3) Electronic Data Processing (3) Formele semantiek (3) Functional programming langua… (3) Java (Computer program langua… (3) Java (Langage de programmatio… (3) Langage programmation (3) Langages de programmation fon… (3) Lingüística cognitiva (gramát… (3) Logic programming -- Congress… (3) Programmation (Mathématiques) (3) Programmation logique -- Cong… (3) Programming: general (3) Proof theory (3) Semántica -- Modelos matemáti… (3) Theorie (3) Théorie axiomatique des ensem… (3) Théorie de la preuve (3) Werkwoorden (3) sémantique dénotationnelle (3) sémantique langage (3) 54.10 theoretical informatics (2) Abstract algebra - For comput… (2) Algebraische Struktur (2) Algebraïsche taalkunde (2) COMPILER (PROGRAMMIERSPRACHEN) (2) COMPUTER SCIENCE/Programming … (2) COMPUTERS -- Programming (2) COMPUTERS -- Programming Lang… (2) Computational linguistics -- … (2) Computer Science (2) Computer logic (2) Computer logic -- Congresses (2) Computerlinguistik (2) Electronic data processing --… (2) FORTRAN (2) Funktionale Semantik (2) Interpretation (2) LISP (2) Lenguajes de programación (Or… (2) Linguistique (2) Linguistique informatique (2) Linguistique informatique -- … (2) Logique (2) Logique informatique -- Congr… (2) Naturel (2) Natürliche Semantik (2) Natürliche Sprache (2) Ordinateur (2) PASCAL (2) Programming languages (Comput… (2) Programming languages -- Sema… (2) Programspråk (2) RML (2) Relational Meta-Language (2) RÉCURSION (2) SNOBOL (2) Specific machine macro and as… (2) Syntax (2) Sémantique formelle (2) Sémantique naturelle (2) Type theory (2) Universelle Algebra (2) WORTBEDEUTUNG + BEDEUTUNGSWAN… (2) natural language computer sys… (2) récursivité (2) semantics (2) structure langage (2) syntaxe langage (2) sémantique algébrique (2) sémantique opérationnelle (2) (Produktform)Electronic book … (1) (VLB-FS)answer set programming (1) (VLB-FS)code generation (1) (VLB-FS)constraint languages (1) (VLB-FS)constraint programming (1) (VLB-FS)dataflow analysis (1) (VLB-FS)declarative programmi… (1) (VLB-FS)functional programming (1) (VLB-PF)WW: Medienkombination (1) (VLB-WG)561: Sprachwissenscha… (1) (VLB-WN)9561 (1) (Zielgruppe)Fachpublikum/ Wis… (1) AI (1) Abstrait (1) Agenter (datorprogram) (1) Algebra -- Congresses. -- Dat… (1) Algebra -- Data processing (1) Algebra abstrakcyjna (1) Algorithme (1) Algèbre -- Congrès. -- Inform… (1) Algèbre -- informatique (1) Análisis del discurso -- proc… (1) Approximation (1) Artificiel (1) Artificiell intelligens (1) Bases de données déductives (1) Beweistheorie (1) COMPUTER SCIENCE/Theoretical … (1) Calcul (1) Calcul des prédicats (1) Compiladores (1) Compréhension (1) Computer programming -- Seman… (1) Computers (Software) (1) Connaissance (1) Contexte (1) Controle (1) Discours (1) Domaine (1) Einführung (1) Elektronisk databehandling (1) Engels (1) Entrepôts de données (1) Estructura de datos (Ciencia … (1) Evaluation (1) Fonction (1) Formale Sprache (1) Formel (1) Formele logica (1) Formele talen (1) Grammaire (1) Graph theory (1) Génie logiciel (1) HRDM (1) HYPOPL (1) Informatie- en communicatiete… (1) Information and Communication… (1) Informatyka -- matematyka (1) Intelligence (1) Intel·ligència artificial (1) Java -- programming (1) Języki programowania -- seman… (1) Kognitionswissenschaft (1) Kontrollfluss (1) LANGUAGE ARTS & DISCIPLINES -… (1) LANGUAGE ARTS & DISCIPLINES /… (1) Lambda calculus (1) Lambda-Kalkül (1) Lambda-calcul (1) Langage -- Compréhension (1) Langage déclaratif (1) Langage naturel, Traitement d… (1) Langages de programmation déc… (1) Lenguaje natural (Inteligenci… (1) Lenguajes de programación (Co… (1) Lenguajes de programación (Co… (1) Lenguajes de programación -- … (1) Lexicology. Semantics (1) Linguistique mathématique (1) Lingüística computacional (1) Llenguatge de programació (1) Llenguatge i lògica (1) Llenguatge natural (1) Llenguatge natural -- Tractam… (1) Llenguatges de programació --… (1) Logic, Symbolic and mathemati… (1) Logik (1) Logique symbolique et mathéma… (1) Logisch programmeren (1) MESS (1) Methode (1) Modele (1) Natursprogsbehandling (1) Nichtmonotones Schließen (1) OBJ (1) Ordinateurs -- Programmation (1) PARAMÉTRIQUE (1) PROGRAMMIERSPRACHEN (1) Parole (1) Positivisme lògic (1) Procesamiento en lenguaje nat… (1) Programación (Computadoras el… (1) Programmation (Informatique) … (1) Programmation déclarative (1) Programmation déclarative -- … (1) Programmation fonctionnelle (1) Programmation parallèle (1) Programming languages (Comput… (1) Programming languages -- Synt… (1) Programmverifikation (1) Programspråk -- syntax (1) Programvara (1) QE-III (1) REFERENCE -- Questions & Answ… (1) Reasoning (1) Reconnaissance (1) Recursion theory (1) Redeneren (1) Redex (1) Representation (1) SOL-C (1) Semàntica (1) Semántica -- Informática (1) Semántica -- proceso de datos (1) Software Engineering (1) Specific computer programming… (1)

Contributor

Schalley, Andrea C. (13) Andrews, James H. (11) Hennessy, Matthew (11) Pettersson, Mikael (11) Clifford, James (9) Nielson, Flemming (9) Nielson, Hanne Riis (9) Allen, James (8) Forsythe, Alexandra I. (7) Lee, Peter (7) Malcolm, Grant (7) Milne, Robert (7) Mosses, Peter (7) Plummer, Robert P. (7) Reps, Thomas W., (Thomas Will… (7) Strachey, Christopher (7) Felleisen, Matthias (6) Findler, Robert Bruce (6) Flatt, Matthew (6) Goguen, Joseph (6) Melichar, B., (Bǒrivoj) (6) Spivey, J. M. (6) van Hentenryck, Pascal (6) Donzeau-Gouge, Véronique (5) Hardin, Therese (5) Jaume, Mathieu (5) Mosses, Peter D. (5) PADL 2006:, Charleston, S.C.) (5) Pagan, Frank G. (5) Pessaux, Francois (5) Lloyd, J. W., (John Wylie) (4) Organick, Elliott I., (Elliot… (4) Organick, Elliott Irving (4) Tennent, R. D. (4) Winskel, G., (Glynn) (4) Alblar, H. (3) Dahl, Veronica (3) Droste, Manfred (3) Fiore, Marcelo P. (3) Gunter, Carl A. (3) Gurevich, Yuri (3) Pilehvar, Mohammad Taher (3) Saint-Dizier, Patrick (3) Song, Il-Yeol (3) Spaccapietra, S. (3) Stoy, Joseph E. (3) Vink, Erik de (3) Winskel, Glynn (3) Zimányi, Esteban (3) Alblas, H. (2) Allen, James F. (2) Camacho-Collados, José (2) Cambridge University Press (2) Ginzburg, Jonathan (2) Gordon, Michael J. C. (2) International Summer School o… (2) International Workshop on Nat… (2) Lloyd, John Wylie (2) Stoy, Joseph (2) Tbilisi Symposium on Logic, L… (2) Watt, David A., (David Anthon… (2) Alblas, Henk (1) Alferes, José Júlio (1) Bakker, J. W. de, (Jacobus Wi… (1) Bakker, Jaco de (1) Bakker, Jacobus Willem de (1) CAI 2011, Linz, Austria) (1) Clifford, J. (1) Comacho-Collados, Jose (1) Dahlgren, Kathleen (1) Girard, Jean-Yves (1) Goguen, J. A. (1) Goguen, Joseph A. (1) Harper, Robert (1) Hesselink, Wim H. (1) Horton, John (1) International Summer School o… (1) International Summer School o… (1) International Summer School o… (1) International Symposium on Pr… (1) International Workshop on Nat… (1) Lloyd, J. W. (1) M.I.T. Press (1) Malcom, G. (1) PADL (Symposium), Charleston,… (1) PADL 2006 (1) PADL, Charleston, SC (1) Pereira, Luís Moniz (1) ProQuest (Firm) (1) Research Institute for Symbol… (1) Schmidt, David A. (1) Tennent, R.D., (Robert D.) (1) Winkler, Franz (1) Winskel, G. (1) ebrary, Inc (1)

Publisher

MIT Press (50) Cambridge University Press (42) Springer (29) Prentice Hall (12) Springer-Verlag (12) Mouton de Gruyter (11) Academic Press (7) Wiley (7) Chapman and Hall (6) J. Wiley (6) Benjamin/Cummings (5) Gordon and Breach Science Pub… (3) John Wiley and Sons (3) North-Holland (3) The MIT Press (3) Wiley-ISTE (3) Benjamin/Cummings Pub. Co (2) CSLI Publications (2) Cambridge Univ. Press (2) De Gruyter Mouton (2) Distributed in the USA by Hal… (2) ISTE Ltd (2) Morgan & Claypool Publishers (2) Sole distributors for the USA… (2) Wiley & Sons (2) Benjamin Cummings (1) Benjamin/Cummings Publishing … (1) Chapman and Hall (etc.) (1) De Gruyter (1) FoLLI (1) J. Wiley & Sons (1) Kluwer Academic (1) MIT (1) Packt Publishing (1) Routledge Taylor & Francis Gr… (1) Springer Berlin Heidelberg (1) The Benjamin-Cummings (1) publisher not identified (1)

Year

2021 (7) 2020 (1) 2013 (1) 2012 (5) 2011 (2) 2009 (10) 2006 (8) 2005 (1) 2004 (16) 2001 (1) 1999 (11) 1998 (2) 1996 (16) 1995 (8) 1994 (3) 1993 (12) 1992 (26) 1991 (13) 1990 (17) 1989 (8) 1988 (15) 1987 (7) 1984 (2) 1981 (7) 1979 (2) 1978 (8) 1977 (2) 1976 (5) 1900 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type