yr 〜
yr

Search results 70

Handbook of software engineering

Handbook of software engineering
Paper図書
Sungdeok Cha, Richard N. Taylor, Kyochul Kang, editors.Springer[2019]<M154-B232>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...re Management. Management of Computing and Information Systems. Mathematical Logic and Forma...

Risks and resilience of collaborative networks : 16th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2015 : Albi, France, October 5-7, 2015 : proceedings : Oct 2015, Albi, France. (IFIP Advances in Information and Communication Technology ; 463)

Risks and resilience of collaborative networks : 16th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2015 : Albi, France, October 5-7, 2015 : proceedings : Oct 2015, Albi, France. (IFIP Advances in Information and Communication Technology ; 463)
Paper図書
Springer[2015]<M17-16-565>
National Diet Library
  • Subject Heading...puter Science. Management of Computing and Information Systems.

Open source systems: adoption and impact : 11th IFIP WG 2.13 international conference, OSS 2015 : Florence, Italy, May 16-17, 2015 : proceedings : May 2015, Florence, Italy. (IFIP Advances in Information and Communication Technology ; 451)

Open source systems: adoption and impact : 11th IFIP WG 2.13 international conference, OSS 2015 : Florence, Italy, May 16-17, 2015 : proceedings : May 2015, Florence, Italy. (IFIP Advances in Information and Communication Technology ; 451)
Paper図書
Springer[2015]<M17-15-2500>
National Diet Library
  • Subject Heading...g--Congresses. Management of Computing and Information Systems. Software Engineering. Inform...

Information security and cryptology--ICISC 2013 : 16th international conference : Seoul, Korea, November 27-29, 2013 : revised selected papers : Nov 2013, Seoul, Korea. (Lecture Notes in Computer Science ; 8565)

Information security and cryptology--ICISC 2013 : 16th international conference : Seoul, Korea, November 27-29, 2013 : revised selected papers : Nov 2013, Seoul, Korea. (Lecture Notes in Computer Science ; 8565)
Paper図書
Springer[2014]<M17-15-546>
National Diet Library
  • Subject Heading...ta Encryption. Management of Computing and Information Systems.

Detection of intrusions and malware, and vulnerability assessment : 12th international conference, DIMVA 2015 : Milan, Italy, July 9-10, 2015 : proceedings : Jul 2015, Milan, Italy. (Lecture Notes in Computer Science ; 9148)

Detection of intrusions and malware, and vulnerability assessment : 12th international conference, DIMVA 2015 : Milan, Italy, July 9-10, 2015 : proceedings : Jul 2015, Milan, Italy. (Lecture Notes in Computer Science ; 9148)
Paper図書
Springer[2015]<M17-16-407>
National Diet Library
  • Subject HeadingSystems and Data Security. Management of Computing and Information Systems. Intrusion detection systems ...

Constructive side-channel analysis and secure design : 6th international workshop, COSADE 2015 : Berlin, Germany, April 13-14, 2015 : revised selected papers : Apr 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9064)

Constructive side-channel analysis and secure design : 6th international workshop, COSADE 2015 : Berlin, Germany, April 13-14, 2015 : revised selected papers : Apr 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9064)
Paper図書
Springer[2015]<M17-16-335>
National Diet Library
  • Subject Heading...Data Security. Management of Computing and Information Systems. Computer security. Data encr...

Privacy and identity management for emerging services and technologies : 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 international summer school : Nijmegen, the Netherlands, June 17-21, 2013 : revised selected papers : Jun 2013, Nijmegen, the Netherlands. (IFIP Advances in Information and Communication Technology ; 421)

Privacy and identity management for emerging services and technologies : 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 international summer school : Nijmegen, the Netherlands, June 17-21, 2013 : revised selected papers : Jun 2013, Nijmegen, the Netherlands. (IFIP Advances in Information and Communication Technology ; 421)
Paper図書
Springer[2014]<M17-14-2819>
National Diet Library
  • Subject Heading...Data Security. Management of Computing and Information Systems. Computers and Society. Compu...

Modelling foundations and applications : 11th European conference, ECMFA 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-24, 2015 : proceedings : STAF federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9153)

Modelling foundations and applications : 11th European conference, ECMFA 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-24, 2015 : proceedings : STAF federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9153)
Paper図書
Springer[2015]<M17-16-411>
National Diet Library
  • Subject Heading...tion Networks. Management of Computing and Information Systems. Computer-aided software engi...

FM 2015: formal methods : 20th international symposium : Oslo, Norway, June 24-26, 2015 : proceedings : formal methods Europe : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9109)

FM 2015: formal methods : 20th international symposium : Oslo, Norway, June 24-26, 2015 : proceedings : formal methods Europe : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9109)
Paper図書
Springer[2015]<M17-16-369>
National Diet Library
  • Subject Heading...s of Programs. Management of Computing and Information Systems. Computation by Abstract Devi...

Critical infrastructure protection IX : 9th IFIP 11.10 international conference, ICCIP 2015 : Arlington, VA, USA, March 16-18, 2015 : revised selected papers : 9th annual IFIP Working Group 11.10 international conference on critical infrastructure protection : 9th annual IFIP WG 11.10 international conference on critical infrastructure protection : Mar 2015, Arlington, VA. (IFIP Advances in Information and Communication Technology ; 466)

Critical infrastructure protection IX : 9th IFIP 11.10 international conference, ICCIP 2015 : Arlington, VA, USA, March 16-18, 2015 : revised selected papers : 9th annual IFIP Working Group 11.10 international conference on critical infrastructure protection : 9th annual IFIP WG 11.10 international conference on critical infrastructure protection : Mar 2015, Arlington, VA. (IFIP Advances in Information and Communication Technology ; 466)
Paper図書
Springer[2015]<M17-16-307>
National Diet Library
  • Subject Heading...Data Security. Management of Computing and Information Systems. Legal Aspects of Computing. ...

Data and applications security and privacy XXIX : 29th annual IFIP WG 11.3 working conference, DBSec 2015 : Fairfax, VA, USA, July 13-15, 2015 : proceedings : Jul 2015, Fairfax, VA. (Lecture Notes in Computer Science ; 9149)

Data and applications security and privacy XXIX : 29th annual IFIP WG 11.3 working conference, DBSec 2015 : Fairfax, VA, USA, July 13-15, 2015 : proceedings : Jul 2015, Fairfax, VA. (Lecture Notes in Computer Science ; 9149)
Paper図書
Springer[2015]<M17-16-406>
National Diet Library
  • Subject Heading...se Management. Management of Computing and Information Systems. Computer networks--Security ...

Telecommunication economics : selected results of the COST Action IS0605 Econ@Tel (Lecture notes in computer science ; 7216)

Telecommunication economics : selected results of the COST Action IS0605 Econ@Tel (Lecture notes in computer science ; 7216)
Paper図書
Antonis M. Hadjiantonis, Burkhard Stiller (eds.).Springerc2012.<X>
National Diet Library
  • Subject Heading...s and Society. Management of Computing and Information Systems.

Multiple access communications : 8th international workshop, MACOM 2015 : Helsinki, Finland, September 3-4, 2015 : proceedings : Sep 2015, Helsinki, Finland. (Lecture Notes in Computer Science ; 9305)

Multiple access communications : 8th international workshop, MACOM 2015 : Helsinki, Finland, September 3-4, 2015 : proceedings : Sep 2015, Helsinki, Finland. (Lecture Notes in Computer Science ; 9305)
Paper図書
Springer[2015]<M17-16-623>
National Diet Library
  • Subject Heading...cl. Internet). Management of Computing and Information Systems. Digital communications. Mult...

Cryptographic hardware and embedded systems--CHES 2015 : 17th international workshop : Saint-Malo, France, September 13-16, 2015 : proceedings : Sep 2015, Saint-Malo, France. (Lecture Notes in Computer Science ; 9293)

Cryptographic hardware and embedded systems--CHES 2015 : 17th international workshop : Saint-Malo, France, September 13-16, 2015 : proceedings : Sep 2015, Saint-Malo, France. (Lecture Notes in Computer Science ; 9293)
Paper図書
Springer[2015]<M17-16-616>
National Diet Library
  • Subject Heading...ta Encryption. Management of Computing and Information Systems. Algorithm Analysis and Probl...

Open source software: quality verification : 9th IFIP WG 2.13 international conference, OSS 2013 : Koper-Capodistria, Slovenia, June 25-28, 2013 : proceedings : 9th international conference on open source systems of the IFIP working group : OSS2013 conference : Jun 2013, Koper-Capodistria, Slovenia. (IFIP Advances in Information and Communication Technology ; 404)

Open source software: quality verification : 9th IFIP WG 2.13 international conference, OSS 2013 : Koper-Capodistria, Slovenia, June 25-28, 2013 : proceedings : 9th international conference on open source systems of the IFIP working group : OSS2013 conference : Jun 2013, Koper-Capodistria, Slovenia. (IFIP Advances in Information and Communication Technology ; 404)
Paper図書
Springerc2013.<M17-13-3581>
National Diet Library
  • Subject Heading... of Computing. Management of Computing and Information Systems.

Requirements engineering: foundation for software quality : 19th international working conference, REFSQ 2013 : Essen, Germany, April 8-11, 2013 : proceedings : Apr 2013, Essen, Germany. (Lecture Notes in Computer Science ; 7830)

Requirements engineering: foundation for software quality : 19th international working conference, REFSQ 2013 : Essen, Germany, April 8-11, 2013 : proceedings : Apr 2013, Essen, Germany. (Lecture Notes in Computer Science ; 7830)
Paper図書
Springerc2013.<M17-13-2764>
National Diet Library
  • Subject Heading...ation Systems. Management of Computing and Information Systems. Information Systems Applicat...

Critical infrastructure protection VIII : 8th IFIP WG 11.10 international conference, ICCIP 2014 : Arlington, VA, USA, March 17-19, 2014 : revised selected papers : 8th annual IFIP Working Group 11.10 international conference on critical infrastructure protection : Mar 2014, Arlington, VA. (IFIP Advances in Information and Communication Technology ; 441)

Critical infrastructure protection VIII : 8th IFIP WG 11.10 international conference, ICCIP 2014 : Arlington, VA, USA, March 17-19, 2014 : revised selected papers : 8th annual IFIP Working Group 11.10 international conference on critical infrastructure protection : Mar 2014, Arlington, VA. (IFIP Advances in Information and Communication Technology ; 441)
Paper図書
Springer[2014]<M17-15-34>
National Diet Library
  • Subject Heading...Data Security. Management of Computing and Information Systems. Legal Aspects of Computing. ...

Information security education across the curriculum : 9th IFIP WG 11.8 world conference, WISE9 : Hamburg, Germany, May 26-28, 2015 : proceedings : May 2015, Hamburg, Germany. (IFIP Advances in Information and Communication Technology ; 453)

Information security education across the curriculum : 9th IFIP WG 11.8 world conference, WISE9 : Hamburg, Germany, May 26-28, 2015 : proceedings : May 2015, Hamburg, Germany. (IFIP Advances in Information and Communication Technology ; 453)
Paper図書
Springer[2015]<M17-15-2718>
National Diet Library
  • Subject Heading...Data Security. Management of Computing and Information Systems. Computer Communication Netwo...

Modelling foundations and applications : 8th European conference, ECMFA 2012 : Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings : Jul 2012, Kgs. Lyngby, Denmark. (Lecture Notes in Computer Science ; 7349)

Modelling foundations and applications : 8th European conference, ECMFA 2012 : Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings : Jul 2012, Kgs. Lyngby, Denmark. (Lecture Notes in Computer Science ; 7349)
Paper図書
Springerc2012.<M17-13-556>
National Diet Library
  • Subject Heading...s of Programs. Management of Computing and Information Systems.

Model and data engineering : 5th international conference, MEDI 2015 : Rhodes, Greece, September 26-28, 2015 : proceedings : 5th event of the international conference on model engineering and data engineering : Sep 2015, Rhodes, Greece. (Lecture Notes in Computer Science ; 9344)

Model and data engineering : 5th international conference, MEDI 2015 : Rhodes, Greece, September 26-28, 2015 : proceedings : 5th event of the international conference on model engineering and data engineering : Sep 2015, Rhodes, Greece. (Lecture Notes in Computer Science ; 9344)
Paper図書
Springer[2015]<M17-16-771>
National Diet Library
  • Subject Heading... and Modeling. Management of Computing and Information Systems. Information Systems Applicat...