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

Wiley professional computing

Series

Browse all works related to Wiley professional computing.

Home
Series
Wiley professional computing

"40" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Many-sorted logic and its applications

Many-sorted logic and its applications

fromWiley professional computing

0 Type: Book

Many-sorted logic and its applications

Many-sorted logic and its applications

fromWiley professional computing

0 Type: Book

Many-sorted logic and its applications

Many-sorted logic and its applications

fromWiley professional computing

0 Type: Book

Many-sorted logic and its applications

Many-sorted logic and its applications

by Meinke, K., (Karl), Tucker, J. V., (John V.)

fromWiley professional computing

0 Type: Book

Many-sorted logic and its applications

Many-sorted logic and its applications

by Meinke, Karl

fromWiley professional computing

0 Type: Book

Many-sorted logic and its applications

Many-sorted logic and its applications

by Meinke, K., (Karl), Tucker, J. V., (John V.)

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: A formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Flemming, Riis Nielson, Hanne

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal application

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications: a formal introduction

by Nielson, Hanne Riis, Nielson, Flemming

fromWiley professional computing

0 Type: Book

Semantics with applications

Semantics with applications: a formal introduction

by Nielson, Flemming, Nielson, Hanne R.

fromWiley professional computing

0 Type: Book

1
2

Subjects

Langages de programmation -- … (6) Programming languages (Electr… (6) Formale Semantik (3) Prolog (Langage de programmat… (3) programming languages (3) Bases de données -- Gestion (2) Computers (2) Database management (2) Electronic data processing --… (2) Expert Systems (2) Expert systems (Computer scie… (2) Interactive multimedia (2) Lenguajes de programación -- … (2) Lógica matemática (2) Mathematical logic (2) Mehrwertige Logik (2) Multimédias interactifs (2) Parallelverarbeitung (2) Programmierung (2) Prolog (Computer program lang… (2) Software, Application Programs (2) Systèmes experts (Informatiqu… (2) Traitement réparti (2) artificial intelligence (2) ABSTRACT DATA TYPES (PROGRAMM… (1) ABSTRAKTE DATENTYPEN (PROGRAM… (1) ANALYSE (1) Archivi di dati -- Gestione (1) Archivi di dati -- Organizzaz… (1) BASES DE DONNÉES (SYSTÈMES D'… (1) Computer -- Leistungsanalyse (1) Computer architecture. Operat… (1) Computer networks (1) Computer science -- Mathemati… (1) Computernetwerken (1) Control (1) Control theory (1) Controle (1) D.3 (1) DATABASES (INFORMATION SYSTEM… (1) DATENBANKEN (INFORMATIONSSYST… (1) DATENSTRUKTUREN (1) Databanken (1) Datenbanksystem (1) Datentyp (1) Datenverarbeitungssystem (1) Design (1) ELABORATORI ELETTRONICI -- Li… (1) EXPERT SYSTEMS + KNOWLEDGE-BA… (1) EXPERTENSYSTEME + WISSENSBASI… (1) Elaboratori elettronici -- Va… (1) Electronic digital computers (1) Electronic digital computers … (1) Expertensystem (1) HYPERMEDIA + HYPERTEXT (ELECT… (1) HYPERMÉDIA + HYPERTEXTE (ÉDIT… (1) Hypermedia (1) IMPLEMENTATIONS (COMPUTER SYS… (1) IMPLEMENTATIONS + IMPLANTATIO… (1) IMPLEMENTIERUNGEN + IMPLEMENT… (1) INTELLIGENT SYSTEMS (ARTIFICI… (1) INTELLIGENTE SYSTEME (KÜNSTLI… (1) Informatique (1) Informatique -- Mathématiques (1) Informatyka -- matematyka (1) Intelligence artificielle (1) Intel·ligència artificial (1) Internet (1) Künstliche Intelligenz (1) LEHRBÜCHER (DOKUMENTENTYP) (1) LOGIQUE MULTI-ESPÈCES (LOGIQU… (1) Langages orientés objet (Info… (1) Leistungsbewertung (1) Linguaggi di programmazione (1) Linguaggi di programmazione. … (1) Local Area Networks (1) Logic, Symbolic and mathemati… (1) Logika symboliczna i matematy… (1) Logique symbolique et mathéma… (1) MANUELS POUR L'ENSEIGNEMENT (… (1) MANY-SORTED LOGIC (MATHEMATIC… (1) MEHRSORTENLOGIK (MATHEMATISCH… (1) Matemáticas -- Informática (1) Mathematical Models, Simulati… (1) Miranda (1) Modélisation (1) OBJECT-ORIENTED PROGRAMMING (… (1) OBJEKTORIENTIERTE PROGRAMMIER… (1) Object-oriented programming (1) Object-oriented programming (… (1) Object-oriented programming l… (1) Objektorientierte Programmier… (1) Objektorientierte Programmier… (1) Objektorientierung (1) Onderzoek (1) Operationale Semantik ; SWD-I… (1) Ordinadors -- Fiabilitat (1) Ordinadors -- Matemàtica (1) Ordinadors digitals -- Avalua… (1) Ordinadors electrònics digita… (1) Ordinateurs (1) Ordinateurs -- Évaluation (1) PARALLEL PROCESSING + CONCURR… (1) PARALLELVERARBEITUNG + NEBENL… (1) PROGRAMMATION ORIENTÉE OBJETS… (1) PROLOG (PROGRAMMIERSPRACHEN) (1) PROLOG (PROGRAMMING LANGUAGES) (1) Parallel programming (1) Parallélisme (Informatique) (1) Performance (1) Probabilités (1) Programació concurrent (1) Programació orientada a l'obj… (1) Programación orientada a obje… (1) Programación orientada al obj… (1) Programmation orientée objet … (1) Programmation orientée objets… (1) Programmation parallèle (1) Programmation parallèle (Info… (1) Programming (1) Programming languages (Electr… (1) Programming: general (1) Prolog (Llenguatge de program… (1) Prototyping (1) Quality (1) Research (1) SPECIFICATIONS (SOFTWARE ENGI… (1) SPEZIFIKATIONEN (SOFTWARE ENG… (1) SPÉCIFICATIONS + CONCEPTS DE … (1) STRUCTURES DE DONNÉES + ORGAN… (1) SYSTÈMES EXPERTS + SYSTÈMES A… (1) SYSTÈMES INTELLIGENTS (INTELL… (1) Semantiek (1) Semàntica -- Models matemàtics (1) Simulation (1) Sistemes de control (1) Sistemi esperti (1) Software Engineering (1) Specific machine macro and as… (1) Statistique (1) Systems (1) Systemsynthese (1) Sztuczna inteligencja (1) Sémantique formelle (1) TEXTBOOKS (DOCUMENT TYPES) (1) THEORY (1) TRAITEMENT PARALLELE + SIMULT… (1) TYPES ABSTRAITS DE DONNÉES (L… (1) Theoretische Informatik (1) Theorie (1) VERIFICATION (SOFTWARE ENGINE… (1) VERIFIKATION (SOFTWARE ENGINE… (1) VÉRIFICATION (GÉNIE LOGICIEL) (1) Wiskundige modellen (1) Wiskundige modellen, simulati… (1) data structures (1) design -- modélisation (1) expertsystemen (1) informatica (1) intelligens rendszerek -- ada… (1) kwaliteit (1) lokale netwerken (1) mathematical models (1) mesure performance (1) ontwerp (1) ordinateur -- performance (1) prestatieniveau (1) programmation logique -- prol… (1) programmation parallèle -- pr… (1) programmation-objet (1) programmation-objet -- type (… (1) regeltheorie (1) réseau file attente (1) software-ontwikkeling (1) systeemanalyse (1) systemen (1) systems analysis (1) sémantique dénotationnelle (1) sémantique opérationnelle (1) théorie file attente (1) type (informatique) (1) validation protocole (1) vérification programme (1) évaluation performance (1)

Contributor

Nielson, Flemming (15) Nielson, Hanne Riis (13) Palsberg, Jens (6) Jain, Raj (5) Schwartzbach, Michael I. (5) Bielawski, Larry (4) Kacsuk, Peter (4) Lewand, Robert (4) Meinke, K., (Karl) (2) Tucker, J. V., (John V.) (2) Wise, Michael J. (2) Meinke, Karl (1) Nielson, Hanne R. (1) Riis Nielson, Hanne (1) Schwartzbach, Michael J. (1)

Publisher

Wiley (17) J. Wiley (9) John Wiley & Sons (7) J. Wiley & Sons (2) John Wiley and Sons (2) J. Wiley and Sons (1) John Wiley (1) Wiley & Sons (1)

Year

1995 (1) 1994 (6) 1993 (8) 1992 (13) 1991 (10)

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