Don't Miss
More at Powell's
Interviews | November 3, 2009
By Sheila A.
 Donald Miller is a Christian writer, but the question that Miller asks with his latest memoir, A Million Miles in a Thousand Years, is applicable to...
Continue »
-
 |
On Order
Currently out of stock.
available for shipping or prepaid pickup only
| Qty |
Store |
Section |
| - |
Local Warehouse |
Internet- Information |
Other titles in the Lecture Notes in Computer Science, series:
- Generational Accounting: Theory and Application
- Peptide Arrays on Membrane Supports: Synthesis and Applications
- Remediation of Abandoned Surface Coal Mining Sites
- Cloud Multi-Phase Processes and High Alpine Air and Snow Chemistry
- GI-Ntg Fachtagung Struktur Und Betrieb Von Rechensystemen
- GI-Bifoa Internationale Fachtagung: Informationszentren in Wirtschaft Und Verwaltung
- Supersymmetry Structure & Phenomena E
- Ecosystem Approaches to Landscape Management in Central Europe
- Geoecology of Antarctic Ice-Free Coastal Landscapes
- Conserving Biological Diversity in East African Forests
- Applied Asymptotic Expansions in Momenta and Masses
- Modular Pricing of Options: An Application of Fourier Analysis
- Nonlinear Mhd Waves and Turbulence: Proceedings of the Workshop Held in Nice, France, 1-4 December 1998
- Job Scheduling Strategies for Parallel Processing: IPPS '95 Workshop, Santa Barbara, CA, April 25, 1995, Proceedings, Vol. VIII
- Algorithmic learning theory :7th international workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings
- Reasoning with uncertainty in robotics :international workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995 : proceedings
- Reasoning with logic programming
- Parallel Algorithms for Irregularly Structured Problems
- Principles and Practice of Constraint Programming - Cp'96
- Advances in Structural and Syntactical Pattern Recognition
- Algorithmic Number Theory
- Design & Implementation of Symbolic Computation Systems
- Advanced Functional Programming
- Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th Compass Workshop, Oslo, Norway, September 19-23, 1995 - Selected Papers
- Visualization in biomedical computing :4th International Conference, VBC '96, Hamburg, Germany, September 22-25, 1996 : proceedings
- The Data Parallel Programming Model
- KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996: Proceedings, Vol. 113
- Artificial Intelligence and Symbolic Mathematical Computation
- Algebraic and Logic Programming
- Evolutionary Computing
- Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996 - Proceedings, Vol. 114
- Grammatical Inference: Learning Syntax from Sentences:Third International Colloquium, ICGI-96, Montpellier, France, September 1996 Proceedings, Vol. 114
- Theorem proving in higher order logics :11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings
- Practice and Theory of Automated Timetabling
- Broadband Network Teletraffic: Performance Evaluation & Design of Broadband Multiservice Networks: Final Report of Action Cost 242, Vol. 115
- Parallel virtual machine, EuroPVM '96 :third European PVM conference, Munich, Germany, October 7-9, 1996 : proceedings
- Types for Proofs & Programs: International Workshop Types '95, Torino, Italy, June 5-8, 1995 Selected Papers, Vol. 115
- Managing information highways :the PRISM book : principles, methods, and case studies for designing telecommunications management systems
- Formal methods in computer-aided design :first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
- Building Tightly Integrated Software Development Environments Vol. IX: The IPSEN Approach
- Numerical analysis and its applications :first international workshop, WNAA '96, Rousse, Bulgaria, June 24-26, 1996 : proceedings
- STACS 97 :14th Annual Symposium on Theoretical Aspects of Computer Science, Lèubeck, Germany, February 27-March 1, 1997 : proceedings
- CVRMed-MRCAS '97 :First Joint Conference Computer Vision, Virtual Reality and Robotics in Medicine and Medical Robotics and Computer-Assisted Surgery, Grenoble, France, March 19-22, 1997 : proceedings
- Zum'97: The Z Formal Specification Notation
- Evolutionary Programming: 6th International Conference, EP97, Indianapolis, Indiana, U. S. A., April 13-16, 1997: Proceedings
- New Trends in Formal Languages: Control, Cooperation, & Combinatorics, Vol. 121
- Information processing in medical imaging :15th International Conference, IPMI'97, Poultney, Vermont, USA, June 9-13, 1997, proceedings
- Dialogue processing in spoken language systems :ECAI'96 workshop, Budapest, Hungary, August 13, 1996 : revised papers
- ADA 95 Rationale
- Application & Theory of Petri Nets 1997: Proceedings 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997
- Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, U. K., June 2-6, 1997 Proceedings
- Conceptual Structures: Fulfilling Peirce's Dream
- Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : Revised Papers
- Computing & Combinatorics: Proceedings, Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997, Vol. 127
- Parallel Computing Technologies
- Bioinformatics: Selected Papers, German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30-October 2, 1996
- Fundamentals of Computation Theory
- Advances in Intelligent Data Analysis. Reasoning about Data
- Theoretical Aspects of Computer Software: Proceedings, 3rd International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997
- Simulated Evolution and Learning
- Multi-Agent Systems Methodologies & Applications: Second Australian Workshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996, Selected Papers, Vol. 128
- Spatial Data Types for Database Systems
- Category Theory and Computer Science
- Programming Languages: Implementations, Logics, and Programs
- Mathematical Foundations of Computer Science 1997
- Computer analysis of images and patterns :7th International Conference, CAIP'97 : Kiel, Germany, September 10-12, 1997 : proceedings
- Algebraic & Logic Programming: 6th International Joint Conference, ALP 097-HOA 097, Southampton, U. K., September 3-5, 1997. Proceedings, Vol. 130
- KI-97: Advances in Artificial Intelligence
- Field Programmable Logic & Applications: 7th International Workshop, FPL '97, London, U. K., September, 1-3, 1997, Proceedings
- Visual Information Systems
- Database and Expert Systems Applications
- Interactive Distributed Multimedia Systems and Telecommunication Services
- AI*Ia 97: Advances in Artificial Intelligence
- Foundations of Intelligent Systems: 10th International Symposium, ISMIS '97, Charlotte, North Carolina, U .S. A., October 15-18, 1997: Proceedings, Vol. 132
- Intelligent Hypertext
- Logical Aspects of Computational Linguistics
- Principles and Practice of Constraint Programming - Cp97
- Recent advances in parallel virtual machine and message passing interface :4th European PVM/MPI Users' Group Meeting, Cracow, Poland, November 3-5, 1997 : proceedings
- SOFSEM'97 - Theory & Pactice of Informatics: Proceedings, 24th Seminar on Current Trends in Theory & Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997
- Algorithmic Foundations of Geographic Information Systems, Vol. 134
- Deductive & Object-Oriented Databases: Proceedings, 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-11, 1997, Vol. 134
- ADA 95: Quality and Style: Guidelines for Professional Programmers
- Discrete Geometry for Computer Imagery
- Recent Advances in AI Planning: Proceedings of the 4th European Conference on Planning, ECP 097, Toulouse, France, September 24-26, 1997
- Computer Vision - ACCV'98: 3rd Asian Conference on Computer Vision, Hong Kong, China, January 8-10, 1998, Proceedings, Vol. I
- Graph Drawing: Proceedings, 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997
- Semantics in Databases, Vol. 135
- Artificial Evolution: Third European Conference, Ae '97, Nimes, France, October 22-24, 1997, Selected Papers
- Coordination Technology for Collaborative Applications
- Languages & Compilers for Parallel Computing: 10th International Workshop, LCPC '97, Minneapolis, Minnesota, U. S. A., August 7-9, 1997. Proceedings
- Lectures on Proof Verification and Approximation Algorithms
- Database Programming Languages: 6th International Workshop, DBPL-6, Estes Park, Colorado, U. S. A., August 18-20, 1997
- STACS 98: Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Vol. 137
- Electronic publishing, artistic imaging, and digital typography :7th International Conference on Electronic Publishing, EP '98 held jointly with the 4th International Conference on Raster Imaging and
- Advances in Database Technology - EDBT'98: 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998, Proceedings
- Foundations of Software Science and Computation Structures
- Latin'98: Theoretical Informatics
- Programming Languages & Systems: 7th European Symposium on Programming, ESOP'98, Held As Part of the Joint European Conferences on Theory & Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-A
- Genetic Programming
- Information Security: First International Workshop, ISW '97 Tatsunokuchi, Ishikawa, Japan, September 1997, Vol. 139
- Trends in Distributed Systems for Electronic Commerce
- Advances in Cryptology - EUROCRYPT '98: International Conference on the Theory & Application of Cryptographic Techniques, Espoo, Finland, May 31-June 4, 1998, Proceedings
- Practice & Theory of Automated Timetabling II: Selected Papers of the 2nd International Conference, PATAT/97, Toronto, Canada, August 20-22, 1997
- Computer Aided Verification
- Public Key Cryptography: First International Workshop on Practice on Theory in Public Key Cryptography, PKC '98, Pacifico Yokohama, Japan, February 5-6, 1998, Proceedings
- Algorithm Theory SWAT '98: 6th Scandinavian Workshop on Alforithm Theory, Stockholm, Sweden, July 8-10, 1998. Proceedings
- Automata Implementation: 2nd International Workshop on Implementing Automata, WIA `97, London, Ontario, Canada, September 18-20, 1997, Revised Papers
- Mathematical Foundations of Computer Science, 1998: 23rd International Symposium, MFCS `98, Brnmo, Czech Republic August 24-28, 1998
- Job Scheduling Strategies for Parallel Processing
- CONCUR, `98: Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
- Zum'98: The Z Formel Specification Notation
- Lectures on Embedded Systems
- Medical Image Computing & Computer-Assisted Intervention - MICCAI'98: First International Conference, Cambridge, MA, U. S. A., October 11-13, 1998, Proceedings
- KI-98: Advances in Artificial Intelligence
- Conceptual Modeling - ER '98: Proceedings of the 17th International Conference on Conceptual Modeling, Singapore, November 1998
- Research & Advanced Technology for Digital Libraries: Second European Conference, ECDL '98, Heraklion, Crete, Cyprus, September 21-23, 1998: Proceedings, Vol. 151
- Computer Safety, Reliability & Security: Proceedings of the 17th International Conference, Safecomp '98, Heidelberg, Germany, October 5-7, 1998, Vol. 151
- Graph-Theoretic Concepts in Computer Science: Eighteenth International Workshop, Wiesbaden-Naurod, Germany, June 18-20, 1992, Proceedings
- Principles and Practice of Constraint Programming - Cp98
- Algorithms & Computation: 9th International Symposium, ISAAC '98, Taejon, Korea, December 14-16, 1998, Proceedings
- Security Protocols: 6th International Workshop, Cambridge, UK, April 1998: Proceedings
- Computational Learning Theory: 4th European Conference, Eurocolt '99, Nordkirchen, Germany, March 29-31, 1999: Proceedings
- Typed Lambda Calculi & Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
- Advances in Cryptology - EUROCRYPT '99: International Conference on the Theory & Application of Cryptographic Techniques, Prague, Czech Republic, May 2-6, 1999, Proceedings
- Integer Programming and Combinatorial Optimization
- Collaboration Between Human and Artificial Societies: Coordination and Agent-Based Distributed Computing
- Computing and Combinatorics
- Rewriting Techniques and Applications: 10th International Conference, Rta-99, Trento, Italy, July 1999, Proceedings
- Spaces of Orderings & Abstract Real Spectra, Vol. 163
- Application and Theory of Petri Nets 1999
- Asymptotic Cyclic Cohomology, Vol. XXIII
- Algorithms - ESA '99: 7th Annual European Symposium, Prague, Czech Republic, July 1999: Proceedings
- Realization spaces of polytopes
- Financial Cryptography
- Sequences, discrepancies, and applications
- Spatial Information Theory: Cognitive Computational Foundations of Geographic Information Science: International Conference Cosit '99, Stade, Germ
- Large-Time Behavior of Solutions of Linear Dispersive Equations, Vol. 166
- Sobolev Gradients and Differential Equations
- Fundamentals of Computation Theory: 12th International Symposium, Fct'99, Iasi, Romania, August 30-September 3, 1999: Porceedings
- Theorem Proving in Higher Order Logics
- Distributed Computing: 13th International Symposium, Disc'99, Bratislava, Slovak Republic, September 1999: Proceedings
- Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999: Proceedings
- Research and Advanced Technology for Digital Libraries: Third European Conference, Ecdl '99, Paris, France, September 22-24, 1999: Proceedings
- Recent Advances in Parallel Virtual Machine and Message Passing Interface: 6th European Pvm/Mpi User's Group Meeting, Barcelona, Spain, September 26-2
- Advances in Cryptology--Asiacrypt'99: International Conference on the Theory and Application of Cryptology and Information Security, Singapore, Novemb
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Sofsem'99: Theory and Practice of Informatics: 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, C
- Information and Communication Security: Second International Conference, Icics'99, Sydney, Australia, November 9-11, 1999: Proceedings
- Graph Drawing: 7th International Symposium, GD'99, Stirin Castle, Czech Republic, September 15-19, 1999: Proceedings
- Networked Group Communication: First International Cost 264 Workshop, Ngc'99 Pisa, Italy, November 17-20, 1999: Proceedings
- Advances in Distributed Systems: Advanced Distributed Computing from Algorithms to Systems
- The Decomposition of Primes in Torsion Point Fields
- Latin 2000: Theoretical Informatics
- Machine Learning: Ecml 2000
- Mobile and Wireless Communication Networks
- Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
- Pricai 2000, Topics in Artificial Intelligence: 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28-S
- Modular Programming Languages
- Medical Data Analysis
- Cryptographic Hardware & Embedded Systems - Ches 2000
- Information Security
- Advances in Cryptology - Asiacrypt 2000: 6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Jap
- Lectures on Information Retrieval Third European Summerschool, Essir
- The World Wide Web and Databases
- New Approaches in Software Measurement: 10th International Workshop, Iwsm 2000, Berlin, Germany, October 4-6, 2000: Proceedings
- Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001, Held as Part of the Joint European Confer
- Hybrid Systems: Computation and Control
- Integer Programming and Combinatorial Optimization: 8th International Ipco Conference, Utrecht, the Netherlands, June 13-15, 2001: Proceedings
- Proceedings
- Networking-Icn 2001: First International Conference, Colmar, France, July 9-13, 2001: Proceedings
- Computer Vision Systems: Second International Workshop, Icvs 2001, Vancouver, Canada, July 7-8, 2001: Proceedings
- High-Performance Computing and Networking
- Advances in Artificial Intelligence: Pricai 2000 Workshop Reader: Four Workshops Held at Pricai 2000, Melbourne, Australia, August 28- September 1, 20
- Unifying Petri Nets
- Computer Science Logic: 15th International Workshop, CSL 2001, 10th Annual Conference of the Eacsl, Paris, France, September 10-13, 2001: Proc
- Field-Programmable Logic and Applications: 11th International Conference, Fpl 2001, Belfast, Northern Ireland, UK, August 27-29, 2001: Proceedings
- Concur 2001 - Concurrency Theory
- Research and Advanced Technology for Digital Librairies: 5th European Conference, Ecdl 2001, Darmstadt, Germany, September 2001: Proceedings
- Logic Programming and Nonmonotonic Reasoning
- Middleware 2001: Ifip/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 2001: Proceedings
- Job Scheduling Strategies for Parallel Processing: 7th International Workshop, Jsspp 2001, Cambridge, Ma, USA, June 2001: Revised Papers
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- High Performance Computing HIPC 2001
- Software Frameworks and Embedded Control Systems
- Sofsem 2001: Theory and Practice of Informatics
- Mobile Agents
- Grid Computing - Grid 2001
- Digital and Image Geometry
- Progress in Cryptology Indocrypt 2001
- Cryptography and Coding
- Modular Specification and Verification of Object-Oriented Programs
- Stochastic Algorithms: Foundations and Applications
- Graph Drawing: 9th International Symposium, GB 2001, Vienna, Austria, September 2001: Revised Papers
- Zb 2002: Formal Specification and Development in Z and B
- Information Retrieval Techniques for Speech Applications
- Computational Linguistics and Intelligent Text Processing
- Tools and Algorithms for the Construction and Analysis of Systems
- Foundations of Information and Knowledge Systems
- Developments in Language Theory
- Object-Oriented Technology: Ecoop 2001 Workshop Reader: Ecoop 2001 Workshops, Panels, and Posters: Budapest, Hungary, June 18-22, 2001: Proceeding
- Integrated Formal Methods
- Computer Vision Eccv 2002 Volume 2352
- Computer Vision-Eccv 2002: 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002: Proceedings
- Computer Vision-Eccv 2002: 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002: Proceedings
- Biometric Authentication
- Multiple Classifier Systems
- Algorithmic Number Theory
- Rewriting Techniques and Applications
- Computers Helping People with Special Needs
- Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, D
- Advanced Internet Services and Applications
- Advances in Databases: 19th British National Conference on Databases, Bncod 19, Sheffield, UK, July 2002: Proceedings
- Theorem Proving in Higher Order Logics
- Infrastructure Security
- Advances in Cryptology - Crypto 2002: 22nd Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 2002: Proceedings
- Algorithms in Bioinformatics: Second International Workshop, Wabi 2002, Rome, Italy, September 17-21, 2002 Proceedings
- E-Commerce and Web Technologies
- Electronic Government
- Research and Advanced Technology for Digital Libraries
- Performance Evaluation of Complex Systems: Techniques and Tools
- Petri Net Technology for Communication-Based Systems
- Static Analysis
- Geographic Information Science
- Implementation and Application of Automata
- Discovery Science
- Combinatorial Optimization -- Eureka, You Shrink!: Papers Dedicated to Jack Edmonds 5th International Workshop, Aussois, France, March 5-9, 2001, Revi
- Computational Linguistics and Intelligent Text Processing: 4TH International Conference, Cicling 2003, Mexico City, Mexico, February 16-22, 2003. Proceedings
- Mathematical Knowledge Management
- Implementation and Application of Automata
- Topics in Cryptology -- CT-Rsa 2003: The Cryptographers' Track at the Rsa Conference 2003, San Francisco, CA, USA April 13-17, 2003, Proceedings
- Symbolic and Numerical Scientific Computation
- Advances in Learning Software Organizations
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Algorithms and Complexity
- Surgery Simulation and Soft Tissue Modeling: International Symposium, Is4tm 2003. Juan-Les-Pins, France, June 12-13, 2003, Proceedings
- Business Process Management
- Artificial Neural Nets. Problem Solving Methods: 7th International Work-Conference on Artificial and Natural Neural Networks, Iwann 2003, Maa3, Menorc
- Computational Methods in Neural Modeling
- Digital Rights Management
- Rewriting Techniques and Applications: 14th International Conference, Rta 2003, Valencia, Spain, June 9-11, 2003, Proceedings
- Multiple Classifier Systems
- Genetic and Evolutionary Computation - Gecco 2003: Genetic and Evolutionary Computation Conference, Chicago, Il, USA, July 12-16, 2003, Proceedings, P
- Genetic and Evolutionary Computation - Gecco 2003: Genetic and Evolutionary Computation Conference, Chicago, Il, USA, July 12-16, 2003, Proceedings, P
- Electronic Information and Communication in Mathematics
- E-Commerce and Web Technologies
- Practice and Theory of Automated Timetabling IV
- Financial Cryptography
- Fundamentals of Computation Theory
- Implementation and Application of Automata: 8th International Conference, Ciaa 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings
- Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
- Research and Advanced Technology for Digital Libraries
- Digital Rights Management
- Advances in Web-Based Learning -- Icwl 2003
- Formal Modeling and Analysis of Timed Systems
- Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, Ida 2003, Berlin, Germany, August 28-30, 2003, Proc
- Stochastic Algorithms: Foundations and Applications
- High Performance Computing
- Advances in Computing Science - Asian 2003, Programming Languages and Distributed Computation
- Cryptography and Coding
- Progress in Cryptology -- Indocrypt 2003
- Approximation and Online Algorithms
- Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access
- Graph Drawing
- Model-Checking Based Data Retrieval
- Theory and Applications of Satisfiability Testing
- Agent-oriented Software Engineering IV
- Verification, Model Checking, and Abstract Interpretation
- Foundations of Information and Knowledge Systems
- Dna Computing
- Databases, Information Systems, and Peer-To-Peer Computing
- Computational Linguistics and Intelligent Text Processing
- Coordination Models and Languages
- Theory of Cryptography: First Theory of Cryptography Conference, Tcc 2004, Cambridge, Ma, USA, February 19-21, 2004, Proceedings
- Scientific Engineering of Distributed Java Applications.
- Mobile and Ubiquitous Information Access
- Wired/Wireless Internet Communications
- Semirings for Soft Constraint Solving and Programming
- Topics in Cryptology -- CT-Rsa 2004
- Fundamental Approaches to Software Engineering
- Compiler Construction
- Foundations of Software Science and Computation Structures
- Tools and Algorithms for the Construction and Analysis of Systems
- Numerical Software with Result Verification
- Stacs 2004
- Product Focused Software Process Improvement
- Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems
- Passive and Active Network Measurement
- The Semantic Web: Research and Applications
- Lecture Notes in Computer Science, " #3057: Practical Aspects of Declarative Languages: 6th International Symposium, Padl 2004, Dallas,
- Business Process Management
- Graphics Recognition
- Information Networking
- Web Services, E-Business, and the Semantic Web
- Advances in Learning Software Organizations
- Service Assurance With Partial and Intermittent Resources: Proceedings of the First International Workshop
- Web Engineering
- Advances in Computer Systems Architecture
- Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the Eacsl, Karpacz, Poland, September 20-24, 2004, Pr
- Network and Parallel Computing
- Information Security
- Lecture Notes in Computer Science, " #3233: Software Security - Theories and Systems: Second Mext-Wsf-Jsps International Symposium, Iss
- Formal Techniques for Networked and Distributed Systems - Forte 2004
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Time
- Advances in Databases and Information Systems
- Graph Transformations
- Quality of Service in the Emerging Networking Panorama
- Grid Services Engineering and Management
- Uml 2004- the Unified Modeling Language
- Utility Computing
- Formal Methods and Software Engineering
- Content Computing: Advanced Workshop on Content Computing, Awcc 2004, Zhen Jiang, Jiang Su, China, November 15-17, 2004, Proceedings
- Interactive Multimedia and Next Generation Networks: Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenobl
- Formal Methods in Computer-Aided Design
- Rules and Rule Markup Languages for the Semantic Web
Pervasive Computing
by Alois (edt) Ferscha
Synopses & Reviews This book constitutes the refereed proceedings of the Second International Conference on Pervasive Computing, PERVASIVE 2004, held in Vienna, Austria in April 2004.
The 26 revised full papers presented were carefully reviewed and selected from a total of 278 submissions. The papers are organized in topical sections on activity recognition, context computing, near body interfaces, software, sensors, security, architectures and systems, algorithms, and new interfaces.
Product Details
- ISBN:
- 9783540218357
- Subtitle:
- Second International Conference, Pervasive 2004, Vienna Austria, April 21-23, 2004, Proceedings
- Author:
- Ferscha, Alois (edt)
- Author:
- Ferscha, Alois
- Publisher:
- Springer Berlin Heidelberg
- Subject:
- Networking - General
- Subject:
- Information technology
- Subject:
- Programming - Systems Analysis & Design
- Subject:
- Mobile computing
- Subject:
- Embedded computer systems
- Subject:
- Software Development & Engineering - Systems
- Series:
- Lecture Notes in Computer Science,
- Series Volume:
- 3001
- Publication Date:
- May 2004
- Binding:
- Paperback
- Language:
- English
- Illustrations:
- Y
- Pages:
- 358
Related Aisles
|