본문 바로가기
주메뉴 바로가기
오시는 길
ibs기초과학연구원 페이스북
ibs기초과학연구원 유튜브
ibs기초과학연구원 네이버블로그
IBS HOME
회원가입
로그인
ENG
메뉴
과학도서관
과학도서관 소개
자료검색
DVD
국내서 e-Books(소장형)
국내서 e-Books(구독형)
(서비스 종료)
국외서 e-Books(구독형)
Audio Books
영상콘텐츠 존
추천ㆍ인기자료
WANTED
Science Book
행사ㆍ프로그램
행사ㆍ프로그램
과학강연 영상
행사 갤러리
홍보관ㆍ전시관
홍보관ㆍ전시관 소개
홍보관 둘러보기
온라인 전시관
IBS 스토리
Research News
Ch.135
IBS People
과학지식백과
IBS 발간물
열린공간
세미나실
시네마 루프
강당/컨퍼런스룸
견학신청
대관문의
과학문화센터 안내
과학문화센터 소개
공지사항
오시는 길
문의사항
검색
전체메뉴보기
과학도서관
과학도서관 소개
자료검색
DVD
국내서 e-Books(소장형)
국내서 e-Books(구독형)
(서비스 종료)
국외서 e-Books(구독형)
Audio Books
영상콘텐츠 존
추천ㆍ인기자료
WANTED
Science Book
행사ㆍ프로그램
행사ㆍ프로그램
과학강연 영상
행사 갤러리
홍보관ㆍ전시관
홍보관ㆍ전시관 소개
홍보관 둘러보기
온라인 전시관
IBS 스토리
Research News
Ch.135
IBS People
과학지식백과
IBS 발간물
열린공간
세미나실
시네마 루프
강당/컨퍼런스룸
견학신청
대관문의
과학문화센터 안내
과학문화센터 소개
공지사항
오시는 길
문의사항
닫기
회원가입
로그인
ENG
과학도서관
과학도서관 소개
자료검색
DVD
국내서 e-Books(소장형)
국내서 e-Books(구독형)
(서비스 종료)
국외서 e-Books(구독형)
Audio Books
영상콘텐츠 존
추천ㆍ인기자료
WANTED Science Book
행사ㆍ프로그램
행사ㆍ프로그램
과학강연 영상
행사 갤러리
홍보관ㆍ전시관
홍보관ㆍ전시관 소개
홍보관 둘러보기
온라인 전시관
IBS 스토리
Research News
Ch.135
IBS People
과학지식백과
IBS 발간물
열린공간
세미나실
시네마 루프
강당/컨퍼런스룸
견학신청
대관문의
과학문화센터 안내
과학문화센터 소개
공지사항
오시는 길
문의사항
오시는 길
IBS HOME
단행본 상세
홈으로
과학도서관
단행본 상세
서지주요정보
Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
서명 / 저자
Trends in Functional Programming
[electronic resource] :
15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
edited by Jurriaan Hage, Jay McCarthy.
저자명
Hage, Jurriaan.
editor. ;
McCarthy, Jay.
editor.
단체명
SpringerLink (Online service)
발행사항
Cham :
Springer International Publishing :
Imprint: Springer,
2015.
총서명
Lecture Notes in Computer Science, 0302-9743 ; 8843
Online Access
라이센스 없음
서지기타정보
서지기타정보
ISBN
9783319146751
기타 표준번호
10.1007/978-3-319-14675-1
청구기호
QA76.6-76.66
형태사항
IX, 143 p. 29 illus. online resource.
언어
English
내용
Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional Approach to Sex: Reproduction in the Cr챕at첬r Framework -- Type Generic Observing -- Refactorings to Enable Parallelization -- Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.
주제
Computer science.
Computer programming.
Programming languages (Electronic computers).
Computer logic.
Artificial intelligence.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
보유판 및 특별호 저록
Springer eBooks
Printed edition: 9783319146744
QR CODE
청구기호 Browsing (유사한 주제의 도서 정보를 브라우징 할 수 있습니다.)
Learn Electronics with Raspberry Pi Physical Computing with Circuits, Sensors, Outputs, and Projects
SpringerLink (Online service)
QA76.635
The Complexity of Simple Computer Architectures
Müller, Silvia M
QA76.635
Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Hage, Jurriaan
QA76.6-76.66
Foundational Java: Key Elements and Practical Programming
SpringerLink (Online service)
QA76.73.J38
Fundamentals of Java Programming
SpringerLink (Online service)
QA76.73.J38
검색
검색
검색하기
검색