Ditapis dengan
Typed Lambda Calculi and Applications
Completeness Theorems and ?-Calculus -- Completeness Theorems and ?-Calculus -- A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract -- Can Proofs Be Animated By Games? -- Contributed Papers -- Untyped Algorithmic Equality for Martin-Löf’s Logical Framework with Surjective Pairs -- The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320142
- Deskripsi Fisik
- XII, 436 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Global Computing
Symbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via Graph Transformation -- Mobile UML Statecharts with Localities -- Communities: Concept-Based Querying for Mobile Services -- Towards a Formal Treatment of Secrecy Against Computational Adversaries -- For-LySa: UML for Authentication Analysis -- Performance Analysis of a UML Micro-business Case Study -- …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317944
- Deskripsi Fisik
- VIII, 376 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Composition
Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments -- Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models -- Directory Support for Large-Scale, Automated Service Composition -- Component Controls and Protocols -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540287490
- Deskripsi Fisik
- X, 202 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementation and Application of Functional Languages
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Stric…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320388
- Deskripsi Fisik
- X, 230 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Static Analysis
Invited Talks -- Algorithmic Game Semantics and Static Analysis -- From Typed Process Calculi to Source-Based Security -- Contributed Papers -- Widening Operators for Weakly-Relational Numeric Abstractions -- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra -- Inference of Well-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319719
- Deskripsi Fisik
- X, 374 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Generative Programming and Component Engineering
Invited Talks -- Object-Oriented Reengineering Patterns — An Overview -- abc: The AspectBench Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language -- On Domain-Specific Languages Reengineering -- Bossa Nova: Introducing Modularity into the …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319771
- Deskripsi Fisik
- XII, 452 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Inductive Logic Programming
Research Papers -- An Output-Polynomial Time Algorithm for Mining Frequent Closed Attribute Trees -- Guiding Inference Through Relational Reinforcement Learning -- Converting Semantic Meta-knowledge into Inductive Bias -- Learning Teleoreactive Logic Programs from Problem Solving -- A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inver…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318514
- Deskripsi Fisik
- XIV, 434 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementing Distributed Systems with Java and CORBA
Preliminaries -- Concepts of the CORBA Standard -- to the Interface Definition Language -- IDL to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects -- Alternatives for Designing IDL Interfaces -- Inheritance and Polymorphism -- Implementing Distributed Callbacks -- Utilizing Value Types -- Utilizing Interfaces of the DynamicAny Module -- Dynam…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540280477
- Deskripsi Fisik
- XIV, 346 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Pro Apache Log4j
to Application Logging -- Understanding Apache log4j -- Destination of Logging—The Appender Objects -- Formatting Logging Information in log4j -- Filtering, Error Handling, and Special Rendering of Log Messages -- Extending log4j to Create Custom Logging Components -- A Complete log4j Example -- log4j and J2EE -- Using the Apache Log Tag Library -- Best Practices and Looking Forward to 1.3.In…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9781430200345
- Deskripsi Fisik
- XX, 202 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Genetic Programming Theory and Practice II
Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using Genetic Programming with Lambda Abstraction -- Using Genetic Programming in Industrial Statistical Model Building -- Population Sizing for Genetic Programming Based on Decision-Making -- Considering the Roles of Structure in Problem Solving by Computer -- Lessons Learned Using Genetic Programming in …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387232546
- Deskripsi Fisik
- XVI, 320 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