Zobrazuji výsledky
1 - 16
z
16
pro vyhledávání '
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Zrušit filtry
Jazyk:
angličtina
PSH:
NOT
technika
Doporučená témata:
matematika
AND
software
Zrušit filtry
Zobrazit filtry (4)
Jazyk:
angličtina
PSH:
NOT
technika
Doporučená témata:
matematika
AND
software
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematika
software
informatika
5
metody
3
počítače
3
programování
3
algebra
2
více ...
algoritmizace
2
aplikační programy
2
numerická analýza
2
počítačová grafika
2
diskrétní matematika
1
formální jazyky
1
fuzzy systémy
1
matematická logika
1
matematické programování
1
naučná literatura
1
osobní počítače
1
příklady
1
robotika
1
sémantický web
1
teorie systémů
1
textové procesory
1
umělá inteligence
1
výpočetní geometrie
1
vývoj
1
vědeckotechnické výpočty
1
zpracování dat
1
méně ...
Zobrazuji výsledky
1 - 16
z
16
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Introduction to mathematics with Maple
Autor
Adams, P.
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Mathematica
Autor
Don, Eugene
Vydáno:
2009
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Mathematica : Reference guide
Autor
Wolfram, Stephen, 1959-
Vydáno:
1992
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Recent trends in data type specification : 11th workshop on Specification of Abstracts Data Types joint with the 8th COMPASS workshop, Oslo, Norway, September 19-23, 1995 : selecte...
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
FME '96: industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe, Co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996. Pr...
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
MathType : mathematical equation editor
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Mathematica journal
Vydáno:
1990
Umístění:
Načítá se...
Časopis
Načítá se...
Uloženo v:
Mathematics and computation in music : 4th international conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Informatics in schools : contributing to 21st century education : 5th International conference on informatics in schools: situation, evolution and perspectives, ISSEP 2011, Bratisl...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods : FM '99. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999. Proceedings.
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods : FM '99. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999. Proceedings.
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Modeling and retrieval of context : second international workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer algebra in scientific computing : 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
14
NTK
2
VŠCHT
Médium
11
Kniha
4
E-kniha
1
Časopis
Signatura
10
Q - Věda
1
Z - Bibliografie, Knihovnictví, Informační zdroje
Autor
4
SpringerLink (online služba)
2
Davies, Jim, 1964-
2
Wing, Jeannette M.
2
Woodcock, Jim, 1956-
1
Adams, P.
1
Alagar, V. S.
více ...
1
Burgoyne, John Ashley
1
Dahl, Ole-Johan, 1931-2002
1
Don, Eugene
1
Eriksson, Lars-Henrik
1
Gaudel, Marie-Claude
1
Gerdt, Vladimir Petrovič
1
Haveraaen, Magne
1
Johnson, Michael
1
Kalaš, Ivan, 1957-
1
Leake, David B., 1957-
1
Lindsay, Peter Alexander
1
Mayr, Ernst W., 1950-
1
Mittermeir, Roland T., 1950-
1
Nivat, Maurice
1
Owe, Olaf
1
Roth-Berghofer, Thomas R., 1967-
1
Schulz, Stefan, 1969-
1
Smith, K.
1
Vorožcov, Jevgenij Vasil'jevič, 1946-
1
Výborný, R.
1
Wild, Jonathan
1
Wolfram, Stephen, 1959-
1
Woodcock, James
1
Yust, Jason
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
4
elektronicke knihy
4
sborníky konferencí
2
sborníky
1
učebnice
1
učebnice vysokých škol
1
časopisy
Rok vydání
Od:
do:
PSH
16
matematika
16
software
5
informatika
3
metody
3
počítače
3
programování
více ...
2
algebra
2
algoritmizace
2
aplikační programy
2
numerická analýza
2
počítačová grafika
1
formální jazyky
1
matematická logika
1
matematické programování
1
naučná literatura
1
osobní počítače
1
příklady
1
robotika
1
sémantický web
1
teorie systémů
1
textové procesory
1
umělá inteligence
1
vývoj
1
vědeckotechnické výpočty
1
zpracování dat
Zobrazit vše ...
méně ...
VŠCHT ústavy
1
Ústav fyzikální chemie
×
Načítá se...
