1
Table of Contents: ...Introduction to Multilayer Neural Networks -- Basics of Generalized Nets -- Simulation Process...
View full text
Electronic eBook
2
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ... -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... for Searching and Maintaining the Information Space -- Architecture of a Business Framework for the .NET...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
View full text
Electronic eBook