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: Gerhard Weikum
210 träffar
|
Titel |
Författare |
År |
Språk |
41 |
Computer Aided Verification electronic resource - 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
42 |
Embedded Computer Systems: Architectures, Modeling, and Simulation electronic resource - 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
43 |
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support electronic resource - Results of the IMPROVE Project
|
David. Hutchison
|
2008 |
Engelska |
44 |
Data and Applications Security XXII electronic resource - 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
45 |
Interactive Systems. Design, Specification, and Verification electronic resource - 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
|
David. Hutchison
|
2008 |
Engelska |
46-47 |
Automata, Languages and Programming electronic resource - 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
(flera utgåvor)
|
David. Hutchison
|
2008 |
Engelska |
48 |
Computer-Human Interaction electronic resource - 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
49 |
Resilient Networks and Services electronic resource - Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
50 |
Rewriting Techniques and Applications electronic resource - 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
51 |
ECOOP 2008 – Object-Oriented Programming electronic resource - 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
52 |
Mathematics of Program Construction electronic resource - 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
53 |
Privacy Enhancing Technologies electronic resource - 8th International Symposium, PETS 2008 Leuven, Belgium, July 23-25, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
54 |
Implementation and Applications of Automata electronic resource - 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
55 |
Model-Driven Development of Reliable Automotive Services electronic resource - Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
|
David. Hutchison
|
2008 |
Engelska |
56 |
Information Visualization electronic resource - Human-Centered Issues and Perspectives
|
David. Hutchison
|
2008 |
Engelska |
57 |
Semantic Web, Ontologies and Databases electronic resource - VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers
|
David. Hutchison
|
2008 |
Engelska |
58 |
Adaptive Hypermedia and Adaptive Web-Based Systems electronic resource - 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
59 |
Fast Software Encryption electronic resource - 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers
|
David. Hutchison
|
2008 |
Engelska |
60 |
Theorem Proving in Higher Order Logics electronic resource - 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
Förra sidan
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.