Revenir

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Information

Vous pouvez le trouver dans

Catégorie

Testo

Nature

Periodico

Titre

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Des noms

Association for computing machinery : Special interest group on programming languages

Description

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ... / sponsored by Association for computing machinery, Special interest group on programming languages (SIGPLAN)

Description physique

Ill. ; 28 cm

Note

Periodicità non determinata<br>Descrizione basata su: 2005.

Place de publication

New York

Village

STATI UNITI

Langue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\USM\1626498

Liens de ressources

http://id.sbn.it/bid/USM1626498

Étiqueter

Images

The construction of the missile base in Comiso can be prevented!

Auteur : Anarchist group <Ragusa>

Année : 1982

The construction of the missile base in Comiso can be prevented!

Auteur : Anarchist group <Ragusa>

Année : 1982

Résultats 2 de 758

Voir tout

Des textes

Proceedings of the ... ACM SIGPLAN workshop on rule-based programming : *RULE ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)

Année : 1900

Proceedings of the ... ACM SIGPLAN workshop on partial evaluation and semantics-based program manipulation : *PEPM ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN)

Année : 1900

Résultats 2 de 502805

Voir tout

Vidéo

The last vaudevillian : on the road with travelogue filmmaker John Holod

Année : 1998

The last vaudevillian : on the road with travelogue filmmaker John Holod

Année : 1998

Résultats 2 de 8471

Voir tout

l\'audio

Arrangements and fantasias on the Themes of the Ring by Richard Wagner : for symphonic band

Année : 2000

From this moment on

Année : 2006

Résultats 2 de 2527

Voir tout

commentaires

Chargez les autres

Écrire un commentaire

Envoyer

Sardaigne

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Étiqueter

The construction of the missile base in Comiso can be prevented!

The construction of the missile base in Comiso can be prevented!

Proceedings of the ... ACM SIGPLAN workshop on rule-based programming : *RULE ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)

Proceedings of the ... ACM SIGPLAN workshop on partial evaluation and semantics-based program manipulation : *PEPM ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN)

The last vaudevillian : on the road with travelogue filmmaker John Holod

The last vaudevillian : on the road with travelogue filmmaker John Holod

Arrangements and fantasias on the Themes of the Ring by Richard Wagner : for symphonic band

From this moment on

commentaires