Jump to main content

yr 〜
yr

Search results 22

Encyclopedia of systems and control Second edition (Springer Nature reference)

Encyclopedia of systems and control Second edition (Springer Nature reference)
Paper図書
John Bailieul, Tariq Samad, editorsSpringer[2021]<M2-D8>
National Diet Library

Cyber-physical systems : AI and COVID-19

Cyber-physical systems : AI and COVID-19
Paper図書
edited by Ramesh Chandra Poonia [and five others]Academic Press[2022]<M154-D39>
National Diet Library

Security and resilience of control systems : theory and applications (Lecture notes in control and information sciences ; volume 489)

Security and resilience of control systems : theory and applications (Lecture notes in control and information sciences ; volume 489)
Paper図書
Hideaki Ishii, Quanyan Zhu, editorsSpringer[2022]<M131-D18>
National Diet LibraryOther Libraries in Japan

Principles of model checking / Christel Baier, Joost-Pieter Katoen.

Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Paper図書
The MIT Press[2008?]<M159-B76>
National Diet Library
  • Subject Heading... Verification. Systèmes informatiques -- Vérification. Systèmes informatiques -- Vérification -- Modèles ma...

End-to-end network security : defense-in-depth / Omar Santos. (Cisco Press networking technology series)

End-to-end network security : defense-in-depth / Omar Santos. (Cisco Press networking technology series)
Paper図書
Cisco Pressc2008.<ND633-B46>
National Diet Library
  • Subject Heading...té -- Mesures. Systèmes informatiques -- Sécurité -- Mesures. Sécur...

Systems architecture : pbk. 7th. ed.

Systems architecture : pbk. 7th. ed.
Paper図書
Stephen D. BurdCengage Learningc2016.
Other Libraries in Japan
  • Subject HeadingComputer architecture Computer systems Ordinateurs -- Architecture Systèmes informatiques
  • Subject Heading (ID)Computer architecture Computer systems Ordinateurs -- Architecture Systèmes informatiques

Journal on data semantics 5. : ER 2004, the 23rd international conference on conceptual modeling : ODBASE 2004, the 3rd international conference on ontologies, databases, and applications of semantics : ICSNW 2004, the 1st international conference on semantics of a networked world : ER04 : ER2004 : 2004, ------. (Lecture Notes in Computer Science ; 3870. Journal Subline)

Journal on data semantics 5. : ER 2004, the 23rd international conference on conceptual modeling : ODBASE 2004, the 3rd international conference on ontologies, databases, and applications of semantics : ICSNW 2004, the 1st international conference on semantics of a networked world : ER04 : ER2004 : 2004, ------. (Lecture Notes in Computer Science ; 3870. Journal Subline)
Paper図書
Springerc2006.<M17-09-1282>
National Diet Library
  • Subject Heading...on sémantique (Systèmes informatiques)

Information hiding : 11th international workshop, IH 2009 : Darmstadt, Germany, June 8-10, 2009 : revised selected papers. : Jun 2009, Darmstadt, Germany. (Lecture Notes in Computer Science ; 5806)

Information hiding : 11th international workshop, IH 2009 : Darmstadt, Germany, June 8-10, 2009 : revised selected papers. : Jun 2009, Darmstadt, Germany. (Lecture Notes in Computer Science ; 5806)
Paper図書
Springerc2009.<M17-10-2379>
National Diet Library
  • Subject Heading...-- Congresses. Systèmes informatiques -- Mesures de sûreté -- Congr...

Security and cooperation in wireless networks : thwarting malicious and selfish behavior in the age of ubiquitous computing / Levente Buttyán, Jean-Pierre Hubaux.

Security and cooperation in wireless networks : thwarting malicious and selfish behavior in the age of ubiquitous computing / Levente Buttyán, Jean-Pierre Hubaux.
Paper図書
Cambridge University Press2008.<ND575-B27>
National Diet Library
  • Subject Heading... informatique. Systèmes informatiques -- Sécurité -- Mesures.

Advances in information and computer security : second international workshop on security, IWSEC 2007 : Nara, Japan, October 29-31, 2007 : proceedings. : Oct 2007, Nara, Japan. (Lecture Notes in Computer Science ; 4752)

Advances in information and computer security : second international workshop on security, IWSEC 2007 : Nara, Japan, October 29-31, 2007 : proceedings. : Oct 2007, Nara, Japan. (Lecture Notes in Computer Science ; 4752)
Paper図書
Springerc2007.<M17-08-727>
National Diet Library
  • Subject Heading...-- Congresses. Systèmes informatiques -- Sécurité -- Mesures -- Con...

Selected areas in cryptography : 13th international workshop, SAC 2006 : Montreal, Canada, August 17-18, 2006 : revised selected papers. : 13th annual workshop on selected areas in cryptography : Aug 2006, Montreal, Canada. (Lecture Notes in Computer Science ; 4356)

Selected areas in cryptography : 13th international workshop, SAC 2006 : Montreal, Canada, August 17-18, 2006 : revised selected papers. : 13th annual workshop on selected areas in cryptography : Aug 2006, Montreal, Canada. (Lecture Notes in Computer Science ; 4356)
Paper図書
Springerc2007.<M17-08-915>
National Diet Library
  • Subject Heading...ie -- Congrès. Systèmes informatiques -- Sécurité -- Mesures -- Con...

Security and embedded systems. : NATO advanced research workshop on security and embedded systems : Aug 2005, Patras, Greece. (NATO Security through Science Series. Series D, Information and Communication Security ; 2)

Security and embedded systems. : NATO advanced research workshop on security and embedded systems : Aug 2005, Patras, Greece. (NATO Security through Science Series. Series D, Information and Communication Security ; 2)
Paper図書
IOS Pressc2006.<M17-09-562>
National Diet Library
  • Subject Heading...es -- Congrès. Systèmes informatiques -- Sécurité -- Mesures -- Con...

Handbook on ontologies / Steffen Staab, Rudi Studer, editors. (International handbooks on information systems)

Handbook on ontologies / Steffen Staab, Rudi Studer, editors. (International handbooks on information systems)
Paper図書
Springerc2004.<X>
National Diet Library

Systems architecture 5th ed

Systems architecture 5th ed
Paper図書
Stephen D. BurdThomson/Course Technologyc2006
Other Libraries in Japan
  • Subject HeadingComputer architecture Computer systems Ordinateurs -- Architecture Systèmes informatiques
  • Subject Heading (ID)Computer architecture Computer systems Ordinateurs -- Architecture Systèmes informatiques

The coevolution : the entwined futures of humans and machines : hardcover

The coevolution : the entwined futures of humans and machines : hardcover
Paper図書
Edward Ashford LeeMIT Pressc2020
Other Libraries in Japan
  • Subject Heading...er interaction Systèmes informatiques -- Philosophie Technologie --...
  • Subject Heading (ID)...er interaction Systèmes informatiques -- Philosophie Technologie --...

Cryptography and network security : principles and practices 4th ed., Pearson international ed

Cryptography and network security : principles and practices 4th ed., Pearson international ed
Paper図書
William StallingsPearson Prentice Hall, Pearson Education Internationalc2006
Other Libraries in Japan
  • Subject HeadingSystèmes informatiques -- Mesures de sûreté. ram Cry...
  • Subject Heading (ID)Systèmes informatiques -- Mesures de sûreté. ram Cry...

Principles of information security 3rd ed

Principles of information security 3rd ed
Paper図書
Michael E. Whitman, Herbert J. MattordCourse Technologyc2009
Other Libraries in Japan
  • Subject Heading...puter security Systèmes informatiques -- Sécurité -- Mesures Techno...
  • Subject Heading (ID)...puter security Systèmes informatiques -- Sécurité -- Mesures Techno...

Information hiding : 11th international workshop, IH 2009, Darmstadt, Germany, June 8-10, 2009 : revised selected papers

Information hiding : 11th international workshop, IH 2009, Darmstadt, Germany, June 8-10, 2009 : revised selected papers
Paper図書
Stefan Katzenbeisser, Ahmad-Reza Sadeghi (eds.)Springerc2009
Other Libraries in Japan
  • Subject Heading... -- Congresses Systèmes informatiques -- Mesures de sûreté -- Congr...
  • Subject Heading (ID)... -- Congresses Systèmes informatiques -- Mesures de sûreté -- Congr...

Principles of information security 2nd ed

Principles of information security 2nd ed
Paper図書
Michael E. Whitman, Herbert J. MattordThomson Course Technologyc2005
Other Libraries in Japan
  • Subject Heading...puter security Systèmes informatiques -- Sécurité -- Mesures Techno...
  • Subject Heading (ID)...puter security Systèmes informatiques -- Sécurité -- Mesures Techno...

Sécurité informatique et réseaux : cours et exercices corrigés 2e éd

Sécurité informatique et réseaux : cours et exercices corrigés 2e éd
Paper図書
Solange Ghernaouti-Hélie ; préface de Michel RiguidelDunodc2008
Other Libraries in Japan
  • Subject Heading...de sûreté. ram Systèmes informatiques -- Mesures de sûreté. ram Cri...
  • Subject Heading (ID)...de sûreté. ram Systèmes informatiques -- Mesures de sûreté. ram Cri...
RSS