Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Practical aspects of declarative lan...
~
PADL (Symposium) (2017 :)
Linked to FindBook
Google Book
Amazon
博客來
Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Practical aspects of declarative languages/ edited by Yuliya Lierler, Walid Taha.
Reminder of title:
19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
remainder title:
PADL 2017
other author:
Lierler, Yuliya.
corporate name:
PADL (Symposium)
Published:
Cham :Springer International Publishing : : 2017.,
Description:
x, 215 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Declarative programming languages - Congresses. -
Online resource:
http://dx.doi.org/10.1007/978-3-319-51676-9
ISBN:
9783319516769
Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
Practical aspects of declarative languages
19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /[electronic resource] :PADL 2017edited by Yuliya Lierler, Walid Taha. - Cham :Springer International Publishing :2017. - x, 215 p. :ill., digital ;24 cm. - Lecture notes in computer science,101370302-9743 ;. - Lecture notes in computer science ;10137..
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.
ISBN: 9783319516769
Standard No.: 10.1007/978-3-319-51676-9doiSubjects--Topical Terms:
1066490
Declarative programming languages
--Congresses.
LC Class. No.: QA76.615 / .P33 2017
Dewey Class. No.: 005.13
Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
LDR
:01710nmm a2200349 a 4500
001
2089014
003
DE-He213
005
20161216090543.0
006
m d
007
cr nn 008maaau
008
171013s2017 gw s 0 eng d
020
$a
9783319516769
$q
(electronic bk.)
020
$a
9783319516752
$q
(paper)
024
7
$a
10.1007/978-3-319-51676-9
$2
doi
035
$a
978-3-319-51676-9
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.615
$b
.P33 2017
072
7
$a
UMX
$2
bicssc
072
7
$a
UMC
$2
bicssc
072
7
$a
COM051010
$2
bisacsh
072
7
$a
COM010000
$2
bisacsh
082
0 4
$a
005.13
$2
23
090
$a
QA76.615
$b
.P123 2017
111
2
$a
PADL (Symposium)
$n
(19th :
$d
2017 :
$c
Paris, France)
$3
3219263
245
1 0
$a
Practical aspects of declarative languages
$h
[electronic resource] :
$b
19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
$c
edited by Yuliya Lierler, Walid Taha.
246
3
$a
PADL 2017
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2017.
300
$a
x, 215 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
10137
520
$a
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.
650
0
$a
Declarative programming languages
$v
Congresses.
$3
1066490
650
0
$a
Declarative programming
$v
Congresses.
$3
892804
650
1 4
$a
Computer Science.
$3
626642
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
891123
650
2 4
$a
Programming Techniques.
$3
892496
650
2 4
$a
Logics and Meanings of Programs.
$3
892495
650
2 4
$a
Software Engineering.
$3
890874
650
2 4
$a
Artificial Intelligence (incl. Robotics)
$3
890894
650
2 4
$a
Computer Appl. in Administrative Data Processing.
$3
892567
700
1
$a
Lierler, Yuliya.
$3
3219264
700
1
$a
Taha, Walid.
$3
1071762
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
10137.
$3
3219265
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-51676-9
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9315186
電子資源
11.線上閱覽_V
電子書
EB QA76.615 .P33 2017
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login