Kategoria: informatyka / computer science
Strona: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 87 | 88 | 89 | 90 | 91 | 92 | 93 | 94 | 95 | 96 | 97 | 98 | 99 | 100 | 101 | 102 | 103 | 104 | 105 | 106 | 107 | 108 | 109 | 110 | 111 | 112 | 113 | 114 | 115 | 116 | 117 | 118 | 119 | 120 | 121 | 122 | 123 | 124 | 125 | 126 | 127 | 128 | 129 | 130 | 131 | 132 | 133 | 134 | 135 | 136 | 137 | 138 | 139 | 140 | 141 |
HPC@Green IT
Ethical and Social Issues in the Information Age
VMware vSphere 4 Implementation
CompTIA A+ Certification All-in-One Exam Guide, (Exams 220-701 & 220-702)
Algorithms and Programming
OCA Oracle Database SQL Expert Exam Guide
Mathematical Logic
Security for Web Services and Service-Oriented Architectures
Transactions on Data Hiding and Multimedia Security I
Empirical Software Engineering Issues
Evolutionary Computation in Combinatorial Optimization
Designing Smart Homes
Refinement Techniques in Software Engineering
Pixelization Paradigm
Component-Based Software Engineering
Model-Driven Architecture in Practice
Software Agent-Based Applications, Platforms and Development Kits
E-Business at Print
Wireless Systems and Mobility in Next Generation Internet
Security and Privacy in Ad-hoc and Sensor Networks
Principles of Secure Network Systems Design
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search
Dependable Systems: Software, Computing, Networks
Building Service-Aware Networks
Object Oriented Software Engineering Using UML 3e
Beginning Visual C++ 6
Economics of Identity Theft: Avoidance, Causes and Possible Cures
Computational Color Imaging
Interconnecting Data Centers Using VPLS
IP Design for Mobile Networks
Touch of Class
Cisco LAN Switching Configuration Handbook 2e
Functional Data Analysis with R and MATLAB
Methods of Algorithmic Language Implementation
A Concurrent Pascal Compiler for Minicomputers
Alternating Sequential-Parallel Processing
Logic Programming '87
Software Engineering Education
Software Engineering Education
COLOG-88
Specification and Transformation of Programs
On the Computational Geometry of Pocket Machining
Category Theory and Computer Science
Fundamentals of Computation Theory
Computational Geometry - Methods, Algorithms and Applications
Specification and Compositional Verification of Real-Time Systems
Aspects of Automated Natural Language Generation
Ada: Moving Towards 2000
Compiler Construction
Parallel Image Analysis
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Nonmonotonic and Inductive Logic
Live Data Structures in Logic Programs
Parallel Architectures and Their Efficient Use
Resolution Methods for the Decision Problem
Ray Shooting, Depth Orders and Hidden Surface Removal
Field-Programmable Gate Arrays:
Artificial Perception and Music Recognition
Artificial Intelligence and Symbolic Mathematical Computing
Conceptual Structures: Theory and Implementation
A Course in Number Theory and Cryptography
Visualization of Scientific Parallel Programs
Hardware and Software Architectures for Fault Tolerance
Knowledge Representation and Reasoning Under Uncertainty
Qualitative Representation of Spatial Knowledge
Isabelle
Conceptual Structures: Current Practices
Treewidth
Parallel Computer Routing and Communication
Evolutionary Computing
Machine Translation and the Lexicon
Advanced Functional Programming
Distributed Algorithms
KI-95: Advances in Artificial Intelligence
Correct Hardware Design and Verification Methods
Advances in Case-Based Reasoning
Software Configuration Management
Functional Programming Languages in Education
Tools and Algorithms for the Construction and Analysis of Systems
Cryptography and Coding
Cryptography: Policy and Algorithms
Extensions of Logic Programming
Solving Combinatorial Optimization Problems in Parallel Methods and Techniques
Logic Program Synthesis and Transformation
Logics for Concurrency
Towards Evolvable Hardware
Multimedia, Hypermedia, and Virtual Reality: Models, Systems, and Application
Reasoning with Logic Programming
Information Theory and Applications II
Grammatical Inference: Learning Syntax from Sentences
Multimedia, Telecommunications, and Applications
Information Security and Privacy
Automatic Ambiguity Resolution in Natural Language Processing
Creating Personalities for Synthetic Actors
Intelligent Agent Systems
Reliable Software Technologies - Ada-Europe '97
Visual Information Systems
Intelligent Hypertext
Scientific Computing in Object-Oriented Parallel Environments
Cryptography and Coding