城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA76.758)
該当件数:143件
Decision Making with Dominance Constraints in Two-Stage Stochastic Integer Programming / by Uwe Gotzes
1st ed. 2009.. - (Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag , 2009). - (Stochastic Programming. ISSN:29458781)
電子ブック
FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 873)
Software Engineering Education : 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings / edited by Jorge L. Diaz-Herrera
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 750)
Software Process Technology : Third European Workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994. Proceedings / edited by Brian C. Warboys
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 772)
Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings / edited by Giorgio Levi, Mario Rodriguez-Artalejo
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 850)
Extensions of Logic Programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings / edited by Roy Dyckhoff
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 798)
Theoretical Aspects of Computer Software : International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings / edited by Masami Hagiya, John C. Mitchell
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 789)
Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers / edited by Hartmut Ehrig, Fernando Orejas
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 785)
Programming Languages and Systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings / edited by Donald Sannella
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 788)
Advanced Information Systems Engineering : 6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. Proceedings / edited by Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 811)
Static Analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings / edited by Baudouin LeCharlier
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 864)
Software Engineering and Human-Computer Interaction : ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994. Proceedings / edited by Richard N. Taylor, Joelle Coutaz
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 896)
Software Configuration Management : ICSE SCM-4 and SCM-5 Workshops. Selected Papers / edited by Jacky Estublier
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1005)
Mathematics of Program Construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings / edited by Bernhard Möller
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 947)
Objective Software Quality : Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings / edited by Paolo Nesi
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 926)
Software Engineering Education : 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995. Proceedings / edited by Rosalind L. Ibrahim
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 895)
Formal Development of Reactive Systems : Case Study Production Cell / edited by Claus Lewerentz, Thomas Lindner
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 891)
TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings / edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 915)
Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings / edited by Ugo Montanari, Francesca Rossi
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 976)
Constraint Programming: Basics and Trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers / edited by Andreas Podelski
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 910)