Category:LNCS 1000

From BibNetWiki

Lecture Notes in Computer Science, Volume 1000

Articles in category "LNCS 1000"

There are 36 articles in this category.

A A Quantum Jump in Computer Science Abstracting Unification: A Key Step in the Design of Logic Program Analyses Algebraic Topology and Distributed Computing - A Primer Algorithmic Number Theory and Its Relationship to Computational Complexity Algorithmic Techniques for Geometric Optimization All the Needles in a Haystack: Can Exhaustive Search Overcome Combinatorial Chaos? Alternating Automata and Program Verification Artificial Life and Real World Computing Avoiding the Undefined by Underspecification C Chu Spaces and Their Interpretation as Concurrent Objects Computational Models for Distributed Multimedia Applications Computer science today: recent trends and developments

D Database Transaction Models Differential BDDs E Edge-Coloring Algorithms Efficient Use of Parallel and Distributed Systems: From Theory to Practice Experimental Validation of Models of Parallel Computation F Formulations and Formalisms in Software Architecture Fundamental Limitations on Search Algorithms: Evolutionary Computing in Perspective Fuzzy Sets as a Tool for Modeling H Hypermedia Systems as Internet Tools I Information Retrieval and Informative Reasoning M Mathematical System Models as a Basis of Software Engineering Multimedia Authoring Tools: State of the Art and Research Challenges P Petri Net Models of Distributed Algorithms

P cont. Programming Satan's Computer Q Quo Vadetis, Parallel Machine Models? R Reasoning about Actions and Change with Ramification Recurrent Neural Networks S Scalable Computing Standard Generalized Markup Language: Mathematical and Philosophical Issues Symmetry and Induction in Model Checking T Templates for Linear Algebra Problems The ART behind IDEAS Towards a Computational Theory of Genome Rearrangements Trends in Active Vision