Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- tla 132 Treffer
- model checking 27 Treffer
- event-b 19 Treffer
- verification 17 Treffer
- soil 15 Treffer
-
45 weitere Werte:
- tlas 10 Treffer
- formal verification 9 Treffer
- refinement 8 Treffer
- tlc 8 Treffer
- wear 8 Treffer
- b method 7 Treffer
- b-method 7 Treffer
- formal specification 7 Treffer
- temporal logic 7 Treffer
- fairness 6 Treffer
- interband cascade laser 6 Treffer
- productivity 6 Treffer
- specification 6 Treffer
- abstract state machines 5 Treffer
- formal methods 5 Treffer
- gas sensing 5 Treffer
- phase angle 5 Treffer
- rheology 5 Treffer
- soil temperature 5 Treffer
- animation 4 Treffer
- distributed feedback 4 Treffer
- gravity anomaly 4 Treffer
- heavy metals 4 Treffer
- liveness 4 Treffer
- magnetic anomaly 4 Treffer
- photosynthesis 4 Treffer
- rheological properties 4 Treffer
- road engineering 4 Treffer
- soil compaction 4 Treffer
- switching overvoltage 4 Treffer
- temporal logic of actions 4 Treffer
- thin layer activation 4 Treffer
- tla+ 4 Treffer
- tumescent local anesthesia 4 Treffer
- tunable laser absorption spectroscopy (tlas) 4 Treffer
- abstraction 3 Treffer
- air temperature 3 Treffer
- classification 3 Treffer
- climate change 3 Treffer
- complex shear modulus 3 Treffer
- concurrency 3 Treffer
- conservation 3 Treffer
- corrosion 3 Treffer
- customization 3 Treffer
- cyclotron 3 Treffer
Verlag
- springer verlag 147 Treffer
- institute of electrical and electronics engineers inc. 36 Treffer
- optica publishing group (formerly osa) 28 Treffer
- union of croatian civil engineers and technicians 16 Treffer
- elsevier ltd 15 Treffer
-
45 weitere Werte:
- springer-verlag 15 Treffer
- springer science and business media deutschland gmbh 13 Treffer
- croatian association of civil engineers 12 Treffer
- elsevier b.v. 12 Treffer
- university of zagreb - faculty of agriculture 11 Treffer
- spie 10 Treffer
- hrvatsko sumarsko drustvo 8 Treffer
- strojarski facultet 7 Treffer
- faculty of agriculture in osijek 6 Treffer
- andrija mohorovicic geophysical institute faculty of science, university of zagreb 5 Treffer
- birkhauser verlag ag 5 Treffer
- frontiers media s.a. 5 Treffer
- geofizicki zavod 5 Treffer
- ieee computer society 5 Treffer
- university of zagreb, faculty of political sciences 5 Treffer
- american institute of physics inc. 4 Treffer
- john wiley and sons inc 4 Treffer
- kluwer academic publishers 4 Treffer
- mdpi 4 Treffer
- springer science and business media b.v. 4 Treffer
- taylor and francis ltd. 4 Treffer
- university of zagreb, faculty of mining, geology and petroleum engineering 4 Treffer
- academic press 3 Treffer
- american psychological association 3 Treffer
- association for computing machinery 3 Treffer
- elsevier 3 Treffer
- multidisciplinary digital publishing institute (mdpi) 3 Treffer
- routledge 3 Treffer
- sciendo 3 Treffer
- springer 3 Treffer
- springer new york llc 3 Treffer
- university of zagreb faculty of forestry and wood technology 3 Treffer
- academic press inc. 2 Treffer
- american society for microbiology 2 Treffer
- binary information press 2 Treffer
- bohn stafleu van loghum 2 Treffer
- cell press 2 Treffer
- ceur-ws 2 Treffer
- cigre 2 Treffer
- croatian anthropological society 2 Treffer
- elsevier ireland ltd 2 Treffer
- faculty of political sciences, university of zagreb 2 Treffer
- institute of electronics, information and communication, engineers, ieice 2 Treffer
- komitet slowianoznawstwa pan 2 Treffer
- lippincott williams and wilkins 2 Treffer
Publikation
- lecture notes in computer science 139 Treffer
- abstract state machines, alloy, b, tla, vdm, and z - 6th international conference, abz 2018, proceedings 37 Treffer
- abstract state machines, alloy, b, tla, vdm, and z - 4th international conference, abz 2014, proceedings 36 Treffer
- abstract state machines, alloy, b, tla, vdm, and z - 5th international conference, abz 2016, proceedings 35 Treffer
- gradjevinar 30 Treffer
-
45 weitere Werte:
- optics infobase conference papers 28 Treffer
- communications in computer and information science 17 Treffer
- immunogenetics 15 Treffer
- abz 2014: the landing gear case study - case study track, held at the 4th international conference on abstract state machines, alloy, b, tla, vdm, and z, proceedings 13 Treffer
- sumarski list 13 Treffer
- rudarsko geolosko naftni zbornik 12 Treffer
- journal of central european agriculture 11 Treffer
- nuclear instruments and methods in physics research, section b: beam interactions with materials and atoms 11 Treffer
- pure and applied geophysics 11 Treffer
- geofizika 10 Treffer
- proceedings of spie - the international society for optical engineering 10 Treffer
- hrvatske vode 9 Treffer
- journal of the illuminating engineering society 9 Treffer
- physics education 9 Treffer
- poljoprivreda 9 Treffer
- tehnicki vjesnik 9 Treffer
- agricultural and biological chemistry 7 Treffer
- proceedings of the national academy of sciences of the united states of america 6 Treffer
- journal of experimental medicine 4 Treffer
- journal of immunology 4 Treffer
- poljoprivredna znanstvena smotra/agriculturae conspectus scientificus 4 Treffer
- przeglad wlokienniczy 4 Treffer
- advanced materials research 3 Treffer
- construction and building materials 3 Treffer
- consulting psychology journal 3 Treffer
- elektrotehnika zagreb 3 Treffer
- formal methods in system design 3 Treffer
- glasnik za sumske pokuse 3 Treffer
- gradevinar 3 Treffer
- journal of mathematical physics 3 Treffer
- journal of quantitative spectroscopy and radiative transfer 3 Treffer
- nature 3 Treffer
- nippon juigaku zasshi. the japanese journal of veterinary science 3 Treffer
- nuclear inst. and methods in physics research, b 3 Treffer
- progress in rubber, plastics and recycling technology 3 Treffer
- przeglad elektrotechniczny 3 Treffer
- rocznik ochrona srodowiska 3 Treffer
- science of computer programming 3 Treffer
- sensors and actuators, b: chemical 3 Treffer
- studia linguistica universitatis iagellonicae cracoviensis 3 Treffer
- transplantation proceedings 3 Treffer
- 2008 international conference on wireless communications, networking and mobile computing, wicom 2008 2 Treffer
- acta agriculturae slovenica 2 Treffer
- applied radiation and isotopes 2 Treffer
- biochemical genetics 2 Treffer
Sprache
- english 902 Treffer
- scr 59 Treffer
- croatian 47 Treffer
- polish 27 Treffer
- bosnian 23 Treffer
- 12 weitere Werte:
916 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: