UPT Perpustakaan UNS

  • Beranda
  • Informasi
  • Berita
  • Bantuan
  • Pustakawan
  • Area Anggota
  • Pilih Bahasa :
    Bahasa Arab Bahasa Bengal Bahasa Brazil Portugis Bahasa Inggris Bahasa Spanyol Bahasa Jerman Bahasa Indonesia Bahasa Jepang Bahasa Melayu Bahasa Persia Bahasa Rusia Bahasa Thailand Bahasa Turki Bahasa Urdu

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

{{tmpObj[k].text}}

Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 595 dari pencarian Anda melalui kata kunci: subject="SOFTWARE"
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir
cover
Reliable Software Technology – Ada-Europe 2005
Komentar Bagikan
Vardanega, Tullio.Wellings, Andy.

Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle -- An Ada Framework for QoS-Aware Applications -- Design and Scheduling Issues -- Efficient Alternatives for Implementing Fixed-Priority Schedulers -- A New Strategy for the HRT-HOOD to Ada Mapping -- Using the AADL to Describe Distributed Applica…

Edisi
1st ed.
ISBN/ISSN
9783540316664
Deskripsi Fisik
XVI, 276 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan1
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Reliable Distributed Systems
Komentar Bagikan
Birman, Kenneth.

Basic Distributed Computing Technologies -- Fundamentals -- Basic Communication Services -- High Assurance Communication -- Remote Procedure Calls and the Client/Server Model -- Styles of Client/Server Computing -- CORBA: The Common Object Request Broker Architecture -- System Support for Fast Client/Server Communication -- Web Technologies -- The World Wide Web -- Major Web Technologies -- Web…

Edisi
1st ed.
ISBN/ISSN
9780387276014
Deskripsi Fisik
XXXVI, 668 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan1
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Recent Trends in Algebraic Development Techniques
Komentar Bagikan
Fiadeiro, José Luiz.Mosses, Peter.Orejas, Fernando.

Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…

Edisi
1st ed.
ISBN/ISSN
9783540319597
Deskripsi Fisik
VIII, 280 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan1
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Reasoning Web
Komentar Bagikan
Eisinger, Norbert.Maluszynski, Jan.SpringerLink (Online service)

to Semantic Web Ontology Languages -- Rules and Ontologies in F-Logic -- Web and Semantic Web Query Languages: A Survey -- Evolution and Reactivity for the Web -- Personalization for the Semantic Web -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule Modeling and Markup -- Information Extraction for the Semantic Web -- Reuse in Semantic A…

Edisi
1st ed.
ISBN/ISSN
9783540316756
Deskripsi Fisik
X, 326 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan1
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Object-oriented construction handbook :
Komentar Bagikan
ZULLIGHOVEN, Heinz

hal. 501-520

Edisi
-
ISBN/ISSN
81-312-0357-3
Deskripsi Fisik
xxiv, 520 hal.: ilus.; 24 cm.; pada tiap akhir bab
Judul Seri
-
No. Panggil
001.642 Zul o
Ketersediaan1
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Software testing :
Komentar Bagikan
DESIKAN, SrinivasanRAMESH, Gopalaswamy

hal. 483-486

Edisi
-
ISBN/ISSN
81-7758-121-x
Deskripsi Fisik
xviii, 486 hal.: ilus., tab.; 24 cm.; hal. 481-482
Judul Seri
-
No. Panggil
001.64 Des s
Ketersediaan1
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Rapid Integration of Software Engineering Techniques
Komentar Bagikan
Guelfi, Nicolas.SpringerLink (Online service)

Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards…

Edisi
1st ed.
ISBN/ISSN
9783540320395
Deskripsi Fisik
X, 145 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan1
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Using SPSS for Windows
Komentar Bagikan
Finn, Kristin Voelkl.Gerber, Susan B.

The Nature of SPSS -- Summarizing Data Graphically -- Summarizing Data Numerically: Measures of Central Tendency -- Summarizing Data Numerically: Measures of Variability -- Summarizing Multivariate Data: Association Between Numerical Variables -- Summarizing Multivariate Data: Association Between Categorical Variables -- Basic Ideas of Probability -- Probability Distributions -- Sampling Distri…

Edisi
2nd ed. 2005.
ISBN/ISSN
9780387276045
Deskripsi Fisik
XII, 228 p. 95 illus.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan1
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Getting Started with MuPAD
Komentar Bagikan
Majewski, Miroslaw.

to MuPAD -- Mathematical graphics with MuPAD -- to calculus of one variable -- Multivariable calculus -- Algebra with MuPAD -- Data visualization and elementary statistics -- A brief introduction to programming.The world of mathematics is probably one of the most fascinating creations of mankind. The world of mathematics with a Computer Algebra System, like MuPAD, is even more fascinating. With…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540286752
Deskripsi Fisik
VIII, 263 p. 138 illus.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan1
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Domain Decomposition Methods - Algorithms and Theory
Komentar Bagikan
Toselli, Andrea.Widlund, Olof.

Abstract Theory of Schwarz Methods -- Two-Level Overlapping Methods -- Substructuring Methods: Introduction -- Primal Iterative Substructuring Methods -- Neumann-Neumann and FETI Methods -- Spectral Element Methods -- Linear Elasticity -- Preconditioners for Saddle Point Problems -- Problems in H (div ; ?) and H (curl ; ?) -- Indefinite and Nonsymmetric Problems -- Elliptic Problems and Sobolev…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540266624
Deskripsi Fisik
XV, 450 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan1
Tambahkan ke dalam keranjang
Unduh MARCSitasi
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir
UPT Perpustakaan UNS
  • Informasi
  • Layanan
  • Pustakawan
  • Area Anggota

Tentang Kami

UNSLA (UNS Library Automation) adalah sistem manajemen perpustakaan daring yang dikembangkan untuk mendukung layanan informasi, penelusuran koleksi, dan pengelolaan sumber daya pustaka di lingkungan Universitas Sebelas Maret. Menggunakan platform Senayan Library Management System (SLiMS), aplikasi ini memberikan kemudahan bagi pemustaka dan pustakawan dalam mengakses, mengelola, dan memanfaatkan koleksi perpustakaan secara cepat, akurat, dan terintegrasi.

Cari

masukkan satu atau lebih kata kunci dari judul, pengarang, atau subjek

Donasi untuk SLiMS Kontribusi untuk SLiMS?

© 2025 — Senayan Developer Community

Ditenagai oleh SLiMS
Pilih subjek yang menarik bagi Anda
  • Karya Umum
  • Filsafat
  • Agama
  • Ilmu-ilmu Sosial
  • Bahasa
  • Ilmu-ilmu Murni
  • Ilmu-ilmu Terapan
  • Kesenian, Hiburan, dan Olahraga
  • Kesusastraan
  • Geografi dan Sejarah
Icons made by Freepik from www.flaticon.com
Pencarian Spesifik
Kemana ingin Anda bagikan?