Ditapis dengan
Scenarios: Models, Transformations and Tools
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
- -
Reasoning Web
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
- -
Recent Advances in Constraints
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
- -
Modal, tingkat likuiditas bank, NPL dan pertumbuhan kredit perbankan Indonesia.
Matrik : Jurnal Manajemen, Strategi Bisnis dan Kewirausahaan Vol 13 No 1 Februari 2019 (Rak 6 – L : Ekonomi, Akuntansi dan Bisnis)
- Edisi
- -
- ISBN/ISSN
- 2302-8890
- Deskripsi Fisik
- hal. 96-107.: ilus., tab.; 30 cm
- Judul Seri
- -
- No. Panggil
- JURNAL|||#
Sociology in the Czech Republic
Introduction: An Institutional History of Sociology in the Czech Republic -- 1: Sociology in Service to Nation-Building: The Legacy of Tomáš Garrigue Masaryk -- 2: A False Beginning? The Growth and Destruction of Czech Sociology 1918-1950 -- 3: 1950-1969: Becoming a Counsellor to the Socialist Prince -- 4: 1969-1989: The Long Hour of Party Ideologists -- 5: The 1990s: Reconstruction and the T…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781137450272
- Deskripsi Fisik
- XIII, 150 p. 5 illus.online resource.
- Judul Seri
- Sociology Transformed
- No. Panggil
- -
The Palgrave Handbook of Linguistic (Im)politeness
- Chapter 1: Introduction; Jonathan Culpeper, Michael Haugh and Dániel Kádár -- PART I: FOUNDATIONS -- Chapter 2: Pragmatic approaches to (im)politeness; Jonathan Culpeper and Marina Terkourafi -- Chapter 3: Socio-cultural approaches to (im)politeness; Sara Mills -- Chapter 4: Ideology and (im)politeness; Manfred Kienpointner and Maria Stopfner -- Chapter 5: Face and (im)politeness; Jim O’…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781137375087
- Deskripsi Fisik
- XXI, 824 p. 21 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Exploring Discourse in Context and in Action
- Introduction -- PART I: CONCEPTS AND ISSUES -- Chapter 1: Discourses on discourse -- Chapter 2: Who’s involved in discourse? -- Chapter 3: What is it that’s going on here? -- Chapter 4: How do you know that? -- Chapter 5: Why that now? -- Chapter 6: What actions are being taken here, by whom and why? -- Chapter 7: How do discourse and social change drive each other? -- PART II: A MULTI-PE…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781137315069
- Deskripsi Fisik
- XIX, 311 p. 7 illus., 1 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Traffic and Granular Flow ' 03
Empirical Traffic Data -- Lane-Change Maneuvers Consuming Freeway Capacity -- Empirical Description of Car-Following -- Optimization Potential of a Highway Network: An Empirical Study -- Observation, Theory and Experiment for Freeway Traffic as Physics of Many-Body System -- Fluctuation in Expressway Traffic Flow -- Calibration and Validation of Microscopic Traffic Flow Models -- Real Highway T…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540280910
- Deskripsi Fisik
- XIV, 602 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Techniques of Variational Analysis
and Notation -- Variational Principles -- Variational Techniques in Subdifferential Theory -- Variational Techniques in Convex Analysis -- Variational Techniques and Multifunctions -- Variational Principles in Nonlinear Functional Analysis -- Variational Techniques In the Presence of Symmetry.Variational arguments are classical techniques whose use can be traced back to the early development of…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387282718
- Deskripsi Fisik
- VI, 362 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Operator Theory, Operator Algebras, and their Applications
On Existence of Solutions of Semilinear Impulsive Functional Differential Equations with Nonlocal Conditions -- On Banach-Lie Algebras, Spectral Decompositions and Complex Polarizations -- Commuting Triples of Subnormal Operators and Related Moment Problems -- The Equality of the Reduced and the Full C*-Algebras and the Amenability of a Topological Groupoid -- ?-Numerical Radius in Banach Space…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783764373146
- Deskripsi Fisik
- XVI, 344 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