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: Masami. Hagiya 36 träffar

Titel Författare År Språk
1 Introduction to COMMON LISP Taiichi Yuasa c1987 Engelska
2 Theoretical aspects of computer software - proceedings cop. 1994 Engelska
3-4 Logic, Language and Computation - Festschrift in Honor of Satoru Takasu (flera utgåvor) 1994 Engelska
5-6 DNA computing - 8th International Workshop on DNA-Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002 : revised papers (flera utgåvor) Japan) International Workshop on DNA-Based Computers 2002 : Sapporo cop. 2003 Engelska
7-8 Functional and Logic Programming (flera utgåvor) Masami. Hagiya 2006 Engelska
9 Theoretical Aspects of Computer Software - International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings Japan) TACS '94 (1994 : Sendai-han 1994 Engelska
10 Unconventional Computation - 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings Cristian S. Calude 2010 Engelska
11 Functional and Logic Programming: 8Th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : Proceedings (Lecture notes in computer science, 3945) Masami Hagiya 2006 Okänt
12 Recent Advances in Natural Computing - Selected Results from the IWNC 7 Symposium Yasuhiro. Suzuki 2015 Engelska
13 Recent Advances in Natural Computing - Selected Results from the IWNC 8 Symposium 2016 Engelska
14 Verifying networked programs using a model checker extension 31st Int. Conf. on Software Engineering (ICSE 2009) Watcharin Leungwattanakit 2009 Engelska
15 Modbat - A Model-based API Tester for Event-driven Systems 9th Haifa Verification Conference (HVC 2013) Cyrille Artho 2013 Engelska
16 Introduction of Virtualization Technology to Multi-Process Model Checking NASA Formal Methods Symposium 2009 Watcharin Leungwattanakit 2009 Engelska
17 Cardinality of UDP Transmission Outcomes SETTA 2015; Nanjing; China; 4 November 2015 through 6 November 2015 and Applications Tools 1st International Symposium on Dependable Software Engineering: Theories Franz Weitl 2015 Engelska
18 Tools and Techniques for Model Checking Networked Programs And Parallel/Distributed Computing (SNPD 2008) Networking Artificial Intelligence 9th Int. Conf. on Software Engineering Cyrille Artho 2008 Engelska
19 Cache-based Model Checking of Networked Applications - From Linear to Branching Time 24th Int. Conf. on Automated Software Engineering (ASE 2009) Cyrille Artho 2009 Engelska
20 Extraction of properties in C implementations of security APIs for verification of Java applications 3rd Int. Workshop on Analysis of Security APIs Cyrille Artho 2009 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.