Jump to main content

yr 〜
yr

Search results 3

Types for proofs and programs : international workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers. : 1st annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Dec 2000, Durham, UK. (Lecture Notes in Computer Science ; 2277)

Types for proofs and programs : international workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers. : 1st annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Dec 2000, Durham, UK. (Lecture Notes in Computer Science ; 2277)
Paper図書
Springerc2002.<M17-07-789>
National Diet Library
  • Subject Heading...ngrès. Logica. Programmeertalen. Kunstmatige intelligentie.

Protocol : how control exists after decentralization (Leonardo)

Protocol : how control exists after decentralization (Leonardo)
Paper図書
Alexander R. Galloway.MIT Pressc2004.<ND633-B86>
National Diet Library
  • Subject Heading... (informatica) Programmeertalen. Culturele aspecten. Beheersin...

Hands-on programming with R : pbk

Hands-on programming with R : pbk
Paper図書
Garrett GrolemundO'Reilly2014
Other Libraries in Japan
  • Subject Heading...eOCL)07867509X Programmeertalen. gtt (NL-LeOCL)078637074
  • Subject Heading (ID)...eOCL)07867509X Programmeertalen. gtt (NL-LeOCL)078637074

Reached to the end of result.

RSS