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 122 dari pencarian Anda melalui kata kunci: subject="PROGRAMS"
1 2 3 4 5 Berikutnya Hal. Akhir
cover
COBOL :
Komentar Bagikan
DAVIS, William S.

p. 547-552 aris 0508 = Asli

Edisi
-
ISBN/ISSN
0-201-01431-9
Deskripsi Fisik
xix, 552 p.: ill.; 25 cm;
Judul Seri
-
No. Panggil
001.642 DAV c
cover
Introduction to cobol
Komentar Bagikan
BONNO,John A.

hal. 495-497 aris

Edisi
-
ISBN/ISSN
0-256-02287-9
Deskripsi Fisik
x,497 hal.:app.;ind.;gamb.;tab.;23 cm;
Judul Seri
-
No. Panggil
001.642 Bon i
cover
Empowering women in the workplace :
Komentar Bagikan

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
xxvi, 201 hal. : 22 cm.; pada tiap akhir bab
Judul Seri
-
No. Panggil
305.42 Emp e

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
xxvi, 201 hal. : 22 cm.; pada tiap akhir bab
Judul Seri
-
No. Panggil
305.42 Emp e
cover
Managing projects with Microsoft Project 98 :
Komentar Bagikan
FERRARA, RobLOWERY, Gwen

hal. 362-384

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
xiv, 384 hal.:$c24 cm.
Judul Seri
-
No. Panggil
005.43 Low m
cover
SDL 2005: Model Driven
Komentar Bagikan
Prinz, Andreas.Reed, Jeanne.Reed, Rick.

Language Issues -- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification -- Non-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and…

Edisi
1st ed.
ISBN/ISSN
9783540315391
Deskripsi Fisik
XII, 364 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Scenarios: Models, Transformations and Tools
Komentar Bagikan
Leue, Stefan.Systä, Tarja J.

Scenarios: Models, Transformations and Tools -- Why Timed Sequence Diagrams Require Three-Event Semantics -- Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach -- Deciding Properties of Message Sequence Charts -- Operational Semantics of Security Protocols -- Autonomous Shuttle System Case Study -- Genetic Design: Amplifying Our Ability to De…

Edisi
1st ed.
ISBN/ISSN
9783540320326
Deskripsi Fisik
XII, 279 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Rules and Rule Markup Languages for the Semantic Web
Komentar Bagikan
Adi, Asaf.Stoutenburg, Suzette.Tabet, Said.

Towards an Event-Driven Architecture: An Infrastructure for Event Processing Position Paper -- Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences -- A Realistic Architecture for the Semantic Web -- Active Rules in the Semantic Web: Dealing with Language Heterogeneity -- Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML -- A Semantic …

Edisi
1st ed..
ISBN/ISSN
9783540322702
Deskripsi Fisik
X, 225 p.online resource.
Judul Seri
-
No. Panggil
-
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
-
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
-
cover
Recent Advances in Constraints
Komentar Bagikan
Fages, Francois.Faltings, Boi.Petcu, Adrian.Rossi, Francesca.

Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Al…

Edisi
1st ed.
ISBN/ISSN
9783540322528
Deskripsi Fisik
X, 217 p.online resource.
Judul Seri
-
No. Panggil
-
1 2 3 4 5 Berikutnya Hal. Akhir