Ditapis dengan
Geodynamics and Earth Tides Observations from Global to Micro Scale
Agnew, D.C. An Improbable Observation of the Diurnal Core Resonance -- Bán, D., Mentes, G., Kis, M., and Koppán, A. Observation of the Earth Liquid Core Resonance by Extensometers -- Varga, P., Grafarend, E., and Engels, J. Relation of Different Type Love–Shida Numbers Determined with the Use of Time-Varying Incremental Gravitational Potential -- Varga, P., and Grafarend, E. Influence of Ti…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319962771
- Deskripsi Fisik
- VII, 331 p. 192 illus., 159 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Popigai Impact Structure and its Diamond-Bearing Rocks
Introduction -- Main geological features of impact crater and its environment -- Concentric structural zones and their lithological features -- Petrography of shock-metamorphosed crystalline rocks, impact breccias and impactites -- Petrochemistry and geochemistry of impactites and target rocks -- Impact diamonds from shocked crystalline rocks and impactites -- General patterns of impact diamond…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319779881
- Deskripsi Fisik
- XIV, 204 p. 85 illus., 13 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Charting a New Course: Natural Language Processing and Information Retrieval.
A Retrospective View of Synonymy and Semantic Classification -- On the Early History of Evaluation in IR -- The Emergence of Probabilistic Accounts of Information Retrieval -- Lovins Revisited -- The History of IDF and Its Influences on IR and Other Fields -- Beyond English Text: Multilingual and Multimedia Information Retrieval -- Karen Spärck Jones and Summarization -- Question Answering -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402034671
- Deskripsi Fisik
- XXIII, 283 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Uji Aktivitas Nefroprotektif Serbuk Ikan Gabus (Channa striata) dengan Parame…
Skripsi-F. Matematika dan Ilmu Pengetahuan Alam-M0616037-2020
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- xvii, 119 hal.: ilus., lamp., tab.; 30 cm.
- Judul Seri
- -
- No. Panggil
- -
Progress in Cryptology - INDOCRYPT 2005
Invited Talk -- Abelian Varieties and Cryptography -- Sequences -- Proof of a Conjecture on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function and S-Box -- On the Algebraic Immunity of Symmetric Boolean Functions -- On Highly Nonlinear S-Boxes and Their Inability to Thwart DPA Attacks -- Hash Functions -- How to Construct Universal One-Way…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322788
- Deskripsi Fisik
- XIV, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Argumentation in Multi-Agent Systems
Foundations of Dialogues -- Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues -- Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication -- Formal Dialectic Specification -- A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication -- Layered Strategies and Protocols for Argumentation-Based Agent Interaction -- Bel…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322610
- Deskripsi Fisik
- XII, 263 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Network Control and Engineering for QOS, Security and Mobility, III
Network Policy -- Configuration Model for Network Management -- On-Line Control of Service Level Agreements -- Revenue-Aware Resource Allocation in the Future Multi-Service IP Networks -- Network Security -- A Kerberos-Based Authentication Architecture for WLANS -- An Efficient Mechanism to Ensure Location Privacy in Telecom Service Applications -- Network Security Management: A Formal Evaluati…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387231983
- Deskripsi Fisik
- XIV, 348 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
- -
Pro DNS and BIND
Principles and Overview -- An Introduction to DNS -- Zone Files and Resource Records -- DNS Operations -- DNS Types -- DNS and IPv6 -- Get Something Running -- Installing BIND -- BIND Type Samples -- Common DNS Tasks -- DNS Diagnostics and Tools -- DNS Security -- DNS Secure Configurations -- DNSSEC -- Reference -- BIND Configuration Reference -- Zone File Reference -- Proqramming -- BIND APIs …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200505
- Deskripsi Fisik
- 608 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Impact of the Environment on Human Migration in Eurasia
Archaeology -- Chronology and Cultural Affinity of the Kurgan Arzhan-2 Complex According to Archaeological Data -- Some Chronological Problems of European Scythia: Archaeology and Radiocarbon -- Migrations of Early Nomads of the Eurasian Steppe in a Context of Climatic Changes -- The North Black Sea Steppes in the Cimmerian Epoch -- Chronology -- Radiocarbon, the Calibration Curve and Scythian …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402026560
- Deskripsi Fisik
- XIV, 334 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