- 2 402 202 книги
#1
HSCC'10: proceedings of the 13th International Conference on hybrid systems : computation and control : April 12-15, 2010, Stockholm, Sweden
Karl Henrik Johansson, Wang Yi, Association for Computing Machinery. Special Interest Group on Embedded Systems
14.37 Mb
#2
Efficient Software Tools for Control and Analysis of Hybrid Systems
Michal KvasnicaКатегория: Математика, Анализ
2.61 Mb
#3
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues)
Giorgio Buttazzo, Alberto Bemporad, Antonio BicchiКатегория: Компьютеры
13.14 Mb
#4
Hybrid Systems (Lecture Notes in Computer Science)
Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans RischelКатегория: Компьютеры
23.58 Mb
#5
Learning, Control and Hybrid Systems: Festschrift in Honor of Bruce Allen Francis and Mathukumalli Vidyasagar on the Occasion of Their 50th Birthdays (Lecture ... Notes in Control and Information Sciences)
Yutaka Yamamoto, Shinji Hara, Bruce A. Francis, M. VidyasagarКатегория: Образование
18.81 Mb
#6
Hybrid Systems IV (Lecture Notes in Computer Science)
Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar SastryКатегория: Компьютеры
26.84 Mb
#7
Languages and Tools for Hybrid Systems Design (Foundations and Trends in Electronic Design Automation)
Luca, P Carloni, Roberto Passerone, Alessandro PintoКатегория: Языкознание
2.21 Mb
#8
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Andre PlatzerКатегория: Математика, Динамические системы
3.02 Mb
#9
Handbook of Hybrid Systems Control: Theory, Tools, Applications
Jan Lunze, Francoise Lamnabhi-LagarrigueКатегория: Математика, Прикладная математика
7.98 Mb
#10
Fault Tolerant Control Design for Hybrid Systems (Lecture Notes in Control and Information Sciences)
Hao Yang, Bin Jiang, Vincent Cocquempot
3.82 Mb
#11
Modelling, Analysis and Design of Hybrid Systems (Lecture Notes in Control and Information Sciences)
S. Engell, G. Frehse, E. SchniederКатегория: Математика, Анализ
7.50 Mb
#13
Quantum Materials, Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals
Heitmann D. (ed.)
11.36 Mb
#14
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Platzer A.Категория: Cs_Computer science, CsAl_Algorithms
2.61 Mb
#16
Stochastic Hybrid Systems: Theory and Safety Critical Applications (Lecture Notes in Control and Information Sciences)
Henk A.P. Blom, John Lygeros
6.05 Mb
#18
Two-Hybrid Systems: Methods and Protocols (Methods in Molecular Biology Vol 177)
Paul N. Macdonald (Editor)
1.40 Mb
#19
Quantum Materials, Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals (NanoScience and Technology)
Detlef Heitmann
14.71 Mb
#20
Predictive Control for Linear and Hybrid Systems (draft)
Francesco Borrelli, Alberto Bemporad, Manfred Morari
3.80 Mb
#21
Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic Volume 30)
Andrzej Indrzejczak
2.12 Mb
#22
Estimation problems in hybrid systems
Sworder D.D., Boyd J.E.Категория: M_Mathematics, MOc_Optimization and control
1.91 Mb
#23
Soft Computing Systems: Design, Management and Applications (Frontiers in Artificial Intelligence and Applications, 87)
Ajith Abraham, Javier Ruiz-Del-Solar, Mario Koppen, International Conference on Hybrid IntelКатегория: Математика, Прикладная математика
70.15 Mb
#24
Reasoning and Revision in Hybrid Representation Systems (Lecture Notes in Computer Science)
Bernhard NebelКатегория: Компьютеры
20.44 Mb
#25
Matheuristics: Hybridizing Metaheuristics and Mathematical Programming (Annals of Information Systems)
Vittorio Maniezzo, Thomas Stutzle, Stefan Vo?Категория: Математика, Прикладная математика
5.49 Mb
#26
Hybrid Artificial Intelligence Systems: 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009, Proceedings (Lecture Notes in ... Lecture Notes in Artificial Intelligence)
Emilio Corchado, Xindong Wu, Erkki Oja, Alvaro Herrero, Bruno Baruque
14.33 Mb
#27
Hybrid Artificial Intelligent Systems, Part II: 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings (Lecture ... Lecture Notes in Artificial Intelligence)
Manuel Grana Romay, Alexandre Manhaes Savio
11.94 Mb
#28
Hybrid built-in self-test and test generation techniques for digital systems
Gert Jervan.
1.75 Mb
#29
Mobile Hybrid Intrusion Detection: The MOVICAB-IDS System
Álvaro Herrero, Emilio Corchado
3.26 Mb
#31
Hybrid Intelligent Systems (Studies in Fuzziness and Soft Computing)
Oscar Castillo, Patricia Melin, Janusz Kacprzyk, Witold PedryczКатегория: Образование
12.03 Mb
#35
Hybrid Rough Sets and Applications in Uncertain Decision-Making (Systems Evaluation, Prediction, and Decision-Making)
Lirong Jian, Sifeng Liu, Yi Lin
2.79 Mb
#36
Hybrid Estimation of Complex Systems (Lecture Notes in Control and Information Sciences)
Michael W. Hofbaur
2.57 Mb
#37
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Christian Herde
928 Kb
#38
General Hybrid Orthogonal Functions and their Applications in Systems and Control (Lecture Notes in Control and Information Sciences)
Ganti Prasada Rao, Amit Patra
1.92 Mb
#39
Hybrid Artificial Intelligence Systems: 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009, Proceedings (Lecture Notes in ... Lecture Notes in Artificial Intelligence)
Emilio Corchado, Xindong Wu, Erkki Oja, Alvaro Herrero, Bruno Baruque
11.25 Mb
#40
Time-domain computer analysis of nonlinear hybrid systems
Wenquan SuiКатегория: 'Electronic circuits -- Computer simulation.', 'Electromagnetism -- Computer simulation.', 'System analysis -- Data processing.', 'Time domain analysis.', 'Finite differences.', 'Hybrid systems.'
6.07 Mb
#42
Computational Intelligence: Engineering of Hybrid Systems
Negoita M., Neagu D., Palade V.
4.88 Mb
#44
Analysis and Design of Hybrid Systems 2006: A Proceedings volume from the 2nd IFAC Conference, Alghero, Italy, 7-9 June 2006 (IPV - IFAC Proceedings volume)
Christos Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon
32.59 Mb
#47
Hybrid Systems
Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans RischelКатегория: CsLn_
3.24 Mb
#48
Hybrid Systems.. Computation and Control, 7 conf., HSCC 2004
Rajeev Alur, George PappasКатегория: CsLn_
12.30 Mb
#49
Hybrid Systems.. Computation and Control, 10 conf., HSCC 2007
Alberto Bemporad, Antonio Bicchi, Giorgio ButtazzoКатегория: CsLn_
13.01 Mb
#50
Hybrid Systems 4 conf
Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar SastryКатегория: CsLn_
4.97 Mb
#51
Two-Hybrid Systems: Methods and Protocols (Methods in Molecular Biology)
Paul N. MacDonald
1.85 Mb
#54
Two-Hybrid Systems: Methods and Protocols (Methods in Molecular Biology)
Paul N. MacDonaldКатегория: Biology
3.34 Mb
#55
Constrained Optimal Control of Linear and Hybrid Systems (Lecture Notes in Control and Information Sciences) (v. 290)
Francesco BorrelliКатегория: Engineering
3.49 Mb
#57
Hybrid Systems III: Verification and Control: No. 3
Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
5.84 Mb
#58
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
Thomas A. Henzinger, Shankar Sastry
4.54 Mb
#59
Hybrid Systems
Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode, Shankar Sastry
5.00 Mb
#60
Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings
Frits W. Vaandrager, Jan H. van Schuppen
4.36 Mb
#61
Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
Nancy Lynch, Bruce Krogh
5.23 Mb
#62
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings
Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli
7.73 Mb
#63
Hybrid Systems: Computation and Control: 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings
Claire J. Tomlin, Mark R. Greenstreet
6.39 Mb
#64
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Freek Wiedijk, Oded Maler, Amir Pnueli
9.00 Mb
#65
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings
Magnus Egerstedt
11.90 Mb
#66
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
MANFRED THIELE, LOTHAR ROSSI, FRANCESCA MORARI
10.23 Mb
#67
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
Joao Hespanha, Ashish Tiwari
9.73 Mb
#68
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Heinrich Rust
1.73 Mb
#69
Languages and Tools for Hybrid Systems Design
Luca P Carloni, Roberto Passerone, Alessandro Pinto
2.13 Mb
#70
An introduction to hybrid dynamical systems
Arjan J. van der Schaft, Hans SchumacherКатегория: Physics, Dynamical systems
2.11 Mb
#71
Hybrid dynamical systems: controller and sensor switching problems
Andrey V. Savkin, Robin J. EvansКатегория: 'Real-time control.', 'Digital control systems.', 'Switching theory.', 'Echtzeitsystem -- Hybridschaltung.', 'Hybridschaltung -- Echtzeitsystem.'
6.38 Mb
#72
Nanoscale Structure and Assembly at Solid-Fluid Interfaces. Assembly in Hybrid and Biological Systems
X. Y. LiuКатегория: Physics, Solid state
15.89 Mb
#74
Agent-Based Hybrid Intelligent Systems: An Agent-Based Fromework for Complex Problem Solving
Zhang Ch.
6.85 Mb
#75
Hybrid Intelligent Systems for Pattern Recognition Using Soft Computing: An Evolutionary Approach for Neural Networks and Fuzzy Systems
Patricia Melin, Oscar Castillo
8.82 Mb
#77
Hybrid artificial intelligence systems 4th international conference; proceedings HAIS<4. 2009. Salamanca>
Emilio Corchado, Xindong Wu, Erkki Oja, Alvaro Herrero, Bruno Baruque
10.10 Mb
#79
Hybrid Membrane Systems for Water Purification: Technology, Systems Design and Operations
Rajindar Singh
26.80 Mb
#80
Hybrid Neural Systems 1998
Stefan Wermter, Ron SunКатегория: Cs_Computer science, CsLn_Lecture notes
3.17 Mb
#81
An embedded interactive monitoring system for PV-Diesel hybrid plants in rural areas
Boonyang Plangklang.Категория: Kassel : Kassel University Press, 2005.
5.44 Mb
#82
Control of nonlinear and hybrid process systems: designs for uncertainty, constraints and time-delays
P.D. Christofides; Nael El-Farra
8.88 Mb
#83
Soft computing for hybrid intelligent systems
Oscar Castillo, Patricia Melin, Janusz Kacprzyk, Witold Pedrycz
10.00 Mb
#84
Innovations in hybrid intelligent systems
Emilio Corchado, Juan M. Corchado, Ajith Abraham
8.25 Mb
#86
Modeling and Analysis of Hybrid Supervisory Systems - A Petri Net Approach
Emilia Villani, Paulo Eigi Miyagi, Robert Valette
2.95 Mb
#88
Digital Signal Processing System Design, Second Edition: LabVIEW-Based Hybrid Programming
Nasser KehtarnavazКатегория: Digital Signal Processing
23.28 Mb
#89
Soft Computing for Hybrid Intelligent Systems (Studies in Computational Intelligence)
Oscar Castillo, Patricia Melin, Witold Pedrycz
15.90 Mb
#90
Hybrid Architectures for Intelligent Systems
Abraham Kandel, Gideon LangholzКатегория: Computer Science, Artificial Intelligence
7.21 Mb
#91
Control of Nonlinear and Hybrid Process Systems: Designs for Uncertainty, Constraints and Time-Delays (Lecture Notes in Control and Information Sciences)
P.D. Christofides; Nael El-Farra
9.00 Mb
#93
Tree-Structure based Hybrid Computational Intelligence: Theoretical Foundations and Applications (Intelligent Systems Reference Library)
Yuehui Chen, Ajith Abraham
4.19 Mb
#94
Dynamics and Control of Hybrid Mechanical Systems
Gennady Leonov, Gennady Leonov, Henk Nijmeijer, Alexander Pogromsky, Alexander Fradkov
8.18 Mb
#95
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Oded Maler
3.80 Mb
#96
Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving
Zili Zhang, Chengqi Zhang
770 Kb
#97
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Cliff B. Jones, Zhiming Liu, Jim Woodcock
5.37 Mb
#98
The Hybrid Factory in Europe: The Japanese Management and Production System Transferred
Hiroshi Kumon, Tetsuo AboКатегория: Экономика и финансы
2.75 Mb
Показаны далеко не все результаты, удовлетворяющие вашему запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.