Výsledky vyhledávání - "computer science"

121

Computer Science Logic : 22nd International Workshop, CSL 2008 : 17th Annual Conference of the EACSL : Bertinoro, Italy, September 16-19, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer science...”

Kniha

122

Invitation to discrete mathematics /

Autor Matoušek, Jiří, 1963-2015, Nešetřil, Jaroslav, 1946-
Vydáno 2009

Témata: '; “...computer science...”

Kniha

123

Mathematical methods in computer science : essays in memory of Thomas Beth /

Vydáno 2008

Témata: '; “...computer science...”

Kniha

124

SC'08 proceedings of the 2008 ACM/IEEE Conference on High Performance Computing Networking, Storage and Analysis : Austin, Texas, USA, November 15-21, 2008

Vydáno 2008

Témata: '; “...computer science...”

Kniha

125

Combinatorial image analysis : 12th International Workshop, IWCIA 2008 : Buffalo, NY, USA, April 7-9, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer science...”

Kniha

126

SC'07 proceedings of the 2007 ACM/IEEE Conference on High Performance Computing Networking, Storage & Analysis : Reno, Nevada, USA, November 10-16, 2007

Vydáno 2007

Témata: '; “...computer science...”

Kniha

127

Sharing data, information and knowledge : 25th British National Conference on Databases, BNCOD 25 : Cardiff, UK, July 7-10, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer science...”

Kniha

128

Computational logic : IA008 /

Autor Popelínský, Lubomír
Vydáno 2018

Témata: '; “...computer science...”
Elektronická verze pro uživatele knihoven MU se specifickými nároky

Kniha

129

Computational logic : IA008. Grafická příloha /

Autor Popelínský, Lubomír
Vydáno 2019

Témata: '; “...computer science...”
Elektronická verze ke stažení:

Kniha

130

Computational logic : IA008 /

Autor Blumensath, Achim
Vydáno 2020

Témata: '; “...computer science...”
Elektronická verze pro uživatele knihoven MU se specifickými nároky

Kniha

131

Category theory for computing science /

Autor Barr, Michael, 1971-, Wells, Charles, 1937-2017
Vydáno 1990

Témata: '; “...computer science...”

Kniha

132

Computation engineering : applied automata theory and logic /

Autor Gopalakrishnan, Ganesh
Vydáno 2006

Témata: '; “...computer science...”

Kniha

133

Optimization : algorithms and consistent approximations /

Autor Polak, E. 1931-
Vydáno 1997

Témata: '; “...computer science...”

Kniha

134

Simulation : a statistical perspective /

Autor Kleijnen, Jack P. C., Groenendaal, Willem van
Vydáno 1992

Témata: '; “...computer science...”

Kniha

135

Mathematical structures in computer science : a journal in the applications of categorical, algebraic and geometric methods in computer science

Vydáno 1991

Témata: '; “...computer science...”
Získat plný text

Periodikum

136

Scripta Facultatis scientiarum naturalium Universitatis Masarykianae Brunensis. Computer science and applied mathematics.

Vydáno 1994

Témata: '; “...computer science...”

Periodikum

137

Statistics in computer science : [MV013] /

Autor Katina, Stanislav, 1976-, Vinkler, Mojmír
Vydáno 2019

Témata: '; “...computer science...”
Elektronická verze pro uživatele knihoven MU se specifickými nároky

Kniha

138

Adapting proof-as-programs : the Curry-Howard protocol /

Autor Poernomo, Iman Hafiz, 1976-, Crossley, John N., 1937-, Wirsing, Martin, 1948-
Vydáno 2005

Témata: '; “...Abstract data types (Computer science)...”

Kniha

139

Model checking /

Autor Grumberg, Orna, 1952-, Peled, Doron A., 1962-, Clarke, E. M., 1945-
Vydáno 1999

Témata: '; “...computer science...”

Kniha

140

Domain-driven design : tackling complexity in the heart of software /

Autor Evans, Eric, 1962-
Vydáno 2004

Témata: '; “...Object-oriented programming (Computer science)...”

Kniha

Upřesnit hledání