Computational logic : symposium proceedings, Brussels, Belgium, November 13/14, 1990 /
Saved in:
| Corporate Authors: | Commission of the European Communities, Directorate-General Telecommunications, Information Industries and Innovation (Luxembourg, Luxembourg) (Originator), Computational logic |
|---|---|
| Other Authors: | Lloyd, John W. (Editor) |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin :
Springer,
1990
|
| Series: | ESPRIT basic reaearch series ;
1 |
| Subjects: | |
| ISBN: | 3540534377 |
| Online Access: |
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Loading…
The temporal logic of reactive and concurrent systems. Specification /
by: Manna, Zohar
Published: (1992)
by: Manna, Zohar
Published: (1992)
Loading…
Computer programming fundamentals /
by: Leeds, Herbert D., et al.
Published: (1966)
by: Leeds, Herbert D., et al.
Published: (1966)
Loading…
Digital computer programming /
by: McCracken, Daniel D.
Published: (1963)
by: McCracken, Daniel D.
Published: (1963)
Loading…
Optimization and computational logic /
by: Macaloon, Ken
Published: (1996)
by: Macaloon, Ken
Published: (1996)
Loading…
ESPRIT '90 : proceedings of the annual ESPRIT conference, Brussels, Belgium, November 12-15, 1990 /
Published: (1990)
Published: (1990)
Loading…
Analog and analog/hybrid computer programming /
by: Hausner, Arthur
Published: (1971)
by: Hausner, Arthur
Published: (1971)
Loading…
Iterative analog computer MEDA 41 TC Type OZ - 810 0040 : technical desctiption and programming instructions /
by: Dobiáš, Karel, et al.
Published: (1971)
by: Dobiáš, Karel, et al.
Published: (1971)
Loading…
The computer and chemistry : an introduction to programming and numerical methods /
by: Dickson, T. R.
Published: (1968)
by: Dickson, T. R.
Published: (1968)
Loading…
World of computing /
by: Anderson, Ronald E.
Published: (1988)
by: Anderson, Ronald E.
Published: (1988)
Loading…
Computer : innovative technology for computer professionals
Loading…
Software engineering /
by: Sommerville, Ian 1951-
Published: (2001)
by: Sommerville, Ian 1951-
Published: (2001)
Loading…
Počítače a programovanie : Úvod do informatiky /
by: Jankovičová, Anna
Published: (1990)
by: Jankovičová, Anna
Published: (1990)
Loading…
Interaktívny výpočtový systém metódy konečných prvkov : zborník /
Published: (1990)
Published: (1990)
Loading…
Programovanie a počítače. 1. diel /
by: Studenovský, Jozef
Published: (1989)
by: Studenovský, Jozef
Published: (1989)
Loading…
Počítače a programování. 2. díl : Cvičení /
by: Polák, Jiří
Published: (1989)
by: Polák, Jiří
Published: (1989)
Loading…
Počítače a programování.
by: Melichar, Bořivoj 1942-
Published: (1987)
by: Melichar, Bořivoj 1942-
Published: (1987)
Loading…
Počítače a programování. 1. díl /
by: Müller, Karel
Published: (1988)
by: Müller, Karel
Published: (1988)
Loading…
Počítače a programovanie /
by: Šujanský, Milan
Published: (1987)
by: Šujanský, Milan
Published: (1987)
Loading…
Počítače a programování. 1. díl : Doplňkové skriptum /
by: Müller, Karel
Published: (1988)
by: Müller, Karel
Published: (1988)
Loading…
Počítače a programovanie /
by: Gvozdjak, Ladislav
Published: (1985)
by: Gvozdjak, Ladislav
Published: (1985)
Loading…
Počítače a programování /
by: Rábová, Zdena 1936-2006
Published: (1988)
by: Rábová, Zdena 1936-2006
Published: (1988)
Loading…
Počítače a programovanie : Využitie výpočtovej techniky /
by: Varša, Peter
Published: (1989)
by: Varša, Peter
Published: (1989)
Loading…
Technické vybavenie počítačov pre 4. ročník gymnázií so zameraním na programovanie /
by: Jáneš, Vlastimil
Published: (1986)
by: Jáneš, Vlastimil
Published: (1986)
Loading…
SOF-ASR '84. Programové, matematické a informačné zabezpečenie ASR : zborník prednášok ; Nízke Tatry, Jasná pod Chopkom, zotavovňa ROH "SNP", 19. - 22. 11. 1984 /
by: Klesniak, Igor
Published: (1984)
by: Klesniak, Igor
Published: (1984)
Loading…
Počítače a programovanie. 1. diel : Cvičenia
Published: (1987)
Published: (1987)
Loading…
Počítače a programovanie. 2. časť : Programovanie. Návody na cvičenia /
by: Ferenczyová, Marta
Published: (1985)
by: Ferenczyová, Marta
Published: (1985)
Loading…
Programovanie a počítače /
by: Mihouč, Ján
Published: (1985)
by: Mihouč, Ján
Published: (1985)
Loading…
Počítače a programovanie : Programovací jazyk Fortran /
by: Jankovičová, Anna
Published: (1986)
by: Jankovičová, Anna
Published: (1986)
Loading…
Počítače a programování /
by: Rábová, Zdena 1936-2006
Published: (1986)
by: Rábová, Zdena 1936-2006
Published: (1986)
Loading…
Programování samočinných počítačů /
by: Pavelka, František
Published: (1986)
by: Pavelka, František
Published: (1986)
Loading…
Počítače a programovanie : Návody na cvičenia /
by: Šujanský, Milan
Published: (1986)
by: Šujanský, Milan
Published: (1986)
Loading…
Informatika pre stredné školy. Učebnica /
by: Kalaš, Ivan 1957-
Published: (2002)
by: Kalaš, Ivan 1957-
Published: (2002)
Loading…
Das IBM - System/360 und seine Programmiertechniken /
by: Opler, Ascher
Published: (1972)
by: Opler, Ascher
Published: (1972)
Loading…
Počítače a programování.
by: Rábová, Zdena 1936-2006
Published: (1972)
by: Rábová, Zdena 1936-2006
Published: (1972)
Loading…
Interaktívny výpočtový systém metódy konečných prvkov : zborník, Zvolen - Centrum, Československo, 18.-22.5.1988 /
Published: (1988)
Published: (1988)
Loading…
Počítače a základy programovania /
by: Makóni, Július
Published: (1973)
by: Makóni, Július
Published: (1973)
Loading…
Osobní počítače PC : Programování v jazyku symbolických instrukcí. Obrázková část /
by: Sobotka, M.
Published: (1990)
by: Sobotka, M.
Published: (1990)
Loading…
Osobní počítače PC : Programování v jazyku symbolických instrukcí. Textová část /
by: Sobotka, M.
Published: (1990)
by: Sobotka, M.
Published: (1990)
Loading…
Computer concepts and applications with Basic /
by: Sanders, Donald H.
Published: (1987)
by: Sanders, Donald H.
Published: (1987)
Loading…
High-performance parallel and distributed computing & co-located workshops : HPDC'13 ; CLHS'13, EEHPDC'13, FTXS'13, HPPN'13, ORMaCLOUD'13, ScienceCloud'13, & VTDC'13 ; proceedings of the 22nd international symposium, New York, NY, USA, June 17-21, 2013 /
Published: (2013)
Published: (2013)
Similar Items
-
The temporal logic of reactive and concurrent systems. Specification /
by: Manna, Zohar
Published: (1992) -
Computer programming fundamentals /
by: Leeds, Herbert D., et al.
Published: (1966) -
Digital computer programming /
by: McCracken, Daniel D.
Published: (1963) -
Optimization and computational logic /
by: Macaloon, Ken
Published: (1996) -
ESPRIT '90 : proceedings of the annual ESPRIT conference, Brussels, Belgium, November 12-15, 1990 /
Published: (1990)

