Ditapis dengan
Theorem Proving in Higher Order Logics
Invited Papers -- On the Correctness of Operating System Kernels -- Alpha-Structural Recursion and Induction -- Regular Papers -- Shallow Lazy Proofs -- Mechanized Metatheory for the Masses: The PoplMark Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS -- Proving Equalities in a Commutative Ring Done Right in Coq -- A …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318200
- Deskripsi Fisik
- X, 414 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theoretical Aspects of Computing - ICTAC 2005
Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks -- Component-Based Software Engineering -- Formal Languages -- Outfix-Free Regular Languages and Prime Outfix-Free Decomposi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320722
- Deskripsi Fisik
- XIV, 618 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Platform-Centric Approach to System-on-Chip (SOC) Design
to SoC Design -- Platform-Centric SoC Design Methodology -- to UML and XML -- Library of Platform Objects -- UML Profile for Codesign Modeling Frame (CMF) -- Design Case Study: A Digital Camera -- Summary.Increasing system complexity has created a pressing need for better design tools and associated methodologies and languages for meeting the stringent time to market and cost constraints. Platf…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387238968
- Deskripsi Fisik
- XII, 206 p. 67 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Technology Enhanced Learning
E-Laboratories from Theory to Practice -- The Lab@Future Project -- Virtual Laboratories in Education -- E-Learning Evaluation and Usability -- Clustering Students to Help Evaluate Learning -- Issues on School E-Laboratories in Science Teaching -- Computer-Automated Testing: An Evaluation of Student Performance -- A Model For Designing and Evaluating Teacher Training Programs in Technology Educ…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387240473
- Deskripsi Fisik
- XI, 188 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science and Its Applications - ICCSA 2005
Grid Computing and Peer-to-Peer (P2P) Systems Workshop -- Spatial Analysis and GIS: Local or Global? Workshop -- Computer Graphics and Rendering Workshop -- Data Mining and Bioinformatics Workshop -- Parallel and Distribuited Computing Workshop -- Symbolic Computation, SC 2005 Workshop -- Specific Aspects of Computational Physics for Modeling Suddenly-Emerging Phenomena Workshop -- Internet Com…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320456
- Deskripsi Fisik
- CXXXII, 1342 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science and Its Applications - ICCSA 2005
Approaches or Methods of Security Engineering Workshop -- Information Security and Hiding (ISH 2005) Workshop -- Modeling of Location Management in Mobile Information Systems Workshop -- Intelligent Multimedia Services and Synchronization in Mobile Multimedia Networks Workshop -- Ubiquitous Web Systems and Intelligence Workshop -- Modelling Complex Systems Workshop.The four volume set assembled…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320449
- Deskripsi Fisik
- CXXXII, 1316 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science and Its Applications - ICCSA 2005
Information and Communication Technology (ICT) Education Workshop -- Digital Device for Ubiquitous Computing Workshop -- Optimization: Theories and Applications (OTA) 2005 Workshop -- Tracks.The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore,…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540323099
- Deskripsi Fisik
- XXVII, 1353 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
High Performance Computing for Computational Science - VECPAR 2004
1: Large Scale Computations -- Large Scale Simulations -- Development and Integration of Parallel Multidisciplinary Computational Software for Modeling a Modern Manufacturing Process -- Automatically Tuned FFTs for BlueGene/L’s Double FPU -- A Survey of High-Quality Computational Libraries and Their Impact in Science and Engineering Applications -- A Performance Evaluation of the Cray X1 for …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318545
- Deskripsi Fisik
- XI, 732 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Evolutionary Multiobjective Optimization
Evolutionary Multiobjective Optimization -- Recent Trends in Evolutionary Multiobjective Optimization -- Self-adaptation and Convergence of Multiobjective Evolutionary Algorithms in Continuous Search Spaces -- A Simple Approach to Evolutionary Multiobjective Optimization -- Quad-trees: A Data Structure for Storing Pareto Sets in Multiobjective Evolutionary Algorithms with Elitism -- Scalable Te…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846281372
- Deskripsi Fisik
- XVIII, 302 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