|
|
 |
|
HOME > BROWSE BY SUBJECTS > COMPUTER SCIENCE > SOFTWARE ENGINEERING
|
|
|
|
|
- 3D Online Multimedia and Games
Processing, Transmission and Visualization
- Acquisition of Software Engineering Knowledge
SWEEP: An Automatic Programming System Based on Genetic Programming and Cultural Algorithms
- Activity and Understanding
Structure of Action and Orientated Linguistics
- Advanced Mathematical and Computational Tools in Metrology VI
- Advanced Mathematical and Computational Tools in Metrology VII
- Advanced Mathematical and Computational Tools in Metrology and Testing
AMCTM VIII
- Advanced Reliability Modeling
Proceedings of the 2004 Asian International Workshop (AIWARM 2004)
- Advances in Chinese Computer Science
(Volume 1)
- Advances in Chinese Computer Science
(Volume 2)
- Advances in Chinese Computer Science
(Volume 3)
- Advances in Distributed Multimedia Systems
- Advances in Informatics
Proceedings of the 7th Hellenic Conference on Informatics (HCI '99)
- Advances in Software Engineering and Knowledge Engineering
- Agent Engineering
- Agents as Objects with Knowledge Base State
- Algebraic Approach to Compiler Design, An
- Algebraic Specification Techniques and Tools for Software Development: The Act Approach
- Algorithmic Aspects of VLSI Layout
- Algorithms
Design Techniques and Analysis
- Algorithms and Architectures for Parallel Processing
ICA3PP 2000
Proceedings of the 4th International Conference
- Applications of C++ Programming: Administration, Finance and Statistics
- Applied Computational Intelligence
Proceedings of the 6th International FLINS Conference
- Array Grammars, Patterns and Recognizers
- Artificial Intelligence Methods in Software Testing
- Automated Database Applications Testing
Specification Representation for Automated Reasoning
- Basic and New Aspects of Gastrointestinal Ultrasonography
- Basics of Contemporary Cryptography for IT Practitioners
- Building Secure and High-Performance Software Systems
- C++ Programming with Applications in Administration, Finance
and Statistics
(Includes the Standard Template Library)
- CafeOBJ Report
The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
- Cellular Neural Networks and Their Applications
Proceedings of the 7th IEEE International Workshop
- Challenges in Information Technology Management
Proceedings of the International Conference
- Challenging the Boundaries of Symbolic Computation
(With CD-ROM)
Proceedings of the Fifth International Mathematica Symposium
- Classical and Quantum Dynamics of the Multispherical Nanostructures, The
- Compact Hierarchical Bipolar Transistor Modeling with HICUM
- Component-Based Software Development
Case Studies
- Computational Intelligence in Software Engineering
- Computational Intelligence in Software Quality Assurance
- Computational Model of First Language Acquisition, A
- Computer Algebra with SymbolicC++
- Computer and Network Technology
Proceedings of the International Conference on ICCNT 2009
- Computer Mathematics
Proceedings of the Fifth Asian Symposium (ASCM 2001)
- Computer Mathematics
Proceedings of the Sixth Asian Symposium (ASCM 2003)
- Computing and Information Technologies
Exploring Emerging Technologies
Proceedings of the International Conference
- Construction and Analysis of Transition Systems with MEC
- Coordination Programming: Mechanisms, Models and Semantics
- Derivatives Algorithms
Volume 1: Bones
- Design and Implementation of Concurrentsmalltalk, The
- Design of Modern Highrise Reinforced Concrete Structures
- Elimination Practice
Software Tools and Applications
(With CD-Rom)
- Enterprise Architectures and Digital Administration
Planning, Design and Assessment
- Firewall Design and Analysis
- Fork Algebras in Algebra, Logic and Computer Science
- Foundations of Cryptography — A Primer
- FPGA Architecture
Survey and Challenges
- Fractal Growth
- Functions, Objects and Parallelism: Programming in Balinda K
- Fundamental Concepts in Computer Science
- Fuzzy and Uncertain Object-Oriented Databases
Concepts and Models
- Fuzzy-Logic-Based Programming
- Genetic Algorithms and Robotics
A Heuristic Strategy for Optimization
- Graph Drawing and Applications for Software and Knowledge Engineers
- Handbook of Software Engineering and Knowledge Engineering
Vol 1: Fundamentals
Vol 2: Emerging Technologies
- Handbook of Software Engineering and Knowledge Engineering
Vol 3: Recent Advances
- Hybrid Parallel Execution Model for Logic-Based Specification Languages
- ICTACS 2006
Proceedings of the First International Conference on Theories and Applications of Computer Science 2006
- Impact of Case Technology on Software Processes, The
- Innovation Was Not Enough
A History of the Midwestern Universities Research Association (MURA)
- Integrated and Collaborative Product Development Environment
Technologies and Implementations
- Intelligent Agent Technology
Research and Development
Proceedings of the 2nd Asia-Pacific Conference on IAT
- Intelligent Watermarking Techniques
(With CD-Rom)
- Interval Methods for Circuit Analysis
- Introduction to Computational Earthquake Engineering
(2nd Edition)
- Introduction to Digital Signal Processing
Computer Musically Speaking
- Introduction to Genetic Algorithms for Scientists and Engineers, An
- Introduction to Windows® and Graphics Programming with Visual C++® .Net
(With CD-Rom)
- Intrusion Detection
A Machine Learning Approach
- Jewels of Stringology
Text Algorithms
- Knowledge Grid, The
- Knowledge Grid, The
(2nd Edition)
- Knowledge Management and Intelligent Enterprises
9th IFIP 2.6 Working Conference on Database Semantics (DS-9)
- Knowledge-Based Software Development for Real-Time Distributed Systems
- Language Architectures and Programming Environments
- Language Prototyping: An Algebraic Specification Approach
- Lecture Notes on Empirical Software Engineering
- Machine Learning Applications in Software Engineering
- Mathematical Frameworks for Component Software
Models for Analysis and Synthesis
- Mathematical Logic for Computer Science
- Mathematical Tools in Computer Graphics with C# Implementations
- Mathematical Tools in Signal Processing with C++ and Java Simulations
- MATLAB
Data Analysis and Visualization
- Matrix Calculus and Kronecker Product with Applications and C++ Programs
- Metrics for Software Conceptual Models
- Mindsteps to the Cosmos
- Modern Applications of Automata Theory
- Molecular Electronics
Commercial Insights, Chemistry, Devices, Architecture and Programming
- Multicore Systems-on-Chip
Practical Hardware/Software Design Issues
- Multimedia Modeling
Modeling Multimedia Information and Systems (MMM 2000)
- Multimedia Modeling (MMM '99)
Modeling Multimedia Information and Systems
Proceedings of the First International Workshop
- Multiple Criteria and Multiple Constraint Levels Linear Programming
Concepts, Techniques and Applications
- Mystery of Knots, The
Computer Programming for Knot Tabulation
- Net Theory and Its Applications
Flows in Networks
- New Approaches to Knowledge Acquisition
- New Horizon in Web-Based Learning
Proceedings of the Third International Conference on Web-based Learning (ICWL 2004)
- New Trends in Software Process Modelling
- Nonlinear Workbook, The
Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden Markov Models, Fuzzy Logic with C++, Java and SymbolicC++ Programs
(3rd Edition)
- Nonlinear Workbook, The
Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden Markov Models, Fuzzy Logic with C++, Java and SymbolicC++ Programs
(4th Edition)
- Non-Deterministic Concurrent Logic Programming in Pandora
- Object Categorization
- Object-Oriented Software: Design and Maintenance
- Object-Oriented Technology for Database and Software Systems
- Open Source
A Multidisciplinary Approach
- Planar Graph Drawing
- Practical Applications of Soft Computing in Engineering
- Practical Guide to Computer Simulations
(With CD-ROM)
- Problems and Solutions in Scientific Computing With C++ and Java Simulations
- Proceedings of the 3rd Asia-Pacific Bioinformatics Conference
- Promise and Limits of Computer Modeling, The
- P-Prolog — A Parallel Logic Programming Language
- Rapid Prototyping
Principles and Applications
2nd Edition (with Companion CD-ROM)
- Real Time Programming: Languages, Specification and Verification
- Recent Advances in Computational Science and Engineering
Proceedings of the International Conference on Scientific and Engineering Computation (IC-SEC) 2002
- Reliability Modeling, Analysis and Optimization
- RLISP '88
An Evolutionary Approach to Program Design and Reuse
- Security Modeling and Analysis of Mobile Agent Systems
- Software Engineering and Knowledge Engineering: Trends for the Next Decade
- Software Engineering of Fault Tolerant Systems
- Software Maintenance
Concepts and Practice
(Second Edition)
- Software Reliability Modelling
- Software Science and Engineering
Selected Papers from the Kyoto Symposia
- Software Technology and Engineering
Proceedings of the International Conference on ICSTE 2009
- Software Visualisation
- Specification in B: An Introduction Using the B Toolkit
- Stability and Time-Optimal Control of Hereditary Systems
With Application to the Economic Dynamics of the US
(2nd Edition)
- String Searching Algorithms
- System Software and Software Systems
Concepts and Methodology
Vol. 1: Systems Methodology for Software
- System Software and Software Systems
Concepts and Methodology
Vol. 2: Execution Support Environment
- Systems for All
- Theories and Experiences For Real-Time System Development
- Theory and Algorithms for Cooperative Systems
- Type and Effect Systems
Behaviours for Concurrency
- Uncertainty in Intelligent and Information Systems
- Understanding and Learning Statistics by Computer
- Use of High Performance Computing in Meteorology
Proceedings of the Twelfth ECMWF Workshop
- Virtual Reality Software and Technology
Proceedings of the VRST '94 Conference
- Visual Editing on Unix
|
|
