Komm zurück

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

Information

Sie können es in finden

Kategorie

Testo

Natur

Periodico

Titel

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

Namen

Association for computing machinery : Special interest group on programming languages

Beschreibung

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)

Physische Beschreibung

Ill. ; 28 cm

Notiz

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

Ort der Veröffentlichung

New York

Dorf

STATI UNITI

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

IT\ICCU\USM\1626498

Ressourcenverbindungen

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

Etikett

Bilder

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

Autor : Anarchist group <Ragusa>

Jahr : 1982

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

Autor : Anarchist group <Ragusa>

Jahr : 1982

Ergebnisse 2 von 758

Alle ansehen

Texte

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)

Jahr : 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)

Jahr : 1900

Ergebnisse 2 von 502805

Alle ansehen

Video

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

Jahr : 1998

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

Jahr : 1998

Ergebnisse 2 von 8471

Alle ansehen

Audio

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

Jahr : 2000

From this moment on

Jahr : 2006

Ergebnisse 2 von 2527

Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken

Sardinienregion

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

Etikett

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

Kommentare