Zobrazuji výsledky
1 - 4
z
4
pro vyhledávání '
'
Přeskočit na obsah
UPFind
0
položek
(Plný)
Jazyk
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Vše
Název
Autor
Téma
Signatura
ISBN/ISSN
Hledat
Pokročilé
DATABASE:
Union Catalog (Buklod)
SUBJECT:
Algebra
A
Computer science
A
Data processing
Zobrazit filtry (4)
DATABASE:
Union Catalog (Buklod)
SUBJECT:
Algebra
A
Computer science
A
Data processing
Výsledky vyhledávání
Zobrazuji výsledky
1 - 4
z
4
pro vyhledávání '
'
, doba hledání: 0,01 s.
Upřesnit hledání
Seřadit podle
Relevance
Newest to Oldest
Oldest to Newest
Autor
Název
Vybrat vše | Vybrané:
E-mail
Exportovat
Vytisknout
Přidat do košíku
Vybrat výsledek číslo 1
1
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings
Vydáno 2011
Signatura:
Načítá se...
Umístění:
Načítá se...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Přidat do košíku
Vyjmout z košíku
Vybrat výsledek číslo 2
2
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
Vydáno v
Springer eBooks.
(2011)
Signatura:
Načítá se...
Umístění:
Načítá se...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Přidat do košíku
Vyjmout z košíku
Vybrat výsledek číslo 3
3
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Vydáno v
Springer eBook.
(2011)
Signatura:
Načítá se...
Umístění:
Načítá se...
Available for University of the Philippines Diliman via SpringerLink.Click here to access
Electronic Resource
Přidat do košíku
Vyjmout z košíku
Vybrat výsledek číslo 4
4
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Vydáno v
Springer eBooks.
(2011)
Signatura:
Načítá se...
Umístění:
Načítá se...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Přidat do košíku
Vyjmout z košíku
Vybrat vše | Vybrané:
E-mail
Exportovat
Vytisknout
Přidat do košíku
Vyhledávací nástroje:
RSS
—
Poslat e-mailem
Zpět
Upřesnit hledání
CAMPUS
Diliman
4
DATABASE
Union Catalog (Buklod)
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
4
YEAR OF PUBLICATION
Od:
do:
SUBJECT
Algebra
Computer science
Data processing
Electronic books
4
Computational complexity
3
Logic design
3
Software engineering
3
Artificial intelligence
2
Automatic theorem proving -- Congresses
1
Computer science -- Mathematics -- Congresses
1
Geometry -- Data processing -- Congresses
1
Zobrazit vše ...
AUTHOR
SpringerLink (Online service)
2
Corradini, Andrea
1
Cîrstea, Corina
1
Jouannaud, Jean-Pierre
1
Klin, Bartek
1
Narboux, Julien
1
Richter-Gebert, Jürgen
1
Schreck, Pascal
1
Shao, Zhong
1
SpringerLink (Online service
1
SringerLink (Online service
1
Winkler, Franz
1
Zobrazit vše ...
RESOURCE TYPE
Electronic Resource
4
LANGUAGE
English
4
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Načítá se...