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 86 dari pencarian Anda melalui kata kunci: subject="Programming Languages...

Sort by

Hal. Awal Sebelumnya 6 7 8 9

Generative Programming and Component Engineering

Komentar Penanda Bagikan

Glück, Robert.Lowry, Michael.SpringerLink (Online service)

Invited Talks -- Object-Oriented Reengineering Patterns — An Overview -- abc: The AspectBench Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language -- On Domain-Specific Languages Reengineering -- Bossa Nova: Introducing Modularity into the …

Edisi: 1st ed. 2005.
ISBN/ISSN: 9783540319771
Deskripsi Fisik: XII, 452 p.online resource.
Judul Seri: -
No. Panggil: -

Ketersediaan0

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Theoretical Aspects of Computing - ICTAC 2005

Komentar Penanda Bagikan

Hung, Dang Van.SpringerLink (Online service)Wirsing, Martin.

Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks -- Component-Based Software Engineering -- Formal Languages -- Outfix-Free Regular Languages and Prime Outfix-Free Decomposi…

Edisi: 1st ed. 2005.
ISBN/ISSN: 9783540320722
Deskripsi Fisik: XIV, 618 p.online resource.
Judul Seri: -
No. Panggil: -

Ketersediaan0

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Formal Methods for Components and Objects

Komentar Penanda Bagikan

Bonsangue, Marcello M.de Boer, Frank S.de Roever, Willem Paul.Graf, Susanne.SpringerLink (Online service)

A Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java and AspectJ Point of View -- MoMo: A Modal Logic for Reasoning About Mobility -- Probabilistic Linda-Based Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and A…

Edisi: 1st ed. 2005.
ISBN/ISSN: 9783540319399
Deskripsi Fisik: VIII, 328 p.online resource.
Judul Seri: -
No. Panggil: -

Ketersediaan0

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Implementing Distributed Systems with Java and CORBA

Komentar Penanda Bagikan

Aleksy, Markus.Korthaus, Axel.Schader, Martin.SpringerLink (Online service)

Preliminaries -- Concepts of the CORBA Standard -- to the Interface Definition Language -- IDL to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects -- Alternatives for Designing IDL Interfaces -- Inheritance and Polymorphism -- Implementing Distributed Callbacks -- Utilizing Value Types -- Utilizing Interfaces of the DynamicAny Module -- Dynam…

Edisi: 1st ed. 2005.
ISBN/ISSN: 9783540280477
Deskripsi Fisik: XIV, 346 p.online resource.
Judul Seri: -
No. Panggil: -

Ketersediaan0

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Integrated Formal Methods

Komentar Penanda Bagikan

Romijn, Judi M.T.Smith, Graeme P.SpringerLink (Online service)van de Pol, Jaco C.

Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations in the Abstract or the Concrete -- Session: Components -- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event…

Edisi: 1st ed. 2005.
ISBN/ISSN: 9783540322405
Deskripsi Fisik: XI, 407 p.online resource.
Judul Seri: -
No. Panggil: -

Ketersediaan0

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Software Process Modeling

Komentar Penanda Bagikan

Acuna, Silvia T.Juristo, Natalia.SpringerLink (Online service)

Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open Source Software Development Process Modeling -- Software Dependability Applications in Process Modeling -- Simulation Process Modelling for Managing Software Evolution -- Software Process Modelling -- Motivation and Process Improvement -- Managing Organizational Change for Software Process Improvemen…

Edisi: 1st ed. 2005.
ISBN/ISSN: 9780387242620
Deskripsi Fisik: XXIV, 208 p. 59 illus.online resource.
Judul Seri: -
No. Panggil: -

Ketersediaan0

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Hal. Awal Sebelumnya 6 7 8 9