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=Villanueva, Alicia

Sort by

Logic-Based Program Synthesis and Transformation: 32nd International Symposiu…

This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and program…

Edition: 1
ISBN/ISSN: 978-3-031-16767-6
Collation: xiii, 155p.: Ill.
Series Title: Lecture Notes in Computer Science
Call Number: 006.332 Log

Availability1

Add to basket

MARC Download Cite