Jump to main content

yr 〜
yr

Search results 20

Systems design based on the benefits of inconvenience (Translational systems sciences ; volume 31)

Systems design based on the benefits of inconvenience (Translational systems sciences ; volume 31)
Paper図書
Hiroshi Kawakami, editorSpringer[2023]<M271-D22>
National Diet LibraryOther Libraries in Japan
  • DDC004.2/1

System dynamics : theory and applications (Encyclopedia of Complexity and Systems Science Series) (Springer reference)

System dynamics : theory and applications (Encyclopedia of Complexity and Systems Science Series) (Springer reference)
Paper図書
Brian Dangerfield, editor.Springer[2020]<M131-D10>
National Diet LibraryOther Libraries in Japan
  • DDC004.2/1

Information modelling and knowledge bases XXV : ------. (Frontiers in Artificial Intelligence and Applications ; 260)

Information modelling and knowledge bases XXV : ------. (Frontiers in Artificial Intelligence and Applications ; 260)
Paper図書
IOS Press[2014]<M17-15-826>
National Diet Library
  • DDC004.2/1

System analysis and modeling: theory and practice : 7th international workshop, SAM 2012 : Innsbruck, Austria, October 1-2, 2012 : revised selected papers : system analysis and modelling (SAM) workshop : Oct 2012, Innsbruck, Austria. (Lecture Notes in Computer Science ; 7744)

System analysis and modeling: theory and practice : 7th international workshop, SAM 2012 : Innsbruck, Austria, October 1-2, 2012 : revised selected papers : system analysis and modelling (SAM) workshop : Oct 2012, Innsbruck, Austria. (Lecture Notes in Computer Science ; 7744)
Paper図書
Springerc2013.<M17-13-2107>
National Diet Library
  • DDC004.2/1

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2122>
National Diet Library
  • DDC004.2/1

Information modelling and knowledge bases 24 : ------. (Frontiers in Artificial Intelligence and Applications ; 251)

Information modelling and knowledge bases 24 : ------. (Frontiers in Artificial Intelligence and Applications ; 251)
Paper図書
IOS Pressc2013.<M17-13-2218>
National Diet Library
  • DDC004.2/1

Design science research in information systems : advances in theory and practice : 7th international conference, DESRIST 2012 : Las Vegas, NV, USA, May 14-15, 2012 : proceedings : May 2012, Las Vegas, NV. (Lecture Notes in Computer Science ; 7286)

Design science research in information systems : advances in theory and practice : 7th international conference, DESRIST 2012 : Las Vegas, NV, USA, May 14-15, 2012 : proceedings : May 2012, Las Vegas, NV. (Lecture Notes in Computer Science ; 7286)
Paper図書
Springerc2012.<M17-13-40>
National Diet Library
  • DDC004.2/1

Proceedings of the international conference on information systems design and intelligent applications 2012 (INDIA 2012) held in Visakhapatnam, India, January 2012 : 1st international conference on information systems design and intelligent applications : INDIA-2012 : InConINDIA 2012 : inter. conf. on inform. systems : international conference on information system design and intelligent applications : Jan 2012, Visakhapatnam, India. (Advances in Intelligent and Soft Computing ; 132)

Proceedings of the international conference on information systems design and intelligent applications 2012 (INDIA 2012) held in Visakhapatnam, India, January 2012 : 1st international conference on information systems design and intelligent applications : INDIA-2012 : InConINDIA 2012 : inter. conf. on inform. systems : international conference on information system design and intelligent applications : Jan 2012, Visakhapatnam, India. (Advances in Intelligent and Soft Computing ; 132)
Paper図書
Springerc2012.<M17-12-2952>
National Diet Library
  • DDC004.2/1

Human-centered software engineering : 4th international conference, HCSE 2012 : Toulouse, France, October 29-31, 2012 : proceedings : Oct 2012, Toulouse, France. (Lecture Notes in Computer Science ; 7623)

Human-centered software engineering : 4th international conference, HCSE 2012 : Toulouse, France, October 29-31, 2012 : proceedings : Oct 2012, Toulouse, France. (Lecture Notes in Computer Science ; 7623)
Paper図書
Springerc2012.<M17-13-1152>
National Diet Library
  • DDC004.2/1

Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : 15th European joint conferences on theory and practice of software : TACAS forum : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7214. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : 15th European joint conferences on theory and practice of software : TACAS forum : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7214. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-77>
National Diet Library
  • DDC004.2/1

Usability in government systems : user experience design for citizens and public servants

Usability in government systems : user experience design for citizens and public servants
Paper図書
[edited by] Elizabeth Buie and Dianne Murray.Morgan Kaufmannc2012.<M154-B134>
National Diet Library
  • DDC004.2/1

Human centered design : second international conference, HCD 2011 : held as part of HCI international 2011 : Orlando, FL, USA, July 9-14, 2011 : proceedings : 14th international conference on human-computer interaction : 2nd international conference on human-centered design : Jul 2011, Orlando, FL. (Lecture Notes in Computer Science ; 6776)

Human centered design : second international conference, HCD 2011 : held as part of HCI international 2011 : Orlando, FL, USA, July 9-14, 2011 : proceedings : 14th international conference on human-computer interaction : 2nd international conference on human-centered design : Jul 2011, Orlando, FL. (Lecture Notes in Computer Science ; 6776)
Paper図書
Springerc2011.<M17-12-37>
National Diet Library
  • DDC004.2/1

Foundations of augmented cognition : directing the future of adaptive systems : 6th international conference, FAC 2011 : held as part of HCI international 2011 : Orlando, FL, USA, July 9-14, 2011 : proceedings. : 14th international conference on human-computer interaction : Jul 2011, Orlando, FL. (Lecture Notes in Computer Science ; 6780. Lecture Notes in Artificial Intelligence)

Foundations of augmented cognition : directing the future of adaptive systems : 6th international conference, FAC 2011 : held as part of HCI international 2011 : Orlando, FL, USA, July 9-14, 2011 : proceedings. : 14th international conference on human-computer interaction : Jul 2011, Orlando, FL. (Lecture Notes in Computer Science ; 6780. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-11-3244>
National Diet Library
  • DDC004.2/1

SDL 2011: integrating system and software modeling : 15th international SDL forum : Toulouse, France, July 5-7, 2011 : revised papers : 15th international conference on system design languages : Jul 2011, Toulouse, France. (Lecture Notes in Computer Science ; 7083)

SDL 2011: integrating system and software modeling : 15th international SDL forum : Toulouse, France, July 5-7, 2011 : revised papers : 15th international conference on system design languages : Jul 2011, Toulouse, France. (Lecture Notes in Computer Science ; 7083)
Paper図書
Springerc2011.<M17-12-1780>
National Diet Library
  • DDC004.2/1

Design, user experience and usability : theory, methods, tools and practice : first international conference, DUXU 2011 : held as part of HCI international 2011 : Orlando, FL, USA, July 9-14, 2011 : proceedings. : 14th international conference on human-computer interaction : Jul 2011, Orlando, FL. (Lecture Notes in Computer Science ; 6769-6770)

Design, user experience and usability : theory, methods, tools and practice : first international conference, DUXU 2011 : held as part of HCI international 2011 : Orlando, FL, USA, July 9-14, 2011 : proceedings. : 14th international conference on human-computer interaction : Jul 2011, Orlando, FL. (Lecture Notes in Computer Science ; 6769-6770)
Paper図書
Springerc2011.<M17-11-3249>
National Diet Library
  • DDC004.2/1

Mathematical design : building reliable complex computer systems / J. Paul Roth. (IEEE Press series on engineering of complex computer systems)

Mathematical design : building reliable complex computer systems / J. Paul Roth. (IEEE Press series on engineering of complex computer systems)
Paper図書
IEEE Pressc1999.<M154-A292>
National Diet Library
  • DDC004.2/1

Information system concepts : improving the understanding : proceedings of the IFIP TC8/WG 8.1 Working Conference on Information System Concepts : improving the understanding, Alexandria, Egypt, 13-15 April, 1992 / edited by Eckhard D. Falkenberg, Colette Rolland, El-Sayed Nasr-El-Dein El-Sayed. (IFIP transactions. A, Computer science and technology ; A-4)

Information system concepts : improving the understanding : proceedings of the IFIP TC8/WG 8.1 Working Conference on Information System Concepts : improving the understanding, Alexandria, Egypt, 13-15 April, 1992 / edited by Eckhard D. Falkenberg, Colette Rolland, El-Sayed Nasr-El-Dein El-Sayed. (IFIP transactions. A, Computer science and technology ; A-4)
Paper図書
North-Holland1992.<M15-A8385>
National Diet Library
  • DDC004.2/1

Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.). (Lecture notes in computer science)

Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M1-A70>
National Diet Library
  • DDC004.2/1

Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings / A. Miola, (ed.). (Lecture notes in computer science)

Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings / A. Miola, (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A7565>
National Diet Library
  • DDC004.2/1

Modelling and performange [i.e. performance] evaluation of computer systems : proceedings of the international workshop organized by the Commission of the European Communities Joint Research Centre, Ispra Establishment, Department A, Ispra (Varese), Italy, October 4-6, 1976 / edited by H. Beilner and E. Gelenbe.

Modelling and performange [i.e. performance] evaluation of computer systems : proceedings of the international workshop organized by the Commission of the European Communities Joint Research Centre, Ispra Establishment, Department A, Ispra (Varese), Italy, October 4-6, 1976 / edited by H. Beilner and E. Gelenbe.
Paper図書
North-Holland Publishing Co.1977.<M154-186>
National Diet Library
  • DDC004.2/1

Reached to the end of result.

RSS