Algebraic |

Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, held in Iowa City, Iowa, USA, in May 2000. The 20 revised full papers presented together with eight invited contributions were carefully reviewed and selected from a total of 53 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines, algebraic state machines, algebraic compilers, state charts, process algebras, etc. The algebraic methods are applied to reactive systems, safety-critical systems, concurrency, Java, UML, etc.

International Electronic Conference on Computer Science (AIP Conference Proceedings / Mathematical and Statistical Physics)

The aim of IeCCS 2007 is to bring together leading scientists of the international Computer Science community and to attract original research papers of very high quality. The topics to be covered include (but are not limited to): Numerical Analysis, Scientific Computation, Computational Mathematics, Mathematical Software, Programming Techniques and Languages, Parallel Algorithms and its Applications, Symbolic and Algebraic Manipulation, Analysis of Algorithms, Problem Complexity, Mathematical Logic, Formal Languages, Data Structures, Data Bases, Information Systems, Artificial Intelligence, Expert Systems, Simulation and Modeling, Computer Graphics, Software Engineering, Image Processing, Computer Applications, Hardware, Computer Systems Organization, Software, Data, Theory of Computation, Mathematics of Computing, Information Systems, Computing Methodologies, Computer Applications, Computing Milieu (see http://www.ieccs.net/topics.htm).