Ditapis dengan
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
- -
Software Engineering for Multi-Agent Systems III
Agent Methodologies and Processes -- From Object-Oriented to Agent-Oriented Software Engineering Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System Development -- Requirements Engineering and Software Architectures -- A Social-Driven Design…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318460
- Deskripsi Fisik
- XII, 291 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Integrated Formal Methods
Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations in the Abstract or the Concrete -- Session: Components -- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322405
- Deskripsi Fisik
- XI, 407 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Guide to RISC Processors
Overview -- Processor Design Issues -- RISC Principles -- Architectures -- MIPS Architecture -- SPARC Architecture -- PowerPC Architecture -- Itanium Architecture -- ARM Architecture -- MIPS Assembly Language -- SPIM Simulator and Debugger -- Assembly Language Overview -- Procedures and the Stack -- Addressing Modes -- Arithmetic Instructions -- Conditional Execution -- Logical and Shift Operat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387274461
- Deskripsi Fisik
- XVI, 388 p. 80 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Process Modeling
Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open Source Software Development Process Modeling -- Software Dependability Applications in Process Modeling -- Simulation Process Modelling for Managing Software Evolution -- Software Process Modelling -- Motivation and Process Improvement -- Managing Organizational Change for Software Process Improvemen…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387242620
- Deskripsi Fisik
- XXIV, 208 p. 59 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Agent-Based Applications, Platforms and Development Kits
The JADE Platform and Experiences with Mobile MAS Applications -- A-globe: Agent Development Platform with Inaccessibility and Mobility Support -- Supporting Agent Development in Erlang through the eXAT Platform -- Living Systems® Technology Suite -- Multi Agent System Development Kit -- An Integrated Development Environment for Electronic Institutions -- Jadex: A BDI-Agent System Combining Mi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783764373481
- Deskripsi Fisik
- XII, 451 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