|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
978-3-319-28228-2 |
003 |
DE-He213 |
005 |
20220311212138.0 |
007 |
cr nn 008mamaa |
008 |
160108s2016 sz | s |||| 0|eng d |
020 |
|
|
|a 9783319282282
|9 978-3-319-28228-2
|
024 |
7 |
|
|a 10.1007/978-3-319-28228-2
|2 doi
|
050 |
|
4 |
|a QA76.76.C65
|
072 |
|
7 |
|a UMC
|2 bicssc
|
072 |
|
7 |
|a COM051010
|2 bisacsh
|
072 |
|
7 |
|a UMC
|2 thema
|
082 |
0 |
4 |
|a 005.45
|2 23
|
245 |
1 |
0 |
|a Practical Aspects of Declarative Languages
|h [electronic resource] :
|b 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
|c edited by Marco Gavanelli, John Reppy.
|
250 |
|
|
|a 1st ed. 2016.
|
264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2016.
|
300 |
|
|
|a X, 187 p. 29 illus. in color.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 9585
|
520 |
|
|
|a This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc.
|
650 |
|
0 |
|a Compilers (Computer programs).
|
650 |
|
0 |
|a Computer programming.
|
650 |
|
0 |
|a Computer science.
|
650 |
|
0 |
|a Software engineering.
|
650 |
|
0 |
|a Algorithms.
|
650 |
1 |
4 |
|a Compilers and Interpreters.
|
650 |
2 |
4 |
|a Programming Techniques.
|
650 |
2 |
4 |
|a Computer Science Logic and Foundations of Programming.
|
650 |
2 |
4 |
|a Software Engineering.
|
650 |
2 |
4 |
|a Algorithms.
|
700 |
1 |
|
|a Gavanelli, Marco.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Reppy, John.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer Nature eBook
|
776 |
0 |
8 |
|i Printed edition:
|z 9783319282275
|
776 |
0 |
8 |
|i Printed edition:
|z 9783319282299
|
830 |
|
0 |
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 9585
|
856 |
4 |
0 |
|u https://doi.uam.elogim.com/10.1007/978-3-319-28228-2
|z Texto Completo
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-SXCS
|
912 |
|
|
|a ZDB-2-LNC
|
950 |
|
|
|a Computer Science (SpringerNature-11645)
|
950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|