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