101
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... with Well-Founded Bisimulation -- Automatic Verification of Combinational and Pipelined FFT Circuits...

102
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Derived from Gaia to Agent OPEN -- An Ontologically Well-Founded Profile for UML Conceptual Models...

103
Published 2002
Springer Berlin Heidelberg
..., graph transformations, Petri nets, concurrency, as well as natural and molecular computing. The articles...

104
Published 1989
Springer New York
... results in this field, and to discuss research directions as well as educational issues. This book...

105
Published 2001
Birkhäuser
... of the research programs at such well-known research institutions as the Newton Institute (UK), Oberwolfach...

106
by Wienholt, Nick
Published 2004
Apress
... in this regard. It is the aim of Nick's book to enable you to understand the design issues as well...

107
by Thalheim, Bernhard
Published 2000
Springer Berlin Heidelberg
... into object-oriented models. The book is of interest for all database theoreticians as well as practitioners...

108
by Reinartz, Thomas
Published 1999
Springer Berlin Heidelberg
.... It is written for researchers and advanced students, as well as for professionals applying data mining...

109
Published 1994
Springer Vienna
... the time or the apportunity to get acquainted with the most recent theoretical ideas and trends, as well...

110
Published 1994
Springer Vienna
... expanding field. Basic principles as well as practical design and implementational issues associated...

111
by Golomshtok, Alexander
Published 2003
Apress
... Instrumentation (WMI)a centerpiece of Microsoft's enterprise management technologyis a fairly well-researched...

112
by Biggs, DUP John
Published 2004
Apress
.... These stories include all the juicy details, like the people behind the hacking, as well as legislative attempts...

113
by Oak, Harshad
Published 2004
Apress
... that perform specific tasks very well. This book provides much-needed documentation and usage information about...

114 ...Bored with your family snapshots? Ugly friends? We'll show you how to harness the power...

115
by Greenfield, Jonathan S.
Published 1994
Springer Berlin Heidelberg
..., including RSA enciphering and deciphering, prime number generation, and factoring. The book is well-written...

116
Published 1995
Springer Berlin Heidelberg
.... However, there are only a few parallel architectures equally well suited for standard programs. Much...

117
by Müller-Olm, Markus
Published 1997
Springer Berlin Heidelberg
... provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also...

118
Published 2001
Springer Berlin Heidelberg
..., was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic...

119
Published 2001
Springer US
..., as well as the issues and challenges that differentiate scientific data mining from its commercial...

120
by Chung, Lawrence, Nixon, Brian A., Yu, Eric, Mylopoulos, John
Published 2000
Springer US
... to determine how well a chosen target system satisfices its NFRs. Throughout development, developers direct...