Znaleziono 7645 pasujących rekordów dla kryteriów wyszukiwania
|
|
Invited Papers.- Improving Flow in Software Development Through Graphical Representations.- A Perspective on Graphs and Access Control Models.- Transformation ...
|
Der Ausgangspunkt dieser Arbeit ist in [4 ; 5] zu sehen, wo eine Multiplikatorentheorie vom Typ (X,X) für einen beliebigen Banach Raum X aufgebaut ...
|
|
|
|
|
Combinatorial group theory is a loosely defined subject, with close connections to topology and logic. With surprising frequency, problems in a wide variety ...
|
This volume is dedicated to the memory of Harry Ernest Rauch, who died suddenly on June 18, 1979. In organizing the volume we solicited: (i) articles summarizing ...
|
|
|
|
|
This is the first-ever book on computational group theory. It provides extensive and up-to-date coverage of the fundamental algorithms for ...
|
This textbook presents the basics of probability and statistical estimation, with a view to applications. The didactic presentation follows a path of ...
|
|
|
|
|
This volume is the result of a (mainly) instructional conference on arithmetic geometry, held from July 30 through August 10, 1984 at the University of ...
|
Aus den Rezensionen der englischen Auflage: Dieses Lehrbuch ist eine Einführung in das Wissenschaftliche Rechnen und diskutiert Algorithmen ...
|
|
|
|
|
This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education ...
|
The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the ...
|
|
|