development  (42.650 Angebote unter 30.845.204 Artikeln)

The Current state of expectations is that Computer Integrated Manufacturing (CIM) will ulti mately determine the industrial growth of world nations within the next few decades. Computer Aided Desig...

Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathemati...

Foundations, Design and Development

This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together resea...

One ofthe most important aspects in research fields where mathematics is "applied is the construction of a formal model of a real system. As for structural relations, graphs have turned out to prov...

Foundations, Design and Development

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kassel, Germany, in September 2011. The 26 full pap...

Publication of this book is a special event. This valuable title ?lls a se- ous gap in domestic science and technical literature. At the same time it introduces a reader to the most recent achievem...

Proving Church's Thesis.- The Limits of Quantum Computers.- Marrying Words and Trees.- TPTP, TSTP, CASC, etc..- Abstract Modeling and Formal Verification of Microprocessors.- Sequences of Level 1, ...

The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agricult...

His book is for actors engaged in research or development projects which require inventing, designing, adapting, implementing or analyzing educational software. The core audience is Master's and Ph...

The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agricult...

The book aims to merge Computational Intelligence with Data Mining, which are both hot topics of current research and industrial development, Computational Intelligence, incorporates techniques lik...