skip to content
Programming Languages and Systems : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings Preview this item
ClosePreview this item
Checking...

Programming Languages and Systems : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Author: Sukyoung Ryu
Publisher: Cham Springer International Publishing 2018
Series: Programming and Software Engineering, 11275
Edition/Format:   Computer file : English
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Konferenzschrift
Additional Physical Format: Erscheint auch als:
Druck-Ausgabe
Erscheint auch als:
Druck-Ausgabe
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Sukyoung Ryu
ISBN: 9783030027681 3030027686
OCLC Number: 1078662772
Description: 1 Online-Ressource (XI, 437 p. 123 illus).
Series Title: Programming and Software Engineering, 11275
Responsibility: edited by Sukyoung Ryu.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1078662772> # Programming Languages and Systems : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
    a schema:CreativeWork, bgn:ComputerFile ;
    library:oclcnum "1078662772" ;
    schema:about <http://dewey.info/class/005.13/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/programmverifikation> ; # Programmverifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/programmierlogik> ; # Programmierlogik
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/theory_of_computation> ; # Theory of Computation
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/programming_techniques> ; # Programming Techniques
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/system_performance_and_evaluation> ; # System Performance and Evaluation
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/artificial_intelligence> ; # Artificial Intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/programmanalyse> ; # Programmanalyse
    schema:about <http://experiment.worldcat.org/entity/work/data/5625668866#Topic/formale_methode> ; # Formale Methode
    schema:datePublished "2018" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5625668866#Person/ryu_sukyoung> ; # Sukyoung Ryu
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5625668866> ;
    schema:genre "Konferenzschrift" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5625668866#Series/programming_and_software_engineering> ; # Programming and Software Engineering ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5625668866#CreativeWork/> ;
    schema:name "Programming Languages and Systems : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings" ;
    schema:numberOfPages "437" ;
    schema:productID "1078662772" ;
    schema:url <https://doi.org/10.1007/978-3-030-02768-1> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-02768-1> ;
    schema:workExample <http://worldcat.org/isbn/9783030027681> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1078662772> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5625668866#Person/ryu_sukyoung> # Sukyoung Ryu
    a schema:Person ;
    schema:familyName "Ryu" ;
    schema:givenName "Sukyoung" ;
    schema:name "Sukyoung Ryu" ;
    .

<http://experiment.worldcat.org/entity/work/data/5625668866#Series/programming_and_software_engineering> # Programming and Software Engineering ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1078662772> ; # Programming Languages and Systems : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
    schema:name "Programming and Software Engineering ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5625668866#Topic/artificial_intelligence> # Artificial Intelligence
    a schema:Intangible ;
    schema:name "Artificial Intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/5625668866#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache" ;
    .

<http://experiment.worldcat.org/entity/work/data/5625668866#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters" ;
    .

<http://experiment.worldcat.org/entity/work/data/5625668866#Topic/programming_techniques> # Programming Techniques
    a schema:Intangible ;
    schema:name "Programming Techniques" ;
    .

<http://experiment.worldcat.org/entity/work/data/5625668866#Topic/programmverifikation> # Programmverifikation
    a schema:Intangible ;
    schema:name "Programmverifikation" ;
    .

<http://experiment.worldcat.org/entity/work/data/5625668866#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/5625668866#Topic/system_performance_and_evaluation> # System Performance and Evaluation
    a schema:Intangible ;
    schema:name "System Performance and Evaluation" ;
    .

<http://experiment.worldcat.org/entity/work/data/5625668866#Topic/theory_of_computation> # Theory of Computation
    a schema:Intangible ;
    schema:name "Theory of Computation" ;
    .

<http://worldcat.org/entity/work/data/5625668866#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1078662772> ; # Programming Languages and Systems : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
    .

<http://worldcat.org/isbn/9783030027681>
    a schema:ProductModel ;
    schema:isbn "3030027686" ;
    schema:isbn "9783030027681" ;
    .

<http://www.worldcat.org/title/-/oclc/1078662772>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1078662772> ; # Programming Languages and Systems : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
    schema:dateModified "2019-05-04" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://doi.org/10.1007/978-3-030-02768-1>
    rdfs:comment "URL des Erstveröffentlichers" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.