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

ABSTRACT DATA TYPES (PROGRAMMING LANGUAGES)

Subject

Browse all works related to ABSTRACT DATA TYPES (PROGRAMMING LANGUAGES).

Home
Subject
ABSTRACT DATA TYPES (PROGRAMMING LANGUAGES)

"6" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Object-oriented type systems

Object-oriented type systems

by Palsberg, Jens, Schwartzbach, Michael I.

fromWiley professional computing

0 Type: Book

Applications of categories in computer science

Applications of categories in computer science: proceedings of the LMS Symposium, Durham 1991

by Fourman, M. P., Symposium on Applications of Categories in Computer Science, Durham), London Mathematical Society

fromLondon Mathematical Society lecture note series

0 Type: Book

Applications of categories in computer science

Applications of categories in computer science: proceedings of the LMS Symposium, Durham 1991

by Fourman, M. P., London Mathematical Society, Symposium on Applications of Categories in Computer Science, Durham)

fromLondon Mathematical Society lecture note series

0 Type: Book

7th International Conference on Automated Deduction, Napa, Calif., May 14-16, 1984

7th International Conference on Automated Deduction, Napa, Calif., May 14-16, 1984: proceedings

by International Conference on Automated Deduction, Shostak, Robert E.

fromLecture Notes in Computer Science

0 Type: Book

7th International Conference on Automated Deduction, Napa, Calif., May 14-16, 1984

7th International Conference on Automated Deduction, Napa, Calif., May 14-16, 1984: proceedings

by Shostak, Robert E., International Conference on Automated Deduction, (Napa (CA))

fromLecture Notes in Computer Science

0 Type: Book

7th international conference on automated deduction

7th international conference on automated deduction: Napa, California, USA, May 14-16, 1984 : proceedi…

by International Conference on Automated Deduction, Napa, Calif.), Shostak, Robert E.

fromLecture Notes in Computer Science

0 Type: Book

Subjects

ABSTRACT DATA TYPES (PROGRAMM… (6) ABSTRAKTE DATENTYPEN (PROGRAM… (6) TYPES ABSTRAITS DE DONNÉES (L… (6) ABELIAN GROUPS (ALGEBRA) (3) ABELSCHE GRUPPEN (ALGEBRA) (3) ALGORITHMIC PROBLEMS IN GROUP… (3) ALGORITHMISCHE PROBLEME IN DE… (3) AUTOMATED THEOREM PROVING (MA… (3) AUTOMATISCHE BEWEISFÜHRUNG (M… (3) Computer Science (3) DÉMONSTRATION AUTOMATIQUE (LO… (3) GROUPES ABÉLIENS (ALGÈBRE) (3) INFORMATIK + COMPUTERWISSENSC… (3) Informatique (3) PROBLÈMES ALGORITHMIQUES DANS… (3) CALCUL LAMBDA (LOGIQUE MATHÉM… (2) CATEGORY THEORY (ALGEBRA) (2) KATEGORIENTHEORIE (ALGEBRA) (2) LAMBDA-CALCULUS (MATHEMATICAL… (2) LAMBDA-KALKÜL (MATHEMATISCHE … (2) PENROSE TRANSFORMS (DIFFERENT… (2) PENROSE-TRANSFORMATIONEN (DIF… (2) PRODUKTIONEN (THEORIE DER PRO… (2) REWRITING RULES + PRODUCTIONS… (2) SYSTÈMES DE RÉÉCRITURE + SYST… (2) THEORIE DER TYPEN (MATHEMATIS… (2) THEORY OF TYPES (MATHEMATICAL… (2) THÉORIE DES CATÉGORIES (ALGÈB… (2) THÉORIE DES TYPES (LOGIQUE MA… (2) TRANSFORMATIONS DE PENROSE (G… (2) Beweistheorie (1) Categories (Mathematics) (1) Catégories (Mathématiques) (1) Computer science; Mathematics… (1) D.3 (1) DATENSTRUKTUREN (1) Datenverarbeitung (1) I.1 (1) J.2 (1) Kongress (1) LEHRBÜCHER (DOKUMENTENTYP) (1) MANUELS POUR L'ENSEIGNEMENT (… (1) OBJECT-ORIENTED PROGRAMMING (… (1) OBJEKTORIENTIERTE PROGRAMMIER… (1) PROGRAMMATION ORIENTÉE OBJETS… (1) STRUCTURES DE DONNÉES + ORGAN… (1) TEXTBOOKS (DOCUMENT TYPES) (1) data structures (1)

Contributor

Shostak, Robert E. (3) Fourman, M. P. (2) London Mathematical Society (2) Symposium on Applications of … (2) International Conference on A… (1) International Conference on A… (1) International Conference on A… (1) Palsberg, Jens (1) Schwartzbach, Michael I. (1)

Publisher

Springer (3) Cambridge University Press (2) J. Wiley (1)

Year

2005 (1) 1994 (1) 1992 (1) 1984 (3)

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