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: José Fiadeiro
22 träffar
|
Titel |
Författare |
År |
Språk |
1-2 |
Recent trends in algebraic development techniques - 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998 : selected papers
(flera utgåvor)
|
Workshop on Algebraic Development Techniques 1999) Lisboa :
|
cop. 1999 |
Engelska |
3-4 |
Recent Trends in Algebraic Development Techniques - 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
(flera utgåvor)
|
José Luiz. Fiadeiro
|
2005 |
Engelska |
5 |
Algebra and Coalgebra in Computer Science - First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
|
José Luiz. Fiadeiro
|
2005 |
Engelska |
6 |
Categories for software engineering
|
José Luiz Fiadeiro
|
cop. 2005 |
Engelska |
7 |
Algebra and Coalgebra in Computer Science
|
José Luis. Fiadeiro
|
|
Engelska |
8 |
Categories for Software Engineering electronic resource
|
José Luiz. Fiadeiro
|
2005 |
Engelska |
9 |
Business Process Management (vol. # 4102) electronic resource - 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings
|
Schahram. Dustdar
|
2006 |
Engelska |
10 |
Recent Trends in Algebraic Development Techniques electronic resource - 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
|
José Luiz. Fiadeiro
|
2007 |
Engelska |
11 |
Fundamental Approaches to Software Engineering - 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
|
José Luiz. Fiadeiro
|
2008 |
Engelska |
12 |
Business Process Management
|
Schahram Dustdar
|
2006 |
Okänt |
13 |
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
|
José Luiz. Fiadeiro
|
2014 |
Engelska |
14 |
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
|
|
2017 |
Engelska |
15 |
Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
|
Jose L. Fiadeiro
|
uuuu-uuuu |
Okänt |
16 |
Recent Trends in Algebraic Development Techniques: 17Th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : Revised Selected Papers (Lecture notes in computer science, 3423)
|
José Luiz Fiadeiro
|
2005 |
Okänt |
17 |
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : Proceedings (Lecture notes in computer science, 3629)
|
José Luis Fiadeiro
|
2005 |
Okänt |
18 |
Recent Trends in Algebraic Development Techniques: 18Th International Workshop, WADT 2006, La Roche En Ardenne, Belgium, June 1-3, 2006 Revised Selected Papers (Lecture notes in computer science 4409)
|
José Luiz Fiadeiro
|
2007 |
Okänt |
19 |
Formal Aspects of Component Software: Revised Selected Papers
|
José Luiz Fiadeiro
|
2014 |
Okänt |
20 |
Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
|
José Fiadeiro
|
2008 |
Okänt |
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.