ITP 2010 IJCAR 2010.^^CAV 2010.^^SAT 2010 : international conferences, Edinbourgh, UK, July 11-19, 2010 : proceedings.^^Time for verification : essays in memory of Amir Pnueli
Uloženo v:
| Korporace: | , , , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Heidelberg ;
Springer,
c2010
|
| Edice: | Lecture notes in computer science
|
| Témata: | |
| Příbuzné jednotky: | Tištěná verze::
Interactive Theorem Proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings Tištěná verze:: Automated Reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings Tištěná verze:: Computer Aided Verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings Tištěná verze:: Theory and Applications of Satisfiability Testing - SAT 2010 : 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings Tištěná verze:: Time for verification : essays in memory of Amir Pnueli |
| LEADER | 04582cam a22008057a 4500 | ||
|---|---|---|---|
| 001 | MUB01000657407 | ||
| 003 | CZ BrMU | ||
| 005 | 20250806235857.0 | ||
| 008 | 101025s2010 gw |||||q|||||||||||eng d | ||
| STA | |a POSLANO DO SKCR |b 2021-08-04 | ||
| 040 | |a BOD114 |b cze |d BOD018 | ||
| 072 | 7 | |a 004 |x Počítačová věda. Výpočetní technika. Informační technologie |2 Konspekt |9 23 | |
| 080 | |a 004.41 |2 MRF | ||
| 080 | |a 004.43 |2 MRF | ||
| 080 | |a 004.8 |2 MRF | ||
| 080 | |a (062.534) |2 MRF | ||
| 111 | 2 | |a Interactive Theorem Proving |n (1. : |d 2010 : |c Edinburgh, Skotsko) |4 aut | |
| 245 | 1 | 0 | |a ITP 2010 |h [elektronický zdroj]. |b IJCAR 2010.^^CAV 2010.^^SAT 2010 : international conferences, Edinbourgh, UK, July 11-19, 2010 : proceedings.^^Time for verification : essays in memory of Amir Pnueli |
| 246 | 3 | 0 | |a Federated Logic Conference : |b FLoC 2010 |i Název na disku: |
| 246 | 3 | 0 | |a FLoC 2010 |
| 260 | |a Heidelberg ; |b Springer, |c c2010 | ||
| 300 | |a 1 CD-ROM | ||
| 490 | 1 | |a Lecture notes in computer science | |
| 500 | |a Název z titulní obrazovky | ||
| 538 | |a Požadavky na systém: Adobe Acrobat Reader | ||
| 650 | 0 | 7 | |a programovací jazyky |7 ph115890 |2 czenas |
| 650 | 0 | 7 | |a softwarové inženýrství |7 ph125825 |2 czenas |
| 650 | 0 | 7 | |a umělá inteligence |7 ph116536 |2 czenas |
| 650 | 0 | 9 | |a artificial intelligence |2 eczenas |
| 650 | 0 | 9 | |a programming languages |2 eczenas |
| 650 | 0 | 9 | |a software engineering |2 eczenas |
| 655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
| 655 | 9 | |a proceedings of conferences |2 eczenas | |
| 711 | 2 | 2 | |a Automated Reasoning |n (5. : |d 2010 : |c Edinburgh, Skotsko). |t IJCAR 2010 |
| 711 | 2 | 2 | |a Computer Aided Verification |n (22. : |d 2010 : |c Edinburgh, Skotsko). |t CAV 2010 |
| 711 | 2 | 2 | |a Theory and Applications of Satisfiability Testing |n (13. : |d 2010 : |c Edinburgh, Skotsko). |t SAT 2010 |
| 740 | 0 | 2 | |a Time for verification |
| 776 | 0 | 8 | |i Tištěná verze: |a Interactive Theorem Proving (1. : 2010 : Edinburgh, Skotsko) |t Interactive Theorem Proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings |k Lecture notes in computer science ; 6172 |z 978-3-642-14051-8 |
| 776 | 0 | 8 | |i Tištěná verze: |a Automated Reasoning (5. : 2010 : Edinburgh, Skotsko) |t Automated Reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings |k Lecture notes in computer science ; 6173. Lecture notes in artificial intelligence |z 978-3-642-14202-4 |
| 776 | 0 | 8 | |i Tištěná verze: |a Computer Aided Verification (22. : 2010 : Edinburgh, Skotsko) |t Computer Aided Verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings |k Lecture notes in computer science ; 6174 |z 978-3-642-14294-9 |
| 776 | 0 | 8 | |i Tištěná verze: |a Theory and Applications of Satisfiability Testing (13. : 2010 : Edinburgh, Skotsko) |t Theory and Applications of Satisfiability Testing - SAT 2010 : 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings |k Lecture notes in computer science ; 6175 |z 978-3-642-14185-0 |
| 776 | 0 | 8 | |i Tištěná verze: |t Time for verification : essays in memory of Amir Pnueli |k Lecture notes in computer science ; 6200 |z 978-3-642-13753-2 |
| 830 | 0 | |a Lecture notes in computer science | |
| CAT | |a HANAV |b 02 |c 20101025 |l MUB01 |h 1500 | ||
| CAT | |a HANAV |b 02 |c 20101101 |l MUB01 |h 2333 | ||
| CAT | |a HANAV |b 02 |c 20101102 |l MUB01 |h 0010 | ||
| CAT | |a HANAV |b 02 |c 20101102 |l MUB01 |h 0023 | ||
| CAT | |a HANAV |b 02 |c 20101102 |l MUB01 |h 0029 | ||
| CAT | |a batch |b 00 |c 20120324 |l MUB01 |h 0142 | ||
| CAT | |a KREKOVA |b 02 |c 20130220 |l MUB01 |h 1134 | ||
| CAT | |a HANAV |b 02 |c 20130220 |l MUB01 |h 1352 | ||
| CAT | |a KREKOVA |b 02 |c 20130220 |l MUB01 |h 1539 | ||
| CAT | |a BATCH |b 00 |c 20130304 |l MUB01 |h 1138 | ||
| CAT | |c 20150703 |l MUB01 |h 1132 | ||
| CAT | |a BATCH |b 00 |c 20151226 |l MUB01 |h 0130 | ||
| CAT | |c 20160401 |l MUB01 |h 1237 | ||
| CAT | |a HANAV |b 02 |c 20190711 |l MUB01 |h 0027 | ||
| CAT | |a HANAV |b 02 |c 20190910 |l MUB01 |h 0021 | ||
| CAT | |a HANAV |b 02 |c 20191015 |l MUB01 |h 1644 | ||
| CAT | |c 20210614 |l MUB01 |h 0950 | ||
| CAT | |c 20210614 |l MUB01 |h 1939 | ||
| CAT | |a BATCH |b 00 |c 20210724 |l MUB01 |h 1200 | ||
| CAT | |c 20210804 |l MUB01 |h 0901 | ||
| CAT | |a VARTECKAX |b 02 |c 20230612 |l MUB01 |h 0909 | ||
| CAT | |a HANAV |b 02 |c 20250806 |l MUB01 |h 2358 | ||
| CAT | |a HANAV |b 02 |c 20250806 |l MUB01 |h 2358 | ||
| LOW | |a POSLANO DO SKCR |b 2021-08-04 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m CDROM |1 FI |a Fakulta informatiky |2 SKLAD |b sklad |3 CD-ROM |5 4200516024 |8 20130220 |f 72 |f Týdenní |r 20101102 |s dar |
| AVA | |a INF50 |b FI |c sklad |d CD-ROM |e available |t K dispozici |f 1 |g 0 |h N |i 0 |j SKLAD | ||