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: Gregor Bochmann 11 träffar

Titel Författare År Språk
1 Concepts for distributed systems design Gregor von Bochmann 1983 Engelska
2 Protocol specification, testing, and verification, VI - proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification And Verification 1986 : Montréal) Testing IFIP WG 6.1 International Workshop on Protocol Specification 1987 Engelska
3 Architecture of distributed computer systems Gregor von Bochmann 1979 Engelska
4 Computer aided verification cop. 1993 Engelska
5 Testing of Communicating Systems Gregor Bochmann 2000 Okänt
6 Introduction to Hamiltonian Dynamical Systems and the N-Body Problem Gregor von Bochmann 2009 Engelska
7 SDL '99, the Next Millennium: Proceedings of the Ninth SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999 Yair. LaHav 1999 Okänt
8 Computer Aided Verification Gregor Bochmann uuuu-uuuu Okänt
9 Architecture of Distributed Computer Systems Gregor Bochmann uuuu-uuuu Okänt
10 Concepts for Distributed Systems Design Gregor Bochmann 1983 Okänt
11 Concepts for Distributed Systems Design / by G. von Bochmann Gregor von Bochmann uuuu-uuuu Okänt

1

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.