Вы здесь

Главная

Lecture Notes in Computer Science

Связанные издания:

What Is Mathematicalness in Software Engineering?
What is so Special About Exceptional Software Professionals?
What Kind of Cooperation Is Required by Situated Agents? (The Principle of Situated Cooperation)
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis
What Makes a Good Data Model? Evaluating the Quality of Entity Relationship Models
What NARX Networks Can Compute
What Process Technology needs from Databases
What s Hard about XML Schema Constraints?
What s in a Trace: The Box Model Revisited
What s Wrong with Wrapper Approaches in Modeling Information System Integration and Interoperability?
What We Expect from Software Engineers in the Industry
What Went Wrong: Explaining Counterexamples
What We Teach Software Engineering in the University: Do We Take Engineering Seriously?
When Agents Clash
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets
When Does a Pair Outperform Two Individuals?
When Generic Functions Use Dynamic Values
When Is a Functional Tree Transduction Deterministic?
When Pairs Disagree, 1-2-3
When Parents Need Not Have Children Cognitive Biases in Information Modeling
When the Golden Arches Gang Aft Agley: Incorporating Software Engineering into Computer Science
Where Concurrent Processes Originate
Where Do I Begin? A Problem Solving Approach in Teaching Functional Programming
Where Do Unit Tests Come from?
Where, Exactly, Is Software Development?
Which Way to the Future? The Control of Scholarly Publication
Why and How in the ElipSys OR-parallel CLP System
Why and Where: A Characterization of Data Provenance
Why Are PVM and MPI So Different?
Why Do Some Mature Organizations Not Use Mature CM Tools?
Why Is It so Difficult to Introduce RE Research Results into Mainstream RE Practice?
Why is Modelling so Difficult?
Why Multi-SLD Beats SLD (Even on a Uniprocessor)
Why Not Use a Pattern-Based Parallel Programming System?
Why Sets?
Why should an ITS Bother with Students Explanations?
Why so Many Temporal Logics Climb up the Trees?
Why the Occur-check is Not a Problem
Why Unified is Not Universal
Why Use Evolving Algebras for Hardware and Software Engineering
Wiccap Data Model: Mapping Physical Websites to Logical Views
Wide Classes
Widening Integer Arithmetic
Widening the Scope of Software Product Lines - From Variation to Composition
WIEAS: Helping to Discover Web Information Sources and Extract Data from Them
Will C++ Be Faster Than Fortran?
Winch Simulation: Multiple, Linked Representations of Linear Functions
WIND: A Warehouse for Internet Data
Winsim: A Tool foor Performance Evaluation of Parallel and Distributed Systems
Winskel is (Almost) Right: Towards a Mechanized Semantics Textbook