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: Manfred. Broy
58 träffar
|
Titel |
Författare |
År |
Språk |
41 |
Programming and Mathematical Method
|
Manfred Broy
|
1992 |
Okänt |
42 |
Mathematical Methods in Program Development
|
|
1997 |
Okänt |
43 |
Methods of programming - selected papers on the CIP-project
|
|
cop. 1991 |
Engelska |
44 |
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology
|
|
2021 |
Okänt |
45 |
Model-Based Engineering of Embedded Systems: The Spes 2020 Methodology
|
|
2012 |
Okänt |
46-47 |
Perspectives of system informatics - proceedings
(flera utgåvor)
|
International Andrei Ershov Memorial Conference 1999 : Akademgorodok)
|
cop. 2000 |
Engelska |
48-49 |
Perspectives of system informatics - 4th International Andrei Ershov Memorial Conference revised papers
(flera utgåvor)
|
International Andrei Ershov Memorial Conference 2001) Novosibirsk :
|
2002 |
Engelska |
50 |
Perspectives of system informatics. - 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers
|
Russia) Novosibirsk International Andrei Ershov Memorial Conference 2003 : Akademgorodok
|
c2003 |
Engelska |
51 |
Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
|
Russia) Novosibirsk International Andrei Ershov Memorial Conference 2001 : Akademgorodok
|
2001 |
Engelska |
52 |
Model-Based Engineering of Embedded Systems - The SPES 2020 Methodology
|
Klaus. Pohl
|
2012 |
Engelska |
53 |
Program construction
|
|
1979 |
Engelska |
54 |
Requirements targeting software and systems engineering - International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
|
International Workshop on Requirements Targeting Software and Systems Engineering (1997 : Bernried)
|
cop. 1998 |
Engelska |
55 |
Software pioneers - contributions to software engineering sd&m conference on software pioneers, Bonn, June 28/29, 2001
|
|
cop. 2002 |
Engelska |
56 |
Software Pioneers
|
|
2002 |
Okänt |
57 |
Software system reliability and security
|
|
c2007 |
Engelska |
58 |
Theoretical foundations of programming methodology - lecture notes of an international summer school directed by F.L. Bauer, E.W. Dykstra and C.A.R. Hoare
|
|
cop. 1982 |
Engelska |
Förra sidan
1
2
3
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.