|
|
Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
by NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) | Schwichtenberg, Helmut, 1942- | Spies, Katharina | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Washington, DC : IOS Press, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato.
by Pozzato, Gian Luca | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam : IOS Press, c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Techniques for noise robustness in automatic speech recognition [electronic resource] / Tuomas Virtanen, Rita Singh, Bhiksha Raj.
by Virtanen, Tuomas | Singh, Rita | Raj, Bhiksha | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Control of quantum systems : theory and methods / Shuang Cong.
by Cong, Shuang [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
; Audience:
Preschool;
Publisher: Singapore : John Wiley & Sons, 2014Copyright date: �2014Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Measurement and instrumentation : theory and application / Alan S. Morris, Reza Langari.
by Morris, Alan S, 1948- | Langari, Reza. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : Elsevier Academic Press, 2016Availability: Items available for loan: IUKL Library [Call number: T50 Mor] (1). Items available for reference: IUKL Library [Call number: T50 Mor] (1).
|
|
|
Control systems : principles and design / M. Gopal.
by Gopal, M. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi : Tata McGraw-Hill, c2012Availability: Items available for loan: IUKL Library [Call number: TJ213 Gop] (1). Items available for reference: IUKL Library [Call number: TJ213 Gop] (1).
|
|
|
Web scraping with Python : collecting data from the modern web / Ryan Mitchell.
by Mitchell, Ryan (Ryan E.), author. Edition: 1st ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Sebastopol, CA : O'Reilly Media, 2015Availability: Items available for reference: IUKL Library [Call number: QA76.73 Mit] (1).
|
|
|
Python playground : geeky projects for the curious programmer / by Mahesh Venkitachalam.
by Venkitachalam, Mahesh. author. Publisher: San Francisco : No Starch Press, 2016Availability: Items available for reference: IUKL Library [Call number: QA76.73 Ven] (1).
|
|
|
Addressing techniques of liquid crystal displays / Temkar N. Ruckmongathan.
by Ruckmongathan, Temkar N [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Chichester, England : Wiley, 2015Copyright date: �2015Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Control Systems Engineering 7th Edition Norman S. Nise
by Nise, Norman S. Edition: Seventh edition. Publisher: Hoboken, NJ : Wiley, 2015Availability: Items available for reference: IUKL Library [Call number: TJ213 Nis] (1).
|
|
|
Techno security's guide to securing SCADA / Jack Wiles, lead author.
by Wiles, Jack. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Rockland, Mass. : Syngress, c2007Availability: Items available for reference: IUKL Library [Call number: TJ222 Wil] (1).
|
|
|
Control of non-conventional synchronous motors [electronic resource] / edited by Jean-Paul Louis.
by Louis, Jean-Paul, 1945- | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Hoboken, N.J. : ISTE ; Wiley, 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Control of non-conventional synchronous motors [electronic resource] / edited by Jean-Paul Louis.
by Louis, Jean-Paul, 1945- | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Hoboken, N.J. : ISTE ; Wiley, 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Variance-constrained multi-objective stochastic control and filtering / Lifeng Ma, Zidong Wang, Yuming Bo.
by Ma, Lifeng [author.] | Wang, Zidong, 1966- [author.] | Bo, Yuming [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: West Sussex, England : John Wiley & Sons, Inc., 2015Copyright date: �2015Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Automation for robotics / Luc Jaulin.
by Jaulin, Luc [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: London, England ; Hoboken, New Jersey : ISTE : Wiley, 2015Copyright date: �2015Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Information control problems in manufacturing 2006 [electronic resource] : a proceedings volume from the 12th IFAC Conference, 17-19 May 2006, Saint-Etienne, France / edited by Alexandre Dolgui, G�erard Morel and Carlos E. Pereira.
by IFAC Symposium on Information Control Problems in Manufacturing (12th : 2006 : Saint-�Etienne, France) | Dolgui, A. (Alexandre) | Morel, G�erard | Pereira, C. E. (Carlos Eduardo) | International Federation of Automatic Control | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Oxford : Elsevier, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Intelligent production machines and systems [electronic resource] : 2nd I*PROMS Virtual Conference, 3-14 July 2006 / organized by FP61 I*PROMS Network of Excellence ; editors, D.T. Pham, E.E. Eldukhri, A.J. Soroka.
by I*PROMS Virtual Conference (2nd : 2006) | Pham, D. T | Eldukhri, E. E | Soroka, A. J | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Oxford : Elsevier, 2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Deterministic techniques [electronic resource] / Alexander S. Poznyak.
by Poznyak, Alexander S | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam : Elsevier, 2008-Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Fault detection, supervision and safety of technical processes 2006 [electronic resource] : a proceedings volume from the 6th IFAC symposium, SAFEPROCESS 2006, Beijing, P.R. China, August 30 - September 1, 2006 / edited by Hong-Yue Zhang.
by IFAC Symposium on Fault Detection, Supervision, and Safety for Technical Processes (6th : 2006 : Beijing, China) | Zhang, Hong-Yue | International Federation of Automatic Control | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Oxford : published for the International Federation of Automatic Control by Elsevier, 2007Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Interconnecting smart objects with IP [electronic resource] : the next Internet / Jean-Philippe Vasseur, Adam Dunkels.
by Vasseur, Jean-Philippe | Dunkels, Adam | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Boston : Elsevier / Morgan Kaufmann Publishers, c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|