検索結果 237 件
紙図書
国立国会図書館
- 件名...y--Congresses. Software engineering--Congresses. Data encryption ...
- 並列タイトル等（連結）ESSoS¹⁵ : engineering secure software and systems
- 並列タイトル等ESSoS¹⁵ : engineering secure software and systems
紙図書
国立国会図書館
- 要約等...n of Ethics in Engineering Practice and R......roblems in the engineering field"-- "The ......ck's Ethics in Engineering Practice and R......ed approach to engineering ethics, using a rich collecti...
- 内容細目...ion of acts in engineering: Introduction ...... reasoning and engineering ethics; 1. Pro......al practice in engineering; 2. Two exampl......rier; Part II. Engineering Responsibility...... 5. Computers, software, and digital i...... and credit in engineering and scientific...... The future of engineering: 10. Responsibility for the e...
- 件名Engineering ethics. TECHNOLOGY & ENGINEERING / Engineering (General)
紙図書
国立国会図書館
- 件名Software engineering--Congresses. Computer software--Reliability--......sses. Computer software--Reliability. ......ant computing. Software engineering.
- 並列タイトル等（連結）SERENE : software engineering for resilient systems
- 並列タイトル等SERENE : software engineering for resilient systems
紙図書
国立国会図書館
- 一般注記...nd Practice of Software. ETAPS is an annual federated...
- 並列タイトル等（連結）European joint conferences on theory and practice of software 2011
- 並列タイトル等European joint conferences on theory and practice of software 2011
紙図書
国立国会図書館
- 要約等...hind hardware, software, algorithms, Moore's Law, the...
- 内容細目...rdware; 3. The software is in the hole...... languages and software engineering; 5. Algorithmics; 6. Mr. Turi...
紙図書
国立国会図書館
- 件名Software engineering -- Congresses. Software Engineering. Kongress. Paphos (Ktima, 201...
- 一般注記...nd Practice of Software." -- foreword. "This year it ...
- 並列タイトル等（連結）European joint conferences on theory and practice of software 2010
紙雑誌
国立国会図書館全国の図書館
- 一般注記Description based on the latest issue Variant title: A. C. M. Soft Engineering Notes
- 並列タイトル等（連結）A. C. M. Soft Engineering Notes
- 並列タイトル等A. C. M. Soft Engineering Notes
紙図書
国立国会図書館
- 要約等... on Dependable Software Engineering: Theories, Tools, and Applica...
- 件名Software engineering--Congresses. C......puter science. Software engineering. Computer logi......puter Science. Software Engineering. Logics and Meanings of Progr...
- 並列タイトル等（連結）Dependable software engineering : theories, tools, and applic...
紙図書
国立国会図書館
- 件名Software engineering--Congresses.
- その他のタイトルETAPS : European joint conferences on theory & practice of software.
- タイトル標目Lecture notes in computer sc...... 8411. Lecture notes in computer sc...... computing and software science. LNCS sublibrary. SL ...
紙図書
国立国会図書館
- 件名Software engineering--Congresses.
- 一般注記...nd Practice of Software. ETAPS is an annual federated...
- その他のタイトルETAPS : European joint conferences on theory & practice of software.
紙図書
国立国会図書館
- 要約等...s: Algorithms; Software and Applicatio......on techniques, software developments and sample appli...
- 件名Mathematics. Algorithms. Computer science--Mathematics. Computer software. Numerical analysis.
- タイトル標目Lecture notes in computational science and engineering ; 117. 1439-7358
紙図書
国立国会図書館
- 件名Software engineering--Congresses. Computer software--Development--......sses. Computer software--Verification-......puter science. Software engineering. Logic design. Information Sy...
- 一般注記...nd Practice of Software." -- foreword. "This year it ...
- その他のタイトルETAPS : European joint conferences on theory & practice of software.
紙図書
国立国会図書館
- 要約等...ower projects. Engineering design and construction metho...
- 内容細目...and analytical software solution; 9. Economics of car...
紙図書
国立国会図書館
- 内容細目...ed Approach to Software Design and the......ive Aspects in Software Engineering Cross-Cultural Multimedia Com...
- 件名...puter science. Software engineering. Logic design. Artificial int...
紙図書
国立国会図書館
- 並列タイトル等（連結）Software language engineering : 3rd international conferenc...
- 並列タイトル等Software language engineering : 3rd international conferenc...
- タイトル標目Lecture notes in computer science, 0302-974...
紙図書
国立国会図書館
- 要約等...undamentals of Software Engineering, FSEN 2015, he......mal methods in software industry and p......with practical engineering techniques.
- 件名Software engineering--Congresses. L......ng Techniques. Software engineering.
- タイトル標目Lecture notes in computer sc......rogramming and software engineering.
紙図書
国立国会図書館
- 要約等...ence on Formal Engineering Methods, ICFEM......ated to formal engineering meth-ods, such......nd validation, software engineering, formal specifi...... and modeling, software security, and software reliability.
- 件名...)--Congresses. Software engineering--Congresses. C......r programming. Software engineering. Programming l......puter Science. Software Engineering. Programming Techniques. Prog...
- タイトル標目Lecture notes in computer sc......rogramming and software engineering.
紙図書
国立国会図書館
- 並列タイトル等（連結）...d formalism in software engineering : 2nd IFIP TC ...... conference on software engineering techniques, CEE-SET 2007 : Po...
- 並列タイトル等...d formalism in software engineering : 2nd IFIP TC ...... conference on software engineering techniques, CEE-SET 2007 : Po...
紙図書
国立国会図書館
- 内容細目...b and services Software and requirements engineering Implementations.
- 件名.... Requirements engineering -- Konzeptionelle Modellierun...
- タイトル標目...d HCI. Lecture notes in computer science. Festschr...
紙図書
国立国会図書館
- 件名...-- Congresses. Software engineering -- Congresses........ Rechnernetz. Softwareentwicklung. Kongress. Pisa (2...
- 並列タイトル等（連結）Engineering secure software and systems : 2nd internation...
- 並列タイトル等Engineering secure software and systems : 2nd internation...