Konferenzschrift | Kongress

IV. Higher Order Workshop : Banff 1990 ; proceedings of the IV. Higher Order Workshop, Banff, Alberta, Canada, 10 - 14 September 1990

to related objects

Location: Deutsche Nationalbibliothek Frankfurt am Main

ISBN: 9783540196600
3540196609
9780387196602
0387196609

Dimensions: 25 cm

Extent: X, 283 S.

Language: Deutsch

Notes: graph. Darst.
Literaturangaben

Keyword: Nebenläufigkeit
Synchrones Schaltwerk
Asynchrones Schaltwerk
Programmiersprache
Kategorientheorie
Automatisches Beweisverfahren

Event: Veröffentlichung

(where): London, Berlin, Heidelberg, New York, Paris, Tokyo, Hong Kong, Barcelona, Budapest

(who): Springer

(when): 1991

Contributor: Birtwistle, Graham M.
Higher Order Workshop (4 : 1990 : Banff, Alberta)

Table of contents: https://d-nb.info/921333552/04

Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.

Last update: 11.06.2025, 1:59 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

Konferenzschrift
Kongress

Associated

Birtwistle, Graham M.
Higher Order Workshop (4 : 1990 : Banff, Alberta)
Springer

Time of origin

1991

Other Objects (12)

Bildband

Banff Nationalpark

Personenakten

Banff, Heinrich

Sachakte

Reise Banff

Archivale

Banff National Park

Archivale

Banff National Park

Archivale

Banff National Park

Archivale

Banff National Park

Archivale

Banff National Park

Schriftgut

Kanada.- Banff.- Internationale Gebirgsdrucktagung

Konferenzschrift | Kongress

Number theory : held at the Banff Center, Banff, Alberta, April 17 - 27, 1988

Führer

Kanada: Banff & Yoho : Nationalpark-Tageswanderungen

Higher-Order Order-Sorted Resolution

Bildband

Banff Nationalpark

Personenakten

Banff, Heinrich

Sachakte

Reise Banff

Archivale

Banff National Park

Archivale

Banff National Park

Archivale

Banff National Park

Archivale

Banff National Park

Archivale

Banff National Park

Schriftgut

Kanada.- Banff.- Internationale Gebirgsdrucktagung

Konferenzschrift | Kongress

Number theory : held at the Banff Center, Banff, Alberta, April 17 - 27, 1988

Führer

Kanada: Banff & Yoho : Nationalpark-Tageswanderungen

Higher-Order Order-Sorted Resolution

Bildband

Banff Nationalpark

Personenakten

Banff, Heinrich

Sachakte

Reise Banff

Archivale

Banff National Park

Archivale

Banff National Park

Archivale

Banff National Park

Archivale

Banff National Park

Archivale

Banff National Park

Schriftgut

Kanada.- Banff.- Internationale Gebirgsdrucktagung

Konferenzschrift | Kongress

Number theory : held at the Banff Center, Banff, Alberta, April 17 - 27, 1988

Führer

Kanada: Banff & Yoho : Nationalpark-Tageswanderungen

Higher-Order Order-Sorted Resolution

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read the terms of use and the privacy policy for the collection of personal data and accept them. *

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

IV. Higher Order Workshop : Banff 1990 ; proceedings of the IV. Higher Order Workshop, Banff, Alberta, Canada, 10 - 14 September 1990

Object Details

Classification and Topics

Contributors, Places and Time

Further information

Data provider

Object type

Associated

Time of origin

Other Objects (12)

Banff Nationalpark

Banff, Heinrich

Reise Banff

Banff National Park

Banff National Park

Banff National Park

Banff National Park

Banff National Park

Kanada.- Banff.- Internationale Gebirgsdrucktagung

Number theory : held at the Banff Center, Banff, Alberta, April 17 - 27, 1988

Kanada: Banff & Yoho : Nationalpark-Tageswanderungen

Higher-Order Order-Sorted Resolution

Banff Nationalpark

Banff, Heinrich

Reise Banff

Banff National Park

Banff National Park

Banff National Park

Banff National Park

Banff National Park

Kanada.- Banff.- Internationale Gebirgsdrucktagung

Number theory : held at the Banff Center, Banff, Alberta, April 17 - 27, 1988

Kanada: Banff & Yoho : Nationalpark-Tageswanderungen

Higher-Order Order-Sorted Resolution

Banff Nationalpark

Banff, Heinrich

Reise Banff

Banff National Park

Banff National Park

Banff National Park

Banff National Park

Banff National Park

Kanada.- Banff.- Internationale Gebirgsdrucktagung

Number theory : held at the Banff Center, Banff, Alberta, April 17 - 27, 1988

Kanada: Banff & Yoho : Nationalpark-Tageswanderungen

Higher-Order Order-Sorted Resolution

Related objects

Reset password