Ditapis dengan
Formal Modelling in Electronic Commerce
FMEC: Overview and Interpretation -- Policies -- Practical Contract Storage, Checking, and Enforcement for Business Process Automation -- Legitimacy Checking in Communicative Workflow Design -- CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part I: Syntax & Formal Semantics of CANDID -- CANDID Specification of Commercial and …
- Edisi
- 1st ed
- ISBN/ISSN
- 9783540269892
- Deskripsi Fisik
- XII, 562 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science -- ICCS 2005
Numerical Methods -- Algorithms and Computational Kernels -- Nonnumerical Algorithms -- Parallel Algorithms -- Environments and Libraries -- Performance and Scalability -- Programming Techniques -- Networks and Distributed Algorithms -- Parallel and Distributed Computing -- Grid Computing -- Failure Handling -- Optimization -- Modeling and Simulation -- Image Analysis and Processing -- Graphics…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321118
- Deskripsi Fisik
- LXIII, 1089 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science -- ICCS 2005
Workshop on “Simulation of Multiphysics Multiscale Systems” -- Workshop on “Grid Computing Security and Resource Management” -- 2nd International Workshop on Active and Programmable Grids Architectures and Components (APGAC2005) -- International Workshop on Computational Nano-Science and Technology -- Workshop on “Collaborative and Cooperative Environments” -- Workshop on “Autonom…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321187
- Deskripsi Fisik
- LXIII, 1143 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Security and Cryptology
Invited Talks -- On Bluetooth Repairing: Key Agreement Based on Symmetric-Key Cryptography -- You Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security Proofs of Some Identity Based Encryption Schemes -- An ID-Based Verifiable Encrypted Signature Scheme Based on Hess’s Scheme -- ID-Based Signature Scheme Without Trusted PKG -- Security Modelling…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540324249
- Deskripsi Fisik
- XII, 428 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
High Performance Computing and Communications
Keynote Speech -- Track 1: Network Protocols, Routing, Algorithms -- Track 2: Languages and Compilers for HPC -- Track 3: Parallel/Distributed System Architectures -- Track 4: Embedded Systems -- Track 5: Parallel/Distributed Algorithms -- Track 6: Wireless and Mobile Computing -- Track 7: Web Services and Internet Computing -- Track 8: Peer-to-Peer Computing -- Track 9: Grid and Cluster Comput…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320791
- Deskripsi Fisik
- XXVI, 1118 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
High Performance Computing for Computational Science - VECPAR 2004
1: Large Scale Computations -- Large Scale Simulations -- Development and Integration of Parallel Multidisciplinary Computational Software for Modeling a Modern Manufacturing Process -- Automatically Tuned FFTs for BlueGene/L’s Double FPU -- A Survey of High-Quality Computational Libraries and Their Impact in Science and Engineering Applications -- A Performance Evaluation of the Cray X1 for …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318545
- Deskripsi Fisik
- XI, 732 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
International Mobility and Educational Desire
1. Introduction -- 2. Contexts: Singapore’s foreign talent programs and the Chinese middle school as a recruiting ground -- 3. Selecting scholars for Singapore: the SM2 program -- 4. Singlish and the Singaporean: cross-cultural encounter and othering -- 5. Being “very China”: self-consciousness and identity transformation -- 6. Desiring an education: scholarly idealism and anti-scholarly …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781137591432
- Deskripsi Fisik
- XIII, 136 p. 2 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Geo-Environmental Engineering, Geomechanics and Geotechnic…
Identification and assessment of different geo-environmental problems -- Remediation for geo-environmental problems -- Characterization of geomaterials -- The behavior of soils under dynamic loading -- Recent studies on expansive soils -- Improvement of physical and mechanical properties of soils -- Analytical and numerical modeling of geo-structures -- Assessments of mass movement based geohaz…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783030016654
- Deskripsi Fisik
- XXXIII, 509 p. 298 illus., 257 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Cultural Studies in Modern China
Part i context and background -- Chapter 1 Social and cultural context of the emergence of Cultural studies in China -- Chapter 2 Intellective Background of the emergence of Cultural studies -- Part ii The main issues and the transformation of paradigms -- Chapter 3 Paradigms of popular culture studies -- Chapter 4 cultural studies and national identity -- Chapter 5 media studies in Chi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9789811055805
- Deskripsi Fisik
- XXI, 210 p. 2 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
East Asian Men
Foreword. Experimental Masculinities, Narrative Empathy and Cosmopolitan Genders Across the Globe; Ken Plummer -- Introduction; Xiaodong Lin, Chris Haywood and Máirtín Mac an Ghaill -- Part I. Being and Becoming: Subjectivities, identifications and intimacy -- Chapter 1. Single Male Rural-Urban Migrant Workers and the Negotiation of Masculinity in China; Xiaodong Lin -- Chapter 2. Acting Stra…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781137556349
- Deskripsi Fisik
- XXV, 264 p. 7 illus., 4 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah