61. Certified Programs and Proofs
پدیدآورنده : / Georges Gonthier, Michael Norrish
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
62. Certified Programs and Proofs
پدیدآورنده : / Pierre Jouannaud, Zhong Shao-Jean
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
63. Computational Intelligence and Intelligent Systems
پدیدآورنده : / Zhihua Cai, Hengjian Tong, Zhuo Kang, Yong Liu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
64. Computer Aided Verification
پدیدآورنده : / Tayssir Touili, Byron Cook, Paul Jackson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
65. Computer Aided Verification
پدیدآورنده : / Ganesh Gopalakrishnan, Shaz Qadeer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
66. Conceptual Modelling and Its Theoretical Foundations
پدیدآورنده : / Dieter Schewe-ft, Meike Klettke, KlausنsterhیAntje D
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
67. Correct Reasoning
پدیدآورنده : / Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
68. Correct System Design
پدیدآورنده : / Platzer, Heike WehrheimفRoland Meyer, Andr
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
69. DNA Computing and Molecular Programming
پدیدآورنده : / Luca Cardelli, William Shih
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
70. Data Engineering and Management
پدیدآورنده : / Rajkumar Kannan, Frederic Andres
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
71. Declarative Agent Languages and Technologies IX
پدیدآورنده : / Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
72. Declarative Agent Languages and Technologies VII
پدیدآورنده : / Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
73. Declarative Agent Languages and Technologies VIII
پدیدآورنده : / Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
74. Deontic Logic and Normative Systems
پدیدآورنده : / Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
75. Deontic Logic in Computer Science
پدیدآورنده : / Guido Governatori, Giovanni Sartor
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
76. Deontic Logic in Computer Science
پدیدآورنده : / gotnes, Jan Broersen, Dag ElgesemThomas
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
77. ER 2011تConceptual Modeling
پدیدآورنده : / Wang Ling-Manfred Jeusfeld, Lois Delcambre, Tok
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
78. ER 2010تConceptual Modeling
پدیدآورنده : / Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
79. Evolutionary and Biologically Inspired Music, Sound, Art and Design
پدیدآورنده : / Penousal Machado, Juan Romero, Adrian Carballal
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
80. Evolvable Systems: From Biology to Hardware
پدیدآورنده : / Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
