Category:LNCS 1012

From BibNetWiki

Lecture Notes in Computer Science, Volume 1012

Articles in category "LNCS 1012"

There are 40 articles in this category.

A A Formal Lazy Replication Regime for Spreading Conversion Functions Over Objectbases A Methodology for Performance and Scalability Analysis A Modular History-Oriented Access Structure for Bitemporal Relational Databases A Simple and Efficient Incremental LL(1) Parsing C Constraint Logic Programming with Fuzzy Sets D Database: Introduction to Problems Development of Safety-Critical Real-Time Systems Distributed Algorithm for Finding a Core of a Tree Network Distributed Information Systems E Experience with Chorus Extending Database Technology F Formal Methods in Practice: A Comparison of two Support Systems for Proof Fundamentals of Contex-Sensitive Rewriting

F cont. Fuzzy Logic From the Logical Point of View Fuzzy Set Theory and Medical Expert Systems: Survey and Model H High-Level Languages for Parallel Scientific Computing Hopfield Languages I Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution Inconsistency Conflict Resolution Integration of Object-Oriented Analysis and Algebraic Specifications Introducing SSADM4 and PRINCE L Logic Programming in RPL and RQL M Maximum Flow Problem in Distributed Environment O On Some New Aspects of Networked Multimedia Systems On the Efficiency of Superscalar and Vector Computer for Some Problems in Scientific Computing On the Implementation of Some Residual Minimizing Krylov Space Methods P Parallel Machine Models: How They Are and Where Are They Going

P cont. Parallel Processing of Image Database Queries Parsing of Free-Word-Order Languages Q Quo Vadis GIS: From GIS to GIMS and Open GIS R Recognition of Handwritten Characters Using Instance-Based Learning Algorithms S SOFSEM '95: theory and practice of informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995: proceedings Sense of Direction in Processor Networks Software Engineering Meets Human-Computer Interaction: Integrating User Interface Design in an Object-Oriented Methodology Stepwise Synthesis of Reactive Programs T The Fusion Object-Oriented Method: an Evaluation W WWW - The World Wide Web Welcoming the Super Turing Theories What NARX Networks Can Compute Why Use Evolving Algebras for Hardware and Software Engineering?