Ditapis dengan
Potassic Igneous Rocks and Associated Gold-Copper Mineralization
Introduction -- Definitions and Nomenclature -- Tectonic Settings of Potassic Igneous Rocks -- Selected Type-Localities of Potassic Igneous Rocks from the Five Tectonic Settings -- Primary Enrichment of Precious Metals in Potassic Igneous Rocks -- Direct Associations Between Potassic Igneous Rocks and Gold-Copper Deposits -- Direct Associations Between Potassic Igneous Rocks and Copper-Gold Dep…
- Edisi
- 5th ed.
- ISBN/ISSN
- 9783319929798
- Deskripsi Fisik
- XXXIX, 398 p. 99 illus., 29 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Privacy and Criminal Justice
This book offers a comparison of the differences between the ‘public’ and ‘private’ spheres, and questions the need for law enforcement to intrude upon both. Beginning with the origins of the concept of privacy, before addressing more current thinking, the authors examine the notion of privacy and policing, using both direct (e.g. 'stop and search' methods) and technological intervent…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319649122
- Deskripsi Fisik
- XV, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Practical Aspects of Declarative Languages
Invited Talks -- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis -- Specializing Narrowing for Timetable Generation: A Case Study -- Character-Based Cladistics and Answer Set Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305576
- Deskripsi Fisik
- VIII, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Fundamentals of Forensic Practice
Foundations of Practice -- Clinical and Legal Framework -- Malingering and Deception in Criminal Evaluations -- The Nature of Experts and Their Testimony -- Specific Criminal Issues -- Forensic Determinations of Diversion and Bail -- Miranda and Beyond: Competencies Related to Police Investigations -- Competency to Stand Trial -- The Insanity Defense -- Beyond Insanity: Other Issues of Criminal…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387252278
- Deskripsi Fisik
- VIII, 446 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Network and Parallel Computing
Special Session on Grid and System Software -- TeraGrid: A Foundation for US Cyberinfrastructure -- Globus Toolkit Version 4: Software for Service-Oriented Systems -- System Software for China National Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System -- Performance Modeling and Analysis for Resource Scheduling in Data Grids -- Study on ?-Calculus …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322467
- Deskripsi Fisik
- XVI, 514 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multimedia Encryption and Watermarking
to Multimedia Security -- Digital Rights Management for Multimedia -- Multimedia Cryptography -- to Multimedia Encryption -- An Overview of Modern Cryptography -- Important Modern Cryptosystems -- Image Encryption Algorithms -- Video Encryption Algorithms -- Speech and Audio Encryption -- Visual and Audio Secret Sharing -- Multimedia Watermarking -- to Watermarking -- Applications of Digital Wa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387260907
- Deskripsi Fisik
- XVII, 327 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Adaptive Agents and Multi-Agent Systems II
Gödel Machines: Towards a Technical Justification of Consciousness -- Postext – A Mind for Society -- Comparing Resource Sharing with Information Exchange in Co-operative Agents, and the Role of Environment Structure -- Baselines for Joint-Action Reinforcement Learning of Coordination in Cooperative Multi-agent Systems -- SMART (Stochastic Model Acquisition with ReinforcemenT) Learning Agent…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322740
- Deskripsi Fisik
- VIII, 313 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Abstraction, Reformulation and Approximation
Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains -- Synthesizing Plans for Multiple Domains -- Abstract Policy Evaluation for Reactive Agents -- Implementing an Abstraction Framework for Soft Constraints -- Transforming and Refining Abstract Constraint Specifications -- Learning Regular Expres…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318828
- Deskripsi Fisik
- XII, 380 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Topology and Geometry in Physics
Introduction and Overview (E. Bick, F.D. Steffen) -- Topological Concepts in Gauge Theories (F. Lenz) -- Aspects of BRST Quantization (J.W. van Holten) -- Chiral Anomalies and Toplogy (J. Zinn-Justin) -- Supersymmetric Solitons and Topology (M. Shifman) -- Forces From Connes`Geometry (T. Schücker).Application of the concepts and methods of topology and geometry have led to a deeper understandi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315322
- Deskripsi Fisik
- XIII, 362 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Pro JSP 2
The Anatomy of JavaServer Page -- Servlets and Development -- The JavaServer Pages Expression Language -- JavaServer Pages Standard Tag Library -- JavaServer Faces -- Tag Files and Simple Tags -- Classic Tags -- Custom Tag Advanced Features and Best Practices -- Data Access Options for Web Applications -- to Filtering -- Advanced Filtering Techniques -- Security in Web Applications -- Improving…
- Edisi
- 4th ed.
- ISBN/ISSN
- 9781430201113
- Deskripsi Fisik
- 728 p.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