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: John C.. Mitchell 212 träffar

Titel Författare År Språk
1 Theoretical aspects of object-oriented programming - types, semantics, and language design cop. 1994 Engelska
2 Foundations for programming languages John C. Mitchell cop. 1996 Engelska
3 Concepts in programming languages John C. Mitchell 2003 Engelska
4 Theoretical aspects of computer software - proceedings cop. 1994 Engelska
5 Exploring new frontiers of theoretical informatics - IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France France) IFIP TC1 International Conference on Theoretical Computer Science 2004 : Toulouse 2004 Engelska
6 Advances in Web Based Learning - ICWL 2008 - 7th International Conference, Jinhua, China, August 20-22, 2008. Proceedings David. Hutchison 2008 Engelska
7 Artificial Immune Systems - 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings David. Hutchison 2008 Engelska
8 Hybrid Learning and Education - First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings David. Hutchison 2008 Engelska
9 Computational Forensics - Second International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008. Proceedings David. Hutchison 2008 Engelska
10 CONCUR 2008 - Concurrency Theory - 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings David. Hutchison 2008 Engelska
11 Database and Expert Systems Applications - 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedings David. Hutchison 2008 Engelska
12 Trust, Privacy and Security in Digital Business - 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings David. Hutchison 2008 Engelska
13 Information Security - 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings David. Hutchison 2008 Engelska
14 Focused Access to XML Documents - 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers David. Hutchison 2008 Engelska
15 Managing Large-Scale Service Deployment - 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings David. Hutchison 2008 Engelska
16 Recent Advances in Intrusion Detection - 11th International Symposium, RAID 2008, Cambridge, MA, USA, September 15-17, 2008. Proceedings David. Hutchison 2008 Engelska
17 Ant Colony Optimization and Swarm Intelligence - 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings David. Hutchison 2008 Engelska
18 Computer Science Logic - 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings David. Hutchison 2008 Engelska
19 Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings David. Hutchison 2008 Engelska
20 Component-Based Software Engineering - 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings David. Hutchison 2008 Engelska

1 2 3 4 5 6 7 8 9 10 11 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.