Open Source Library Management System

Ditapis dengan

Tahun Penerbitan

To
Ketersediaan

Tersedia di Rak
Lampiran

PDF

Audio

Video
Tipe Koleksi

Artikel

BI Corner

Buku

CR

Difabel

Disertasi

DUTCH

Jawa

Koleksi Aussie Banget Corner

Koleksi China Center

Koleksi E Book

Koleksi Jepang

Koleksi Lama

Koleksi SNI

Lap. Kegiatan

Lap. Penelt. Dosen

Laporan Kerja Praktek

Majalah

Reference

REP

Skripsi

SNI Corner

TA

Textbook

Thesis

Tinjauan Buku
Lihat Lebih Banyak
Format Fisik Dokumen

[electronic resource].

Art Original

Artikel

Buku

Cartographic Material

CD-ROM

CD/Disket

Chart

Computer File

Computer Software

Digital Versatile Disc

Dinamika

Diorama

Disertasi

E Book

electronic

Electronic Resource

Equipment

Filmstrip

Flash Card

Game

Globe

Kit

Lap. Kegiatan

Lap. Penelt. Dosen

Majalah

Manuscript

Map

Microform

Microscope Slide

Model

Motion Picture

Multimedia

Music

Opini

Penelitian

Peta

Picture

print

Realia

REP

Skripsi

Slide

Sound Recording

TA

Tahukah Anda

Technical Drawing

Text

Thesis

Tinjauan Buku

Tips

Transparency

Video Recording
Lihat Lebih Banyak
Lokasi

00

008

009

01

010

012

013

014

015

016

017

018

019

02

021

022

023

024

026

027

028

029

031

032

033

034

035

036

037

038

111

117

14

147

B.1

B.10

B.4

B.8

B.9

B2.1

B2.2

B2.3

Buku Umum Lantai 1

Disertasi

F1.1

F1.11

F1.12

F1.13

F1.2

F1.4

F1.5

F1.8

F1.9

FKOR UNS

Gedung Baru Lantai 3 (Koleksi Belanda)

Gedung Baru Lantai 3 (Koleksi Jawa)

Gedung Baru Lantai 3 (Koleksi Lama)

Gedung Baru Lantai 4 (500)

Gedung Baru Lantai 4 (China Center)

Gedung Baru Lantai 5 (600)

Gedung Baru Lantai 6 (700, 800, 900)

Gedung Lama Lantai 1 Timur (SNI Corner)

Gedung Lama Lantai 1 Timur 000

Gedung Lama Lantai 1 Timur 100

Gedung Lama Lantai 1 Timur 200

Gedung Lama Lantai 1 Timur 300

Gedung Lama Lantai 1 Timur 310

Gedung Lama Lantai 1 Timur 320

Gedung Lama Lantai 1 Timur 330

Gedung Lama Lantai 2 Timur (CR)

Gedung Lama Lantai 2 Timur 340

Gedung Lama Lantai 2 Timur 350

Gedung Lama Lantai 2 Timur 360

Gedung Lama Lantai 2 Timur 370

Gedung Lama Lantai 2 Timur 380

Gedung Lama Lantai 2 Timur 390

Gedung Lama Lantai 2 Timur 400

Gedung Lama Lantai 2 Utara [R. Baca Skripsi, Thesis, Disertasi, Laporan Penelitian]

Gudang Koleksi 000-339

Gudang Lantai 2

Gudang Lantai 3

Gudang Lantai 4

Gudang Lantai 5

Gudang Lantai 6

Gudang Lt 2 buku non data

Gudang lt. 2 Buku Masuk Data

Gudang lt. 5 (600)

K1.10

K1.2

K1.3

K1.5

K1.6

Ked

KK

Koleksi 000-339

Koleksi E Book

Koleksi hibah dari Jepang

Lantai 1 (BI Corner)

Lantai 1 barat

Lantai 1 sebelah barat

Lantai 1 Timur koleksi 000

Lantai 1 Utara - Tengah (Referensi)

lantai 2 gedung lama utara

Lantai 2 Utara

Lantai 3 ( Karya UNS )

Lantai 3 ( Perbaikan )

Lantai 4 Aussie Banget Corner

Lantai I Utara

Lantai I Utara Bag. Tengah (Referensi, Rep.)

Lantai II Barat (Skripsi, Tesis, Disertasi)

Lantai II Timur

Lantai II Timur Bag. Utara

Laporan KM

Lobby Ruang Difabel Corner

M2.4

M2.6

Pemrosesan Bahan Pustaka

Perpustakaan PGSD Kebumen

PKL

PKL Kimia

PKL MI

PKL TI

PKLTI(S1)

Program Pasca sarjana

PTK

R. Majalah

RA

RB

RD

ref

RR

Ruang Baca PGSD Kleco

Ruang Baca Sekolah Vokasi Madiun

RUANG INTERNET

Ruang Kepala

Ruang Koleksi Difabel Corner

Ruang Pemrosesan Koleksi

Ruang Pengolahan

Rusak

SIR

sirkulasi

SNI Corner

TE
Lihat Lebih Banyak
Bahasa

Arab

Belanda

English

India

Indonesia

Inggris

Italia

Jawa

Jepang

Jerman

Kawi

Lainnya

Melayu

Perancis

Sansekerta
Lihat Lebih Banyak

Ditemukan 1 dari pencarian Anda melalui kata kunci: author=Poernomo, Iman.

Sort by

Adapting Proofs-as-Programs

Crossley, John N.Poernomo, Iman.Wirsing, Martin.

Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard Protocol -- Imperative Proofs-as-Programs -- Intuitionistic Hoare Logic -- Properties of Intuitionistic Hoare Logic -- Proofs-as-Imperative-Programs -- Structured Proofs-as-Programs -- Reasoning about Structured Specifications -- Proof-theoretic Properties of SSL -- Structured Proofs-as-Programs -- G…

Edisi: 1st ed.
ISBN/ISSN: 9780387281834
Deskripsi Fisik: XII, 420 p. 54 illus.online resource.
Judul Seri: -
No. Panggil: -

Ketersediaan0

Tambahkan ke dalam keranjang

Unduh MARC Sitasi