Theory and applications of satisfiability testing, SAT 2007 : 10th international conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: SAT 2007 (Lisabon, Portugalsko) (Autor)
Další autoři: Marques-Silva, João (Editor), Sakallah, Karem A. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: New York, NY : Springer, 2007
Vydání:1st ed.
Edice:Lecture notes in computer science ; 4121
Témata:
algoritmy (programování)
logické funkce
computer algorithms
logic functions
logic function
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02372cam a22006017a 4500
001 MUB01000503741
003 CZ BrMU
005 20170626224821.0
008 070529s2007 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2014-04-10 
020 |a 978-3-540-72787-3  |z 3-540-72787-6 
040 |a BOD018  |b cze  |d BOD114 
080 |a 004.312.22  |2 MRF 
080 |a 004.421  |2 MRF 
111 2 |a SAT 2007  |c (Lisabon, Portugalsko)  |7 stk2007407112  |4 aut 
245 1 0 |a Theory and applications of satisfiability testing, SAT 2007 :  |b 10th international conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, proceedings /  |c edited by Joao Marques-Silva, Karem A. Sakallah 
250 |a 1st ed. 
260 |a New York, NY :  |b Springer,  |c 2007 
300 |a xi, 384 s. 
490 1 |a Lecture notes in computer science ;  |v 4121 
650 0 7 |a algoritmy (programování)  |7 ph131788  |2 czenas 
650 0 7 |a logické funkce  |7 ph122426  |2 czenas 
650 0 9 |a computer algorithms  |2 eczenas 
650 0 9 |a logic functions  |2 eczenas 
650 0 9 |a logic function  |2 eczenas 
700 1 |a Marques-Silva, João  |7 stk2007405882  |4 edt 
700 1 |a Sakallah, Karem A.  |7 stk2007405883  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 4121 
CAT |a BISKUPOVA  |b 02  |c 20070529  |l MUB01  |h 1111 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0636 
CAT |c 20080429  |l MUB01  |h 1813 
CAT |c 20080429  |l MUB01  |h 1828 
CAT |c 20091203  |l MUB01  |h 0148 
CAT |c 20091203  |l MUB01  |h 1831 
CAT |c 20101015  |l MUB01  |h 2305 
CAT |c 20101016  |l MUB01  |h 0330 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0100 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0855 
CAT |a ANTLOVAX  |b 02  |c 20140106  |l MUB01  |h 1546 
CAT |c 20140127  |l MUB01  |h 1831 
CAT |c 20140410  |l MUB01  |h 1143 
CAT |c 20150404  |l MUB01  |h 0229 
CAT |c 20150703  |l MUB01  |h 1014 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2239 
CAT |c 20160401  |l MUB01  |h 1234 
CAT |a VASICEKX  |b 02  |c 20160607  |l MUB01  |h 1245 
CAT |a HANAV  |b 02  |c 20170626  |l MUB01  |h 2248 
CAT |c 20210614  |l MUB01  |h 0924 
CAT |c 20210614  |l MUB01  |h 1913 
LOW |a POSLANO DO SKCR  |b 2014-04-10 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 K912.07  |5 4200513157  |8 20070529  |f 74  |f Měsíční  |r 20070529 
AVA |a INF50  |b FI  |c sklad  |d K912.07  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky