Ditapis dengan
Scenarios: Models, Transformations and Tools
Scenarios: Models, Transformations and Tools -- Why Timed Sequence Diagrams Require Three-Event Semantics -- Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach -- Deciding Properties of Message Sequence Charts -- Operational Semantics of Security Protocols -- Autonomous Shuttle System Case Study -- Genetic Design: Amplifying Our Ability to De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320326
- Deskripsi Fisik
- XII, 279 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
RoboCup 2004: Robot Soccer World Cup VIII
RoboCup 2004 Overview -- RoboCup 2004 Overview -- Award Winner Papers -- Map-Based Multiple Model Tracking of a Moving Object -- UCHILSIM: A Dynamically and Visually Realistic Simulator for the RoboCup Four Legged League -- Full Papers -- CommLang: Communication for Coachable Agents -- Turning Segways into Robust Human-Scale Dynamically Balanced Soccer Robots -- A Constructive Feature Detection…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322566
- Deskripsi Fisik
- XVIII, 678 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reliable Software Technology – Ada-Europe 2005
Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle -- An Ada Framework for QoS-Aware Applications -- Design and Scheduling Issues -- Efficient Alternatives for Implementing Fixed-Priority Schedulers -- A New Strategy for the HRT-HOOD to Ada Mapping -- Using the AADL to Describe Distributed Applica…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316664
- Deskripsi Fisik
- XVI, 276 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reliable Distributed Systems
Basic Distributed Computing Technologies -- Fundamentals -- Basic Communication Services -- High Assurance Communication -- Remote Procedure Calls and the Client/Server Model -- Styles of Client/Server Computing -- CORBA: The Common Object Request Broker Architecture -- System Support for Fast Client/Server Communication -- Web Technologies -- The World Wide Web -- Major Web Technologies -- Web…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387276014
- Deskripsi Fisik
- XXXVI, 668 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reasoning Web
to Semantic Web Ontology Languages -- Rules and Ontologies in F-Logic -- Web and Semantic Web Query Languages: A Survey -- Evolution and Reactivity for the Web -- Personalization for the Semantic Web -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule Modeling and Markup -- Information Extraction for the Semantic Web -- Reuse in Semantic A…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316756
- Deskripsi Fisik
- X, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Time‒Frequency and Time‒Scale Methods
Wavelets: Basic properties, parameterizations and sampling -- Derivatives and multiwavelets -- Sampling in Fourier and wavelet analysis -- Bases for time-frequency analysis -- Fourier uncertainty principles -- Function spaces and operator theory -- Uncertainty principles in mathematical physics.Developed in this book are several deep connections between time--frequency (Fourier/Gabor) analysis …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780817644314
- Deskripsi Fisik
- XXII, 390 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Dynamic modeling of the drying process of corn grains using neural networks.
AGRITECH Vol. 39 No 3 Agustus 2019 (Rak 7 - M : Pertanian)
- Edisi
- -
- ISBN/ISSN
- 0216-0455
- Deskripsi Fisik
- hal. 251-257.: ilus.; 30 cm
- Judul Seri
- -
- No. Panggil
- JURNAL|||#
Biomimicry for Optimization, Control, and Automation
Challenges in Computer Control and Automation -- Scientific Foundations for Biomimicry -- For Further Study -- Elements of Decision Making -- Neural Network Substrates for Control Instincts -- Rule-Based Control -- Planning Systems -- Attentional Systems -- For Further Study -- Learning -- Learning and Control -- Linear Least Squares Methods -- Gradient Methods -- Adaptive Control -- For Furthe…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846280696
- Deskripsi Fisik
- XXXI, 926 p. 365 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applied Mathematics for Restructured Electric Power Systems
Applied Mathematics for Restructured Electric Power Systems -- Reactive Power and Voltage Control Issues in Electric Power Systems -- Identification of Weak Locations in Bulk Transmission Systems Using Voltage Stability Margin Index -- Bifurcation and Manifold Based Approach for Voltage and Oscillatory Stability Assessment and Control -- On-Line ATC Evaluation for Large-Scale Power Systems: Fra…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387234717
- Deskripsi Fisik
- XXXII, 324 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Communication Control Networks
Stochastic Fluid Models For the On-line Control of Communication Networks -- Stability Analysis of Window Flow Control -- H-infinity and LMMSE Based Capacity Predictors for Flow -- Control in Communication Networks -- Models and Methods for Analyzing Congestion Control and Active Management Schemes -- Delay Effects on the Stability of Various Fluid Models Encountered in High-speed Networks -- D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315971
- Deskripsi Fisik
- X, 346 p. 99 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah