SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540619949, 9783540495888

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Business case processing — Rationale, survey and trends

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/bfb0037402 ◽

1996 ◽

pp. 143-160

Author(s):

Kenneth Robinson ◽

Damian Mac Randal

Keyword(s):

Business Case ◽

Case Processing

Download Full-text

Computer Visualization — Concepts, trends and current research

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/bfb0037404 ◽

1996 ◽

pp. 178-196

Author(s):

Gitta Domik

Keyword(s):

Computer Visualization

Download Full-text

Decision trees, knowledge rules and some related data mining algorithms

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/bfb0037419 ◽

1996 ◽

pp. 369-376

Author(s):

Jia Liang Han

Keyword(s):

Data Mining ◽

Decision Trees ◽

Related Data ◽

Data Mining Algorithms ◽

Knowledge Rules ◽

Mining Algorithms

Download Full-text

A formal representation for state diagrams in the OMT methodology

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/bfb0037414 ◽

1996 ◽

pp. 327-334 ◽

Cited By ~ 4

Author(s):

Elisa Bertino ◽

Donatella Castelli ◽

Federica Vitale

Keyword(s):

Formal Representation ◽

State Diagrams

Download Full-text

A new proposal of concurrent process calculus

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/bfb0037421 ◽

1996 ◽

pp. 385-392

Author(s):

Salvador Lucas ◽

Javier Oliver

Keyword(s):

Process Calculus ◽

Concurrent Process

Download Full-text

High performance computing — The computational chemistry perspective

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/bfb0037405 ◽

1996 ◽

pp. 197-216

Author(s):

Luděk Matyska

Keyword(s):

Computational Chemistry ◽

High Performance Computing ◽

High Performance ◽

Performance Computing

Download Full-text

Iterative methods for unsymmetric linear systems

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/bfb0037406 ◽

1996 ◽

pp. 217-234

Author(s):

Henk A. Van der Vorst

Keyword(s):

Linear Systems ◽

Iterative Methods ◽

Unsymmetric Linear Systems

Download Full-text

A deductive database support to the specification of concurrent systems

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/bfb0037412 ◽

1996 ◽

pp. 307-316

Author(s):

Patrizia Asirelli ◽

Stefania Gnesi ◽

Maria Cristina Rossi

Keyword(s):

Concurrent Systems ◽

Deductive Database ◽

Database Support

Download Full-text

Learning in order to reason: The approach

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/bfb0037400 ◽

1996 ◽

pp. 113-124 ◽

Cited By ~ 1

Author(s):

Dan Roth

Download Full-text

Restarting automata with rewriting

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/bfb0037423 ◽

1996 ◽

pp. 401-408 ◽

Cited By ~ 2

Author(s):

František Mráz ◽

Martin Plátek ◽

Jörg Vogel

Download Full-text

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Business case processing — Rationale, survey and trends

Computer Visualization — Concepts, trends and current research

Decision trees, knowledge rules and some related data mining algorithms

A formal representation for state diagrams in the OMT methodology

A new proposal of concurrent process calculus

High performance computing — The computational chemistry perspective

Iterative methods for unsymmetric linear systems

A deductive database support to the specification of concurrent systems

Learning in order to reason: The approach

Restarting automata with rewriting

SOFSEM'96: Theory and Practice of Informatics - Lecture Notes in Computer Science
Latest Publications