close
1.

電子ブック
ＥＢ
1. Theory of Quantum Computation, Communication, and Cryptography
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Distributed Computing and Networking
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Unifying Theories of Programming
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Logical Foundations of Computer Science
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Advances in Multimedia Modeling
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Advances in Multimedia Modeling
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Conceptual Structures for STEM Research and Education
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Software Engineering for Self-Adaptive Systems II
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Evaluation of Natural Language and Speech Tools for Italian
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Transactions on Computational Science XVII
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. SOFSEM 2013: Theory and Practice of Computer Science
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Formal Aspects of Component Software
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Job Scheduling Strategies for Parallel Processing
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Verification, Model Checking, and Abstract Interpretation
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Formal Methods for Components and Objects
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Data Privacy Management and Autonomous Spontaneous Security
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Facing the Multicore-Challenge III
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Uncertainty Reasoning for the Semantic Web II
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Generative and Transformational Techniques in Software Engineering IV
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Selected Areas in Cryptography
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Semantics in Data and Knowledge Bases
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Languages and Compilers for Parallel Computing
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Logic and Its Applications
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Mathematical and Engineering Methods in Computer Science
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Software Engineering
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Distributed Computing and Internet Technology
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Citizen in Sensor Networks
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Software Language Engineering
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Algorithms for Sensor Systems
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Construction and Evolution of Code Generators
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Security Protocols XVII
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Construction and Evolution of Code Generators
David Hutchison, Takeo Kanade, Sven Jörges, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Data Privacy Management and Autonomous Spontaneous Security
David Hutchison, Takeo Kanade, Ernesto Damiani, Javier Herranz, Radu State
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Design, User Experience, and Usability. Design Philosophy, Methods, and Tools
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Design, User Experience, and Usability. User Experience in Novel Technological Environments
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Design, User Experience, and Usability. Web, Mobile, and Product Design
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Distributed Computing and Internet Technology
David Hutchison, Takeo Kanade, Josef Kittler, Pradip K. Srimani
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Distributed Computing and Networking
David Hutchison, Takeo Kanade, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Formal Aspects of Component Software
David Hutchison, Takeo Kanade, Gwen Salaün
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Formal Methods for Components and Objects
David Hutchison, Takeo Kanade, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Foundations of Software Science and Computation Structures
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Generative and Transformational Techniques in Software Engineering IV
David Hutchison, Takeo Kanade, Ralf Lämmel, João Saraiva, Joost Visser
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Advances in Multimedia Modeling
David Hutchison, Takeo Kanade, Abdulmotaleb El Saddik, Cathal Gurrin, Richang Hong, Tao Mei, Nicu Sebe, Meng Wang, Shuicheng Yan
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Advances in Multimedia Modeling
David Hutchison, Takeo Kanade, Abdulmotaleb El Saddik, Cathal Gurrin, Richang Hong, Tao Mei, Nicu Sebe, Meng Wang, Shuicheng Yan
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Algorithms for Sensor Systems
David Hutchison, Takeo Kanade, Magnus M. Halldorsson, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Automated Deduction – CADE-24
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Conceptual Structures for STEM Research and Education
David Hutchison, Takeo Kanade, Dmitry Ignatov, G. Nagarjuna, Jonas Poelmans
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Evaluation of Natural Language and Speech Tools for Italian
David Hutchison, Takeo Kanade, Francesco Cutugno, Mauro Falcone, Emanuele Pianta
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
51.

電子ブック
ＥＢ
51. Facing the Multicore-Challenge III
David Hutchison, Takeo Kanade, David Kramer, Jan-Philipp Weiß
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Business Process Models. Change Management
Gerth, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Citizen in Sensor Networks
David Hutchison, Takeo Kanade, Josef Kittler, Daniel Villatoro
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Computational Linguistics and Intelligent Text Processing
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Computational Linguistics and Intelligent Text Processing
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Engineering Psychology and Cognitive Ergonomics. Applications and Services
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Advanced Infocomm Technology
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. The Language of Mathematics
Ganesalingam, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Theory of Cryptography
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Theory of Quantum Computation, Communication, and Cryptography
David Hutchison, Takeo Kanade, Yasuhito Kawano, Mio Murao
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Topics in Cryptology – CT-RSA 2013
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Transactions on Computational Collective Intelligence IX
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Transactions on Computational Collective Intelligence X
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Transactions on Computational Science XVII
David Hutchison, Takeo Kanade, Josef Kittler, C. J. Kenneth Tan
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Uncertainty Reasoning for the Semantic Web II
David Hutchison, Takeo Kanade, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Security Protocols XVII
David Hutchison, Takeo Kanade, James A. Malcolm, Vashek Matyás, Michael Roe
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Selected Areas in Cryptography
David Hutchison, Takeo Kanade, Josef Kittler, Huapeng Wu
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Semantics in Data and Knowledge Bases
David Hutchison, Takeo Kanade, Josef Kittler, Bernhard Thalheim
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Smart Card Research and Advanced Applications
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Smart Grid Security
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. Software Engineering
David Hutchison, Takeo Kanade, Filomena Ferrucci, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Software Engineering for Self-Adaptive Systems II
David Hutchison, Takeo Kanade, Holger Giese, Hausi A. Müller, Mary Shaw
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Software Language Engineering
David Hutchison, Takeo Kanade, Görel Hedin
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Structured Object-Oriented Formal Language and Method
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Post-Quantum Cryptography
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Verification, Model Checking, and Abstract Interpretation
David Hutchison, Takeo Kanade, Josh Berdine, Isabella Mastroeni
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Virtual, Augmented and Mixed Reality. Systems and Applications
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Your Virtual Butler
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Human Interface and the Management of Information. Information and Interaction Design
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Human Interface and the Management of Information. Information and Interaction for Learning, Culture, Collaboration and Business,
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Human-Computer Interaction. Applications and Services
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Human-Computer Interaction. Interaction Modalities and Techniques
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Human-Computer Interaction. Towards Intelligent and Implicit Interaction
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Human-Computer Interaction. Users and Contexts of Use
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Implementation and Application of Automata
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
David Hutchison, Takeo Kanade, José L. Ayala, Delong Shang, Alex Yakovlev
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Job Scheduling Strategies for Parallel Processing
David Hutchison, Takeo Kanade, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Languages and Compilers for Parallel Computing
David Hutchison, Takeo Kanade, Josef Kittler, Michelle Mills Strout
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Logic and Its Applications
David Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Logic-Based Program Synthesis and Transformation
David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
95.

電子ブック
ＥＢ
95. Logical Foundations of Computer Science
David Hutchison, Takeo Kanade, Josef Kittler, Anil Nerode
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. SOFSEM 2013: Theory and Practice of Computer Science
David Hutchison, Takeo Kanade, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Unifying Theories of Programming
David Hutchison, Takeo Kanade, Abderrahmane Feliachi, Marie-Claude Gaudel
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. Mathematical and Engineering Methods in Computer Science
David Hutchison, Takeo Kanade, David Antos, Thomas A. Henzinger, Jaroslav Nesetřil, Tomás Vojnar
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2013
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼