Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Ugo Montanari
26 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Bartolomeo Campagnoli - violinista, compositore (1751-1827)
|
Ugo Montanari
|
1969 |
Italienska |
2 |
System development and ADA - proceedings
|
CRAI Workshop on Software Factories and Ada (1986 : Capri)
|
cop. 1987 |
Engelska |
3 |
Proceedings
|
International Symposium on Programming 1982) Torino :
|
1982 |
Engelska |
4 |
Principles and practice of constraint programming - CP '95
|
International Conference on Principles and Practice of Constraint Programming 1995) Cassis :
|
cop. 1995 |
Engelska |
5 |
CONCUR '96: concurrency theory
|
International Conference on Concurrency Theory 1996) Pisa :
|
cop. 1996 |
Engelska |
6-7 |
Automata, languages and programming
(flera utgåvor)
|
Languages and Programming 2000 : Genève) International Colloquium on Automata
|
cop. 2000 |
Engelska |
8 |
Principles and Practice of Constraint Programming — CP '95
|
Ugo Montanari
|
uuuu-uuuu |
Okänt |
9-10 |
Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
(flera utgåvor)
|
Hans-Jörg. Kreowski
|
2005 |
Engelska |
11 |
CONCUR '96: Concurrency Theory
|
International Conference on Concurrency Theory
|
1996 |
Engelska |
12-13 |
Trustworthy Global Computing
(flera utgåvor)
|
Ugo. Montanari
|
2007 |
Engelska |
14 |
Graph Transformations electronic resource - Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
|
Andrea. Corradini
|
2006 |
Engelska |
15 |
Robotica mobile - Un’introduzione pratica
|
Carlo. Ghezzi
|
2008 |
Italienska |
16 |
Recent Trends in Algebraic Development Techniques - 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
|
Andrea. Corradini
|
2009 |
Engelska |
17 |
Algebra and Coalgebra in Computer Science - Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
|
Till. Mossakowski
|
2007 |
Engelska |
18 |
Models of Computation
|
Roberto. Bruni
|
2017 |
Engelska |
19 |
CONCUR '96: Concurrency Theory
|
Ugo Montanari
|
uuuu-uuuu |
Okänt |
20 |
Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings
|
And Programming Languages International Colloquium on Automata
|
2000 |
Engelska |
1
2
Nästa sida
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.