大葉大學圖書館 |

Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.13
書名/作者:	Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers // edited by Manuel Serrano, Jurriaan Hage.
其他題名:	TFP 2015
其他作者:	Serrano, Manuel.
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2016.
面頁冊數:	vii, 157 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Functional programming (Computer science) - Congresses
標題:	Logic design - Congresses. - Computer programs
標題:	Data structures (Computer science)
標題:	Computer Science.
標題:	Programming Techniques.
標題:	Programming Languages, Compilers, Interpreters.
標題:	Software Engineering.
標題:	Logics and Meanings of Programs.
標題:	Artificial Intelligence (incl. Robotics)
標題:	Mathematical Logic and Formal Languages.
ISBN:	9783319391106
ISBN:	9783319391090
內容註:	Functional Programming -- Engineering Mathematics -- Functional Languaguages -- Parallel Skeletons -- Recursive Programs -- Java Programs.
摘要、提要註:	This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.
電子資源:	http://dx.doi.org/10.1007/978-3-319-39110-6

Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
Trends in functional programming16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /[electronic resource] :TFP 2015edited by Manuel Serrano, Jurriaan Hage. - Cham :Springer International Publishing :2016. - vii, 157 p. :ill., digital ;24 cm. - Lecture notes in computer science,95470302-9743 ;. - Lecture notes in computer science ;7103..

Functional Programming -- Engineering Mathematics -- Functional Languaguages -- Parallel Skeletons -- Recursive Programs -- Java Programs.

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.

ISBN: 9783319391106

Standard No.: 10.1007/978-3-319-39110-6doiSubjects--Topical Terms:

470583
Functional programming (Computer science)
--Congresses

LC Class. No.: QA76.62

Dewey Class. No.: 005.13

Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
LDR:01897nam a2200337 a 4500 001 450486
003 DE-He213
005 20161025104708.0
006 m d
007 cr nn 008maaau
008 161210s2016 gw s 0 eng d
020 $a 9783319391106 $q (electronic bk.)
020 $a 9783319391090 $q (paper)
024 7 $a 10.1007/978-3-319-39110-6 $2 doi
035 $a 978-3-319-39110-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.62
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
082 0 4 $a 005.13 $2 23
090 $a QA76.62 $b .I61 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Trends in functional programming $h [electronic resource] : $b 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers / $c edited by Manuel Serrano, Jurriaan Hage.
246 3 $a TFP 2015
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a vii, 157 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9547
505 0 $a Functional Programming -- Engineering Mathematics -- Functional Languaguages -- Parallel Skeletons -- Recursive Programs -- Java Programs.
520 $a This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.
650 0 $a Functional programming (Computer science) $v Congresses $3 470583
650 0 $a Logic design $x Computer programs $v Congresses. $3 605331
650 0 $a Data structures (Computer science) $3 417983
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Programming Techniques. $3 466907
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 466913
650 2 4 $a Software Engineering. $3 464601
650 2 4 $a Logics and Meanings of Programs. $3 466905
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 463642
650 2 4 $a Mathematical Logic and Formal Languages. $3 463478
700 1 $a Serrano, Manuel. $3 646641
700 1 $a Hage, Jurriaan. $3 490563
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-39110-6
950 $a Computer Science (Springer-11645)

	個人資料
	儲存檢索策略
	薦購
	預約/借閱記錄查詢
	訊息
	評論
	個人書籤

	簡單查詢
	進階查詢

	指定參考書
	新書通報
	新書書單RSS