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 115 dari pencarian Anda melalui kata kunci: subject="Computer programming....
Hal. Awal Sebelumnya 11 12
cover
Software Engineering for Multi-Agent Systems III
Komentar Bagikan
Choren, Ricardo.Garcia, Alessandro.Lucena, Carlos.Romanovsky, Alexander.SpringerLink (Online service)

Agent Methodologies and Processes -- From Object-Oriented to Agent-Oriented Software Engineering Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System Development -- Requirements Engineering and Software Architectures -- A Social-Driven Design…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540318460
Deskripsi Fisik
XII, 291 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan0
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Integrated Formal Methods
Komentar 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 MARCSitasi
cover
Guide to RISC Processors
Komentar Bagikan
Dandamudi, Sivarama P.SpringerLink (Online service)

Overview -- Processor Design Issues -- RISC Principles -- Architectures -- MIPS Architecture -- SPARC Architecture -- PowerPC Architecture -- Itanium Architecture -- ARM Architecture -- MIPS Assembly Language -- SPIM Simulator and Debugger -- Assembly Language Overview -- Procedures and the Stack -- Addressing Modes -- Arithmetic Instructions -- Conditional Execution -- Logical and Shift Operat…

Edisi
1st ed. 2005.
ISBN/ISSN
9780387274461
Deskripsi Fisik
XVI, 388 p. 80 illus.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan0
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Software Process Modeling
Komentar 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 MARCSitasi
cover
Software Agent-Based Applications, Platforms and Development Kits
Komentar Bagikan
Calisti, Monique.Klusch, Matthias.SpringerLink (Online service)Unland, Rainer.

The JADE Platform and Experiences with Mobile MAS Applications -- A-globe: Agent Development Platform with Inaccessibility and Mobility Support -- Supporting Agent Development in Erlang through the eXAT Platform -- Living Systems® Technology Suite -- Multi Agent System Development Kit -- An Integrated Development Environment for Electronic Institutions -- Jadex: A BDI-Agent System Combining Mi…

Edisi
1st ed. 2005.
ISBN/ISSN
9783764373481
Deskripsi Fisik
XII, 451 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan0
Tambahkan ke dalam keranjang
Unduh MARCSitasi
Hal. Awal Sebelumnya 11 12
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?