Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- load frequency control 61 Treffer
- model check 49 Treffer
- load frequency control (lfc) 43 Treffer
- lfc 36 Treffer
- modal logic 26 Treffer
-
45 weitere Werte:
- operational semantic 22 Treffer
- pid controller 21 Treffer
- linear logic 16 Treffer
- intuitionistic logic 14 Treffer
- justification logic 13 Treffer
- pid 13 Treffer
- agc 12 Treffer
- power system 12 Treffer
- epistemic logic 11 Treffer
- lambda calculus 11 Treffer
- proof system 11 Treffer
- winning strategy 11 Treffer
- automatic generation control 10 Treffer
- denotational semantic 10 Treffer
- drying 10 Treffer
- genetic algorithm 10 Treffer
- hybrid system 10 Treffer
- sequent calculus 10 Treffer
- temporal logic 10 Treffer
- durability 9 Treffer
- optimization 9 Treffer
- type theory 9 Treffer
- automatic generation control (agc) 8 Treffer
- kripke model 8 Treffer
- normal form 8 Treffer
- particle swarm optimization 8 Treffer
- process algebra 8 Treffer
- proof theory 8 Treffer
- proof tree 8 Treffer
- atomic formula 7 Treffer
- atomic proposition 7 Treffer
- decision procedure 7 Treffer
- firefly algorithm 7 Treffer
- garbage collection 7 Treffer
- hybrid automaton 7 Treffer
- pso 7 Treffer
- robust control 7 Treffer
- safety case 7 Treffer
- separation logic 7 Treffer
- service life 7 Treffer
- simulation 7 Treffer
- area control error 6 Treffer
- classical logic 6 Treffer
- fuzzy logic 6 Treffer
- numerical simulation 6 Treffer
Verlag
- springer berlin heidelberg 496 Treffer
- springer international publishing 343 Treffer
- springer singapore 95 Treffer
- springer nature singapore 60 Treffer
- springer nature switzerland 21 Treffer
-
12 weitere Werte:
- springer us 8 Treffer
- springer new york 7 Treffer
- springer netherlands 6 Treffer
- springer india 4 Treffer
- springer london 3 Treffer
- wageningen academic publishers 2 Treffer
- american meteorological society 1 Treffer
- atlantis press international bv 1 Treffer
- birkhauser basel 1 Treffer
- physica-verlag hd 1 Treffer
- springer japan 1 Treffer
- vs verlag fur sozialwissenschaften 1 Treffer
Publikation
- web technologies and applications : 13th asia-pacific web conference, apweb 2011, beijing, china, april 18-20, 2011. proceedings 53 Treffer
- computer aided verification : 17th international conference, cav 2005, edinburgh, scotland, uk, july 6-10, 2005. proceedings 52 Treffer
- logical foundations of computer science : international symposium, lfcs 2007, new york, ny, usa, june 4-7, 2007. proceedings 35 Treffer
- logical foundations of computer science : third international symposium, lfcs '94 st. petersburg, russia, july 11-14, 1994 proceedings 35 Treffer
- computer safety, reliability and security : 21st international conference, safecomp 2002 catania, italy, september 10-13, 2002 proceedings 32 Treffer
-
45 weitere Werte:
- computer safety, reliability, and security : 22nd international conference, safecomp 2003, edinburgh, uk, september 23-26, 2003. proceedings 32 Treffer
- logical foundations of computer science : international symposium, lfcs 2009, deerfield beach, fl, usa, january 3-6, 2009. proceedings 31 Treffer
- logical foundations of computer science : international symposium, lfcs 2013, san diego, ca, usa, january 6-8, 2013. proceedings 29 Treffer
- logical foundations of computer science : international symposium, lfcs 2016, deerfield beach, fl, usa, january 4-7, 2016. proceedings 27 Treffer
- logical foundations of computer science : international symposium, lfcs 2022, deerfield beach, fl, usa, january 10-13, 2022, proceedings 23 Treffer
- logical foundations of computer science : international symposium, lfcs 2018, deerfield beach, fl, usa, january 8-11, 2018, proceedings 22 Treffer
- logical foundations of computer science : international symposium, lfcs 2020, deerfield beach, fl, usa, january 4-7, 2020, proceedings 17 Treffer
- transactions on computational systems biology vi 10 Treffer
- drying and wetting of building materials and components 9 Treffer
- industrial and technological applications of transport in porous materials 9 Treffer
- robust power system frequency control 9 Treffer
- durability of concrete structures 8 Treffer
- masonry: building pathologies and design 8 Treffer
- weaponizing eu state aid law to impact the future of eu investment policy in the global context 8 Treffer
- building pathology, durability and service life 7 Treffer
- building rehabilitation and sustainable construction 7 Treffer
- case studies in building constructions 7 Treffer
- concrete structures deteriorated by delayed ettringite formation and alkali-silica reactions 7 Treffer
- sustainable materials in building construction 7 Treffer
- transport processes and separation technologies 7 Treffer
- building pathologies: experimental campaigns and numerical procedures 6 Treffer
- case studies in building rehabilitation 6 Treffer
- design of reinforced concrete silo groups 6 Treffer
- external thermal insulation composite systems (etics) : an evaluation of hygrothermal behaviour 6 Treffer
- hygrothermal behaviour and building pathologies 6 Treffer
- moisture transport in polymer composite materials : computational modelling and experiments 6 Treffer
- transport phenomena in liquid composite molding processes 6 Treffer
- advanced chemical and creep modeling for alkali-aggregate reaction in concrete 5 Treffer
- building pathologies and acoustic performance 5 Treffer
- case studies of building rehabilitation and design 5 Treffer
- concrete structures: new trends and old pathologies 5 Treffer
- diagnostic of concrete samples affected by internal swelling reactions 5 Treffer
- efficient and suitable construction 5 Treffer
- infrared thermography for building moisture inspection 5 Treffer
- interface influence on moisture transport in building components : the wetting process 5 Treffer
- natural laminar flow and laminar flow control 5 Treffer
- salt damage in ceramic brick masonry 5 Treffer
- structural performance of masonry elements : mortar coating layers influence 5 Treffer
- drying kinetics in building materials and components : the interface influence 4 Treffer
- innovation in electrical power engineering, communication, and computing technology : proceedings of iepcct 2019 4 Treffer
- modeling, simulation and optimization : proceedings of comso 2020 4 Treffer
- smart energy and advancement in power technologies : select proceedings of icseapt 2021 volume 1 4 Treffer
- smart technologies for power and green energy : proceedings of stpge 2022 4 Treffer
- sustainable energy and technological advancements : proceedings of isseta 2023 4 Treffer
- thermal energy storage with phase change materials : a literature review of applications for buildings materials 4 Treffer
Sprache
1.051 Treffer
-
2022Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
2022Online E-BookZugriff: