Yazar
Zhang, Jian. author.
Format:
Electronic Resources
Alıntı:
explains major algorithms with examples. In addition, the book lists a number of test generation tools, as
Yazar
Hinze, Ralf. editor.
Format:
Electronic Resources
Alıntı:
submissions. The papers are about mathematical methods and tools put to use in program construction. They
View Other Search Results
Yazar
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
Format:
Electronic Resources
Alıntı:
sections on high performance architectures, tools and technologies; parallel numerical algorithms
Yazar
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
Format:
Electronic Resources
Alıntı:
sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and
Yazar
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
Format:
Electronic Resources
Alıntı:
sections on high performance architectures, tools and technologies; parallel numerical algorithms
Yazar
Coudière, Yves. editor.
Format:
Electronic Resources
Alıntı:
: Electrophysiology: mapping and biophysical modelling; Novel imaging tools and analysis methods for myocardial tissue
Yazar
Thachuk, Chris. editor.
Format:
Electronic Resources
Alıntı:
molecular robotics; information storage; studies of fault-tolerance and error correction; software tools for
Yazar
Kropatsch, Walter G. editor.
Format:
Electronic Resources
Alıntı:
analysis; discrete and combinatorial topology; discrete models and tools; models for discrete geometry.
Yazar
Fajstrup, Lisbeth. author.
Format:
Electronic Resources
Alıntı:
topological models. In the process, it develops tools and invariants for the new discipline directed algebraic
Yazar
Fletcher, George. editor.
Format:
Electronic Resources
Alıntı:
which types of tools, techniques and technologies are available, which ones could best suit their needs
Yazar
Khoury, Richard. author.
Format:
Electronic Resources
Alıntı:
numerical methods are a set of mathematical modelling tools which allow engineers to represent real-world
Yazar
Baetens, Jan M. editor.
Format:
Electronic Resources
Alıntı:
16 submissions. The papers highlight the major advances in the field and the development of new tools
Arama Sonuçlarını Sınırlandır
Daraltılmış: