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: David Harel 24 träffar

Titel Författare År Språk
1 Algorithmic Bioprocesses (Natural computing series) 2009 Okänt
2 Algorithmic Bioprocesses Anne. Condon 2009 Engelska
3 First-Order Dynamic Logic David Harel uuuu-uuuu Okänt
4 Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 315 August 2004 2005 Okänt
5 Algoritmi electronic resource : Lo spirito dell'informatica / by David Harel, Yishai Feldman David. author. Harel uuuu-uuuu Okänt
6-9 Algorithmics - the spirit of computing (flera utgåvor) David Harel cop. 1992 Engelska
10 Algoritmi - Lo spirito dell₂informatica David. Harel 2008 Italienska
11 Algoritmi : Lo spirito dell'informatica David Harel 2008 Okänt
12 Come, let's play - scenario-based programming using LSCs and the play-engine David Harel cop. 2003 Engelska
13 Computers Ltd - what they really can't do David Harel 2000 Engelska
14-15 Dynamic logic (flera utgåvor) David Harel cop. 2000 Engelska
16-18 Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn (flera utgåvor) David Harel uuuu-uuuu Okänt
19 First-order dynamic logic David Harel 1979 Engelska
20 The science of computing - exploring the nature and power of algorithms David Harel 1989 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.