ヘルプ
ヘルプ

検索結果 107 件

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)
紙図書
Springer[2022]<M17-24-12>
国立国会図書館全国の図書館
  • ジャンル・形式用語Conference papers and proceedings.
  • 件名Functional programming (Computer scie......)--Congresses. Logic programming--Congresses. Functional programming (Computer science) Logic programming.
  • 一般注記Abstracts and papers.

Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)

Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)
紙図書
Springer[2020]<M17-22-586>
国立国会図書館全国の図書館
  • ジャンル・形式用語Conference papers and proceedings.
  • 件名Functional programming (Computer scie......)--Congresses. Logic programming--Congresses. P......que--Congrès. Functional programming (Computer science) Logic programming.
  • 一般注記An abstract and papers. Held online.

Functional and logic programming : 14th international symposium, FLOPS 2018 : Nagoya, Japan, May 9-11, 2018 : proceedings : May 2018, Nagoya, Japan. (Lecture Notes in Computer Science ; 10818)

Functional and logic programming : 14th international symposium, FLOPS 2018 : Nagoya, Japan, May 9-11, 2018 : proceedings : May 2018, Nagoya, Japan. (Lecture Notes in Computer Science ; 10818)
紙図書
Springer[2018]<M17-20-852>
国立国会図書館
  • ジャンル・形式用語Conference papers and proceedings.
  • 件名Functional programming (Computer scie......)--Congresses. Logic programming--Congresses. Functional programming (Computer science) Logic programming.
  • 一般注記Abstracts and papers.

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings : Mar 2016, Kochi, Japan. (Lecture Notes in Computer Science ; 9613)

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings : Mar 2016, Kochi, Japan. (Lecture Notes in Computer Science ; 9613)
紙図書
Springer[2016]<M17-20-870>
国立国会図書館
  • ジャンル・形式用語Conference papers and proceedings.
  • 件名Functional programming (Computer scie......)--Congresses. Logic programming--Congresses. Functional programming (Computer science) Logic programming.
  • 一般注記An abstract and papers. "In ad...... invited talks and contributed pa......ime, tutorials and ..."--Preface.

Hardware acceleration of computational holography

Hardware acceleration of computational holography
紙図書
Tomoyoshi Shimobaba, Tomoyoshi Ito, editorsSpringer[2023]<ND451-D21>
国立国会図書館
  • 要約等...nal holography and hardware accel......rated hologram and digital hologr......cessing Units) and FPGAs (Field ProgrammableGate...
  • 内容細目..., Diffraction, and Holography 1.1.......2 Plane Waves and Spherical Wave......ine Holography and Off-Axis Holog......uction Latency and Throughput 4.3.......2 Superscalar and Vector Processor 4.3.3 Logical CPU 4.3.4 Mu.......3 Compilation and Execution 5.5 ......ors 5.5.1 Data and Memory Managem.......4 Fixed-Point and Floating-Point...... Between FPGAs and CPUs 7.6 AXI C......am Between CPU and FPGA 7.8 Discussion
  • 一般注記Part III Acceleration and Advanced Techniques in Comput...

The Routledge companion to media and class

The Routledge companion to media and class
紙図書
edited by Erika Polson, Lynn Schofield Clark, and Radhika GajjalaRoutledge2020<EC235-D28>
国立国会図書館
  • 要約等...ction of media and class, with a ...... on how understandings of class a......m the memes of and about working-......ell-publicized and critiqued phil......change both in and through media. Diverse and thoughtfully c......ia practices - and media studies ......lf - feed into and comment upon b......omy, democracy and journalism, globalization, and mobility/migra......ntersectional, and highly contemp......anion to Media and Class is a mus......d for students and researchers in......y, technology, and a changing world"--
  • 内容細目Introduction: Media and class in the 2......hofield Clark, and Radhika Gajjal...... P. McAllister and Litzy Galarza ......ss : hybridity and confusion on r......ormance, class and dance talent s......money : gender and economic inequ......IV edutainment programming in Kenya / Ren...... social class, and the spaces of ......indr, Facebook and enclaves of qu...... YouTube-based programming and the Saudi yout......w online class and monetizing str......ile technology and class : Austra......conomic status and techno-literac......e, smartphones and invisible illi......h Media, class and childhood in S......roach to media and class / Sandra Vera Sambrano ...

Handbook of intelligent computing and optimization for sustainable development (Sustainable computing and optimization)

Handbook of intelligent computing and optimization for sustainable development (Sustainable computing and optimization)
紙図書
edited by Mukhdeep Singh Manshahia, Valeriy Kharchenko, Elias Munapo, J. Joshua Thomas and Pandian VasantScrivener Publishing2022<M121-D55>
国立国会図書館
  • 内容細目Intelligent Computing and Applications. ......ing Technology and Deep Learning ...... DNA Computing and Implementation of DNA Logic Gates / Mandrita Mondal, Ku......ks: Challenges and Case Studies /......ethod of Data Handling-Based Neur......, Tarun Kanti Bandyopadhyay Autom......raction of Non-Functional Requirements F......d Hafiz Design and Development of......nical Overview and Research Persp......Cloud Platform and BigQuery / Sit......Topic Modeling and Its Application / R Sandhiya, A M Boopi......Integer Linear Programming Model for Opti...... Phase Shifter and Study of Tunab......Techniques / Chandan Deep Singh, Harleen Kaur, R...
  • 件名Artificial intelligence--Handbooks, manuals,...... development--Handbooks, manuals, etc Intelligen...
  • タイトル標目Sustainable computing and optimization

Implementing results-based budget management frameworks : an assessment of progress in selected countries.

Implementing results-based budget management frameworks : an assessment of progress in selected countries.
紙図書
Asian Development Bank[2017]<DE64-B7046>
国立国会図書館
  • 内容細目...ntent; Figures and Tables; Acknow......get Management Logic Model; Analyzi......aysia; New Zealand; Philippines; ......: Their Nature and Impact on Resu......Organizational and Human Resource......nterpretations and Understanding of the Logical Framework; 6. Summary and Recommendation......Common Outputs and their Performa......rences; Tables and Figures; Table......tor Leadership and Support; A1.1 ......ory Services Standard Description and Performance In......ory Services Standard Description and Performance In...... of Management and Administrative......ort Services Standard Description and Performance Indicators; A4.6 ...

Functional and logic programming : 12th international symposium, FLOPS 2014 : Kanazawa, Japan, June 4-6, 2014 : proceedings : FLOPS meetings : Jun 2014, Kanazawa, Japan. (Lecture Notes in Computer Science ; 8475)

Functional and logic programming : 12th international symposium, FLOPS 2014 : Kanazawa, Japan, June 4-6, 2014 : proceedings : FLOPS meetings : Jun 2014, Kanazawa, Japan. (Lecture Notes in Computer Science ; 8475)
紙図書
Springer[2014]<M17-15-1475>
国立国会図書館
  • 件名Functional programming (Computer scie......)--Congresses. Logic programming--Congresses. Functional programming (Computer science) Logic programming.
  • 一般注記Abstracts and papers.
  • タイトル標目...mputer science and general issues.

Functional and Logic Programming

Functional and Logic Programming
デジタル記事
2018Lecture Notes in Computer Science
全国の図書館

Functional and logic programming : 11th international symposium, FLOPS 2012 : Kobe, Japan, May 23-25, 2012 : proceedings : FLOPS meetings : May 2012, Kobe, Japan. (Lecture Notes in Computer Science ; 7294)

Functional and logic programming : 11th international symposium, FLOPS 2012 : Kobe, Japan, May 23-25, 2012 : proceedings : FLOPS meetings : May 2012, Kobe, Japan. (Lecture Notes in Computer Science ; 7294)
紙図書
Springerc2012.<M17-13-47>
国立国会図書館
  • 件名Functional programming (Computer scie......)--Congresses. Logic programming--Congresses. C......e engineering. Logic design. Artifi...... intelligence. Logics and Meanings of Programs. Programming Languages, Com....... Mathematical Logic and Formal Languages. Programming Techniques.
  • 一般注記Abstracts and papers.
  • タイトル標目...mputer science and general issues.

CARLS series of advanced study of logic and sensibility vol.2(2008)

CARLS series of advanced study of logic and sensibility vol.2(2008)
紙図書
渡辺茂 編著Keio University Center for Advanced Research on Logic and Sensibility2009.3<M121-B63>
国立国会図書館全国の図書館
  • 内容細目Brain and evolution How ......oshi Hayashi 著 Functional neuroanatomy o......hysical understanding by common m......euroanatomical and behavioural st...... to temporally and spectrally dif......著 Molecular biological approach to ......derlying vocal and speech control......Motor activity and imagery modula......no 著 Genestics and development So...... twin study on logic and sensibility in......Fujisawa, Juko Ando 著 Stimulus equivalence and brain function......ki 著 Cognition and language Six names Cicero,and why one model ......著 Availability and accessibility of holistic and featural infor......h 著 Philosophy and anthoropology The variety of ...

Archi-cultural interactions through the Silk Road : 4th International Conference, selected papers

Archi-cultural interactions through the Silk Road : 4th International Conference, selected papers
紙図書
iaSU2016 Japan Publication Committee 編武庫川女子大学出版部2017.3<GE51-L17>
国立国会図書館全国の図書館
  • 内容細目...ense of beauty and view of nature......ine scroll in Gandharan sculpture......anabe 著 Archaeological research on ......structed model and a simulation o......of the ceiling and its decoration......al Noh theatre and ancient Greek ......ris 著 Istanbul and third-wave cof......pact of social and cultural facto......ying inductive logic programming Yuna Tanaka, S......ription system and historical fea......ugh set theory and algorithmic la...... architectural programming process M.Dund......rsity in Tokyo and Osaka Mayumi H......hi 著 Silk Road and Isfahan's gard......hellac coating and environmental ......on of Japanese and U.S. type steel moment-resist...

Functional and logic programming : 9th international symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings. : Apr 2008, Ise, Japan. (Lecture Notes in Computer Science ; 4989)

Functional and logic programming : 9th international symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings. : Apr 2008, Ise, Japan. (Lecture Notes in Computer Science ; 4989)
紙図書
Springerc2008.<M17-08-1263>
国立国会図書館
  • 件名Functional programming (Computer science) -- Congresses. Logic programming -- Congresses.
  • 一般注記Abstracts and papers.
  • 著者標目...l Symposium on Functional and Logic Programming (9th : 2008 : Ise-shi, Japan)

Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings : Nov 1999, Tsukuba, Japan. (Lecture Notes in Computer Science ; 1722)

Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings : Nov 1999, Tsukuba, Japan. (Lecture Notes in Computer Science ; 1722)
紙図書
Springer1999.<M17-01-1030>
国立国会図書館
  • 一般注記...9. Index term: functional programming ; logic programming ; FLOPS ; software science. B...
  • 並列タイトル等（連結）Also known as FLOPS'99 functional programming ; logic programming ; FLOPS ; software science
  • 並列タイトル等Also known as FLOPS'99 functional programming ; logic programming ; FLOPS ; software science

The Oxford handbook of classics in public policy and administration First edition.

The Oxford handbook of classics in public policy and administration First edition.
紙図書
edited by Steven J. Balla, Martin Lodge, and Edward C. Page.Oxford University Press2015.<A12-B270>
国立国会図書館
  • 内容細目...?: Identifying and Revisiting the...... Public Policy and Administration......, Martin Lodge and Edward C. Page......ical Interests and Public Opinion...... Categories of Functional Analysis' / Karsten Ronit and Tony Porter C.......ing Through' / Andrea Migone and Michael Howlet......ics, Economics and the Public: Po......Public Opinion and American Democ......, Case-Studies and Political Theo......ur Olson, 'The Logic of Collective ......: Public Goods and the Theory of ......, 'Exit, Voice and Loyalty: Respo......Organizations, and States' / Keit......e Vanhoonacker and Patrice Wangen......opher Carrigan and Cary Coglianese Michael D. Co...
  • 資料の内容に関する注記This Handbook brings tog...... public policy and administration. The Handbook reflects o...... international and wider discipli......f bureaucracy, and of administrative and policy reforms......olarly debates and disciplines, h......earch agendas, and how the indivi......he field. The Handbook offers stu...... public policy and administration state-of-the-a...
  • 並列タイトル等（連結）Classics in public policy and administration

Functional and logic programming : 8th international symposium, FLOPS 2006 : Fuji-Susono, Japan, April 24-26, 2006 : proceedings. : FLOPS meetings : Apr 2006, Susono, Japan. (Lecture Notes in Computer Science ; 3945)

Functional and logic programming : 8th international symposium, FLOPS 2006 : Fuji-Susono, Japan, April 24-26, 2006 : proceedings. : FLOPS meetings : Apr 2006, Susono, Japan. (Lecture Notes in Computer Science ; 3945)
紙図書
Springerc2006.<M17-06-2285>
国立国会図書館
  • 件名Functional programming (Computer science) -- Congresses. Logic programming -- Congresses.
  • 一般注記An abstract and papers.
  • 著者標目...l Symposium on Functional and Logic Programming (8th : 2006 : Susono-shi, Jap...

The Gale encyclopedia of psychology Fourth edition

The Gale encyclopedia of psychology Fourth edition
デジタル電子書籍・電子雑誌図書
Jacqueline L. Longe, editorGale[2022]
国立国会図書館
  • 要約等...ople, theories and terms; landmark case studies and experiments; a......sing, medicine and sports; and career information
  • 内容細目...hol dependence and abuse Alienati......ademy of Child and Adolescent Psy......American Psychological Association ......sorder Anxiety and anxiety disord......essment, psychological Assimilation......tion for Psychological Science (APS......ADHD) Attitude and behavior Attitudes and attitude chang...... Baer, Donald Bandura, Albert Bat......ales of infant and toddler develo......y Bilingualism and bilingual educ......ia Bullies Bystander effect Caffe......ication skills and disorders Comp......ompetence to stand trial Competit......onfidentiality and legal privileg......ence Conscious and unconscious mo......irium Delusion and delusional disorders Dementia...

Fuji International Workshop on Functional and Logic Programming報告

Fuji International Workshop on Functional and Logic Programming報告
紙デジタル記事
岩崎 英哉, 金子 敬一<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編13(1) 1996.01p.99～103
国立国会図書館全国の図書館

Functional and logic programming : 7th international symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings. : Apr 2004, Nara, Japan. (Lecture Notes in Computer Science ; 2998)

Functional and logic programming : 7th international symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings. : Apr 2004, Nara, Japan. (Lecture Notes in Computer Science ; 2998)
紙図書
Springerc2004.<M17-04-2962>
国立国会図書館
  • 件名Functional programming (Computer science) -- Congresses. Logic programming -- Congresses.