Open Source Library Management System | The Sriwijaya University Library

Filter by

Publication Year
Availability

On Shelf
Attachment

PDF

Audio

Video
Collection Type

Journal

Books

Fiction

Final Projects

Thesis

Dissertation

Magazine

Proceedings

Newspaper

Bulletin

Reference Collection

1st
See More
General Material Designation

Text

Art Originals

Chart

Computer Software

Diorama

Filmstrip

Flash Card

Game

Globe

Kit

Map

Microform

Manuscript

Model

Motion Picture

Microscope Slide

Music

Picture

Realia

Slide

Sound Recording

Technical Drawing

Transparency

Video Recording

Equipment

Computer File

Cartographic Material

CD-ROM

Multimedia

Electronic Resource

Digital Versatile Disc

Skripsi

Journal

electronic

Newspaper

Bulletin

See More
Location

Central Library

Faculty of Agriculture

Faculty of Computer Sciences

Faculty of Economics

Faculty of Education and Educational Science

Faculty of Engineering

Faculty of Law

Faculty of Mathematics and Natural Sciences

Faculty of Medicines

Faculty of Public Health

Faculty of Social and Politic Science

Postgraduates Study Programs
See More
Language

Arabic

Dutch

English

French

German

Indonesia
See More

Found 1 from your keywords: author=Vanhoof, Wim

Sort by

Logic-Based Program Synthesis and Transformation: 31st International Symposiu…

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was …

Edition: 1
ISBN/ISSN: 978-3-030-98869-2
Collation: ix, 177p.: Ill.
Series Title: Lecture Notes in Computer Science
Call Number: 511.360 Log

Availability1

Add to basket

MARC Download Cite