Ditapis dengan
Lie Theory
to Symmetric Spaces and Their Compactifications -- Compactifications of Symmetric and Locally Symmetric Spaces -- Restrictions of Unitary Representations of Real Reductive Groups.Semisimple Lie groups, and their algebraic analogues over fields other than the reals, are of fundamental importance in geometry, analysis, and mathematical physics. Three independent, self-contained volumes, under the…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780817644307
- Deskripsi Fisik
- X, 207 p. 20 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Lie Theory
The Plancherel Theorem for a Reductive Symmetric Space -- The Paley—Wiener Theorem for a Reductive Symmetric Space -- The Plancherel Formula on Reductive Symmetric Spaces from the Point of View of the Schwartz Space.Semisimple Lie groups, and their algebraic analogues over fields other than the reals, are of fundamental importance in geometry, analysis, and mathematical physics. Three indepen…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780817644260
- Deskripsi Fisik
- VIII, 175 p. 3 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
EU Internet Law
Part I Personal data protection: What perspectives? -- Part II Effective consumer protection in the digital age -- Part III Intellectual property law in the internet era -- Part IV Internet, news media and human rights.This book provides an overview of recent and future legal developments concerning the digital era, to examine the extent to which law has or will further evolve in order to adapt…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319649559
- Deskripsi Fisik
- XX, 433 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Engineering Human Computer Interaction and Interactive Systems
Usability -- Bringing Usability Concerns to the Design of Software Architecture -- Empirical Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific Usability Measures -- Software Architecture Analysis of Usability -- Task Modelling -- Support for Task Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Archit…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319610
- Deskripsi Fisik
- XII, 404 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications and Theory of Petri Nets 2005
Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov N…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315599
- Deskripsi Fisik
- XI, 475 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Agent Communication
Section I: Social Commitments -- Agent Communication and Institutional Reality -- Conversational Semantics with Social Commitments -- A Semantic Approach for Designing Commitment Protocols -- Section II: Multi-party Communication -- A Scalable Petri Net Representation of Interaction Protocols for Overhearing -- First Steps Towards Multi-party Communication -- Section III: Content Languages -- O…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322580
- Deskripsi Fisik
- X, 266 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logical Aspects of Computational Linguistics
LACL -- k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages -- Dependency Structure Grammars -- Towards a Computational Treatment of Binding Theory -- Translating Formal Software Specifications to Natural Language -- On the Selective Lambek Calculus -- Grammatical Development with Xmg -- Lambek-Calculus with General Elimination Rules and Continuation …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319535
- Deskripsi Fisik
- X, 366 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Energy and Environment
North — South Trade and the Sustainability of Economic Growth: A Model with Environmental Constraints -- A Coupled Bottom-Up/Top-Down Model for GHG Abatement Scenarios in the Swiss Housing Sector -- Moderated Decision Support and Countermeasure Planning for Off-Site Emergency Management -- Hybrid Energy-Economy Models and Endogenous Technological Change -- The World-Markal Model and Its Appli…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387253527
- Deskripsi Fisik
- XVIII, 282 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Epigenetics and Chromatin
Chromatin Remodeling Factors and DNA Replication -- Epigenetic Inheritance of Chromatin States Mediated by Polycomb and Trithorax Group Proteins in Drosophila -- How to Pack the Genome for a Safe Trip -- Chromatin Modifications on the Inactive X Chromosome -- Chromatin Mechanisms in Drosophila Dosage Compensation -- DNA Methylation in Epigenetic Control of Gene Expression -- The Epigenetic Brea…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540273103
- Deskripsi Fisik
- XIII, 266 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Simulation Training: Fundamentals and Applications
Introduction -- Reflections and theoretical contributions regarding trainers’ practices and simulation -- Airliners Flying -- Piloting nuclear reactors -- The simulator of critical situations in Anesthesia -- Surgical virtual simulation: the first steps of a new training -- Simulation to train hot rolling mill operators in metalwork.Drawing on decades of industrial experience, this insightful…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319199146
- Deskripsi Fisik
- XXII, 148 p. 28 illus., 21 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