Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Uloženo v:
| Další autoři: | |
|---|---|
| Korporace: | |
| Konference: | |
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin ; Heidelberg ; New York :
Springer,
2005
|
| Edice: | Lecture notes in computer science
|
| Žánr/forma: | elektronické knihy sborníky konferencí |
| ISBN: | 978-3-540-31959-7 978-3-540-25327-3 3-540-25327-0 |
| Témata: | |
| On-line přístup: | Plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 02619cam a22006137i 4500 | ||
|---|---|---|---|
| 001 | 001818275 | ||
| 003 | CZ PrSTK | ||
| 005 | 20211109100451.0 | ||
| 006 | m f d | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100707t20052005gw fs 100 eng | ||
| 020 | |a 978-3-540-31959-7 |q (elektronická kniha) | ||
| 020 | |z 978-3-540-25327-3 |q (brožováno) |z 3-540-25327-0 | ||
| 024 | 7 | |a 10.1007/b107129 |2 doi | |
| 040 | |a DE-He213 |b cze |d ABA013 |e rda | ||
| 072 | 7 | |a 004 |x Počítačová věda. Výpočetní technika. Informační technologie |2 Konspekt |9 23 | |
| 080 | |a 004 |2 MRF | ||
| 080 | |a 004.2 |2 MRF | ||
| 080 | |a 004.41 |2 MRF | ||
| 080 | |a 004.42 |2 MRF | ||
| 080 | |a 004.451 |2 MRF | ||
| 080 | |a 510.6 |2 MRF | ||
| 080 | |a 512 |2 MRF | ||
| 080 | |a 519.766 |2 MRF | ||
| 080 | |a (0.034.2:08) |2 MRF | ||
| 080 | |a (062.534) |2 MRF | ||
| 111 | 2 | |a WADT (workshop) |d (2004 : |c Barcelona, Španělsko) |7 xx0034567 | |
| 245 | 1 | 0 | |a Recent trends in algebraic development techniques : |b 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / |c José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.) |
| 264 | 1 | |a Berlin ; |a Heidelberg ; |a New York : |b Springer, |c [2005] | |
| 264 | 4 | |c ©2005 | |
| 300 | |a 1 online zdroj (VIII, 280 stran) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a počítač |b c |2 rdamedia | ||
| 338 | |a online zdroj |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3423 | |
| 650 | 0 | 7 | |a informatika |x if |7 psh6548 |2 psh |
| 650 | 0 | 7 | |a softwarové inženýrství |x if |7 psh6634 |2 psh |
| 650 | 0 | 7 | |a programování |x vt |7 psh12467 |2 psh |
| 650 | 0 | 7 | |a operační systémy |x vt |7 psh12499 |2 psh |
| 650 | 0 | 7 | |a matematická logika |x ma |7 psh7096 |2 psh |
| 650 | 0 | 7 | |a algebra |x ma |7 psh7215 |2 psh |
| 650 | 0 | 7 | |a formální jazyky |x if |7 psh6614 |2 psh |
| 650 | 0 | 7 | |a počítačová architektura |7 ph124502 |2 czenas |
| 655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
| 655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
| 700 | 1 | |a Fiadeiro, José Luiz, |d 1961- |7 xx0034566 |4 edt | |
| 700 | 1 | |a Mosses, Peter D., |d 1948- |7 xx0020087 |4 edt | |
| 700 | 1 | |a Orejas, Fernando, |d 1952- |7 xx0034565 |4 edt | |
| 710 | 2 | |a SpringerLink (online služba) |7 ntk2018999494 |4 dst | |
| 776 | 0 | 8 | |i Tištěné vydání: |t Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers |z 978-3-540-25327-3 |
| 830 | 0 | |a Lecture notes in computer science | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/b107129 |y Plný text |
| 910 | |a ABA013 | ||
| 950 | |a Springer |b Lecture Notes in Computer Science 2017 | ||