close
1.

電子ジャーナル
ＥＪ
1. Advances in engineering software (1978)
出版情報: Elsevier ScienceDirect Journals Complete , Southampton : Elsevier
所蔵情報: loading…
2.

電子ジャーナル
ＥＪ
2. Journal of logic and computation
出版情報: NII-REO OUP Archive Full , ENGLAND : Oxford University Press
所蔵情報: loading…
3.

電子ジャーナル
ＥＪ
3. Journal of logic and computation
出版情報: Oxford University Press Journals Current , ENGLAND : Oxford University Press
所蔵情報: loading…
4.

電子ジャーナル
ＥＪ
4. The Journal of systems and software
出版情報: Elsevier ScienceDirect Journals Complete , UNITED STATES : Elsevier
所蔵情報: loading…
5.

電子ジャーナル
ＥＪ
5. Science of computer programming
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier
所蔵情報: loading…
6.

電子ジャーナル
ＥＪ
6. Mathematics and computers in simulation
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier Science
所蔵情報: loading…
7.

電子ジャーナル
ＥＪ
7. Computing systems in engineering
出版情報: Elsevier ScienceDirect Journals Complete , Elmsford, NY : Pergamon
所蔵情報: loading…
8.

電子ジャーナル
ＥＪ
8. Journal of systems architecture
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier
所蔵情報: loading…
9.

電子ジャーナル
ＥＪ
9. Computers and composition
出版情報: Elsevier ScienceDirect Journals Complete , [Michigan?] : Elsevier Science
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Models in Software Engineering
Thomas K?hne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Model Driven Engineering Languages and Systems
Jon Whittle, Tony Clark, Takeo Kanade, Thomas K?hne, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Conceptual Modeling ? ER 2011
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Models in Software Engineering
Thomas Kühne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Reliable Software Technologies  EAda Europe 2007
Nabil Abdennahder, Nabil Abdennadher, Takeo Kanade, Fabrice Kordon, Ada-Europe (Organization), Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Model Driven Engineering Languages and Systems
Jon Whittle, Tony Clark, Takeo Kanade, Thomas Kühne, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Conceptual Modeling  EER 2011
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Functional and Logic Programming
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey
Extending the TOy System with the ECL PSe Solver over Sets of Integers
Sonia Estévez-Martín / Jesús Correas Fernández
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai
Iteratees / Oleg Kiselyov
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu
Author Index
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
18.

電子ブック
ＥＢ
18. Reliable Software Technologies ? Ada Europe 2007
Nabil Abdennahder, Nabil Abdennadher, Takeo Kanade, Fabrice Kordon, Ada-Europe (Organization), Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Functional and Logic Programming
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey
Extending the TOy System with the ECL PSe Solver over Sets of Integers
Sonia Estévez-Martín / Jesús Correas Fernández
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai
Iteratees / Oleg Kiselyov
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu
Author Index
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
20.

電子ジャーナル
ＥＪ
20. Computing Japan
出版情報: EBSCOhost Academic Search Premier , Tokyo : Japan Inc Communications, K.K.
所蔵情報: loading…
21.

電子ジャーナル
ＥＪ
21. Computer Workstations
出版情報: EBSCOhost Academic Search Premier , Boston, MA : Worldwide Videotex
所蔵情報: loading…
22.

電子ジャーナル
ＥＪ
22. Year 2000 practitioner
出版情報: EBSCOhost Academic Search Premier , Boca Raton, FL : Taylor & Francis Ltd
所蔵情報: loading…
23.

電子ジャーナル
ＥＪ
23. Computing
出版情報: EBSCOhost Academic Search Premier , AUSTRIA : Springer Nature
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Proceedings of the 11th international conference on Functional and Logic Programming
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library., Josef Kittler, Peter Thiemann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey
Extending the TOy System with the ECL PSe Solver over Sets of Integers
Sonia Estévez-Martín / Jesús Correas Fernández
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai
Iteratees / Oleg Kiselyov
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu
Author Index
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
25.

電子ブック
ＥＢ
25. Proceedings of the 30th international conference on Conceptual modeling
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Proceedings of the 12th international conference on Reliable software technologies
Nabil Abdennahder, Nabil Abdennadher, Takeo Kanade, Fabrice Kordon, Ada-Europe (Organization), Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Proceedings of the 14th international conference on Model driven engineering languages and systems
Jon Whittle, Tony Clark, Takeo Kanade, Thomas Kühne, Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Proceedings of the 2006 international conference on Models in software engineering
Thomas Kühne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
29.

電子ジャーナル
ＥＪ
29. Ieee Transactions on Computers
出版情報: IEEE Electronic Library (IEL) Journals , UNITED STATES : IEEE
所蔵情報: loading…
30.

電子ジャーナル
ＥＪ
30. Ieee Annals of the History of Computing
出版情報: IEEE Electronic Library (IEL) Journals , UNITED STATES : IEEE
所蔵情報: loading…
31.

電子ジャーナル
ＥＪ
31. IEEE Personal Communications
出版情報: IEEE Electronic Library (IEL) Journals , New York, NY : IEEE
所蔵情報: loading…
32.

電子ジャーナル
ＥＪ
32. IT Professional
出版情報: IEEE Electronic Library (IEL) Journals , UNITED STATES : IEEE
所蔵情報: loading…
33.

電子ジャーナル
ＥＪ
33. IEEE Potentials
出版情報: IEEE Electronic Library (IEL) Journals , [New York, N.Y.] : IEEE
所蔵情報: loading…
34.

電子ジャーナル
ＥＪ
34. Information Professional
出版情報: IEEE Electronic Library (IEL) Journals , Stevenage (Publ. & Information Services, Michael Faraday House, Six Hills Way, Stevenage, Herts SG1 2AY) : IET
所蔵情報: loading…
35.

電子ジャーナル
ＥＪ
35. Autonomous Agents and Multi-Agent Systems
出版情報: SpringerLink Journals - AutoHoldings , UNITED STATES : Hybrid
所蔵情報: loading…
36.

電子ジャーナル
ＥＪ
36. Computing
出版情報: SpringerLink Journals - AutoHoldings , AUSTRIA : Hybrid
所蔵情報: loading…
37.

電子ジャーナル
ＥＪ
37. design Automation for Embedded Systems
出版情報: SpringerLink Journals - AutoHoldings , NETHERLANDS : Hybrid
所蔵情報: loading…
38.

電子ジャーナル
ＥＪ
38. Genetic Programming and Evolvable Machines
出版情報: SpringerLink Journals - AutoHoldings , UNITED STATES : Hybrid
所蔵情報: loading…
39.

電子ジャーナル
ＥＪ
39. Journal of Computer Science and Technology
出版情報: SpringerLink Journals - AutoHoldings , PEOPLES R CHINA : Hybrid
所蔵情報: loading…
40.

電子ジャーナル
ＥＪ
40. Software Quality Journal
出版情報: SpringerLink Journals - AutoHoldings , NETHERLANDS : Hybrid
所蔵情報: loading…
41.

電子ジャーナル
ＥＪ
41. Structural and Multidisciplinary Optimization
出版情報: SpringerLink Journals - AutoHoldings , GERMANY : Hybrid
所蔵情報: loading…
42.

電子ジャーナル
ＥＪ
42. formal Methods in System design
出版情報: SpringerLink Journals - AutoHoldings , UNITED STATES : Hybrid
所蔵情報: loading…
43.

電子ジャーナル
ＥＪ
43. Photonic Network Communications
出版情報: SpringerLink Journals - AutoHoldings , UNITED STATES : Hybrid
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼