Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof obligation 14 Treffer
- configuration management 9 Treffer
- haptic interface 8 Treffer
- humanoid robot 8 Treffer
- abstract machine 7 Treffer
-
45 weitere Werte:
- haptic device 6 Treffer
- b 5 Treffer
- description logic 5 Treffer
- force feedback 5 Treffer
- generalize substitution 5 Treffer
- model check 5 Treffer
- z 5 Treffer
- adaptability 4 Treffer
- event type 4 Treffer
- label transition system 4 Treffer
- mobile computing 4 Treffer
- mobile robot 4 Treffer
- packet loss 4 Treffer
- query processing 4 Treffer
- refinement 4 Treffer
- smart card 4 Treffer
- abstract system 3 Treffer
- awareness 3 Treffer
- b-method 3 Treffer
- change request 3 Treffer
- class diagram 3 Treffer
- completion time 3 Treffer
- composite event 3 Treffer
- concurrent change 3 Treffer
- conjunctive query 3 Treffer
- csp 3 Treffer
- deployment process 3 Treffer
- generalise substitution 3 Treffer
- information space 3 Treffer
- linear temporal logic 3 Treffer
- mobile agent 3 Treffer
- motion vector 3 Treffer
- multimedia document 3 Treffer
- object management group 3 Treffer
- object orientation 3 Treffer
- object-z 3 Treffer
- parallel composition 3 Treffer
- process algebra 3 Treffer
- reuse 3 Treffer
- robotic system 3 Treffer
- security policy 3 Treffer
- session initiation protocol 3 Treffer
- software process 3 Treffer
- state machine 3 Treffer
- stereoscopic image 3 Treffer
Publikation
- zb 2003: formal specification and development in z and b : third international conference of b and z users turku, finland, june 4-6, 2003 proceedings 31 Treffer
- advances in telerobotics 29 Treffer
- zb 2002:formal specification and development in z and b : 2nd international conference of b and z users grenoble, france, january 23-25, 2002 proceedings 27 Treffer
- interactive multimedia and next generation networks : second international workshop on multimedia interactive protocols and systems, mips 2004, grenoble, france, november 16-19, 2004. proceedings 25 Treffer
- human centered robot systems : cognition, interaction, technology 21 Treffer
-
45 weitere Werte:
- system configuration management : 19th international symposium, scm-9 toulouse, france, september 5-7, 1999 proceedings 18 Treffer
- intelligente verfahren : identifikation und regelung nichtlinearer systeme 16 Treffer
- reasoning web. semantic technologies for information systems : 5th international summer school 2009, brixen-bressanone, italy, august 30 - september 4, 2009, tutorial lectures 7 Treffer
- b 2007: formal specification and development in b : 7th international conference of b users, besancon, france, january 17-19, 2007. proceedings 3 Treffer
- component deployment : second international working conference, cd 2004, edinburgh, uk, may 20-21, 2004. proceedings 3 Treffer
- fm'99 - formal methods : world congress on formal methods in the development of computing systems toulouse, france, september 20-24, 1999 proceedings, volume i 3 Treffer
- component deployment : third international working conference, cd 2005, grenoble, france, november 28-29, 2005. proceedings 2 Treffer
- current trends in database technology - edbt 2006 : edbt 2006 workshops phd, datax, iidb, iiha, icsnw, qlqp, pim, parma, and reactivity on the web, munich, germany, march 26-31, 2006, revised selected papers 2 Treffer
- database and expert systems applications : 13th international conference, dexa 2002 aix-en-provence, france, september 2-6, 2002 proceedings 2 Treffer
- groupware: design, implementation, and use : 10th international workshop, criwg 2004, san carlos, costa rica, september 5-9, 2004. proceedings 2 Treffer
- object-oriented information systems : 8th international conference, oois 2002 montpellier, france, september 2-5, 2002 proceedings 2 Treffer
- objects and databases : international symposium sophia antipolis,france,june 13,2000 revised papers 2 Treffer
- on the move to meaningful internet systems 2003: coopis, doa, and odbase : otm confederated international conferences, coopis, doa, and odbase 2003, catania, sicily, italy, november 3-7, 2003. proceedings 2 Treffer
- on the move to meaningful internet systems 2006: coopis, doa, gada, and odbase : otm confederated international conferences, coopis, doa, gada, and odbase 2006, montpellier, france, october 29 - november 3, 2006. proceedings, part i 2 Treffer
- software composition : 6th international symposium, sc 2007, braga, portugal, march 24-25, 2007, revised selected papers 2 Treffer
- software configuration management : icse workshops scm 2001 and scm 2003, toronto, canada, may 14-15, 2001 and portland, or, usa, may 9-10, 2003. selected papers 2 Treffer
- software process technology : 7th european workshop, ewspt 2000 kaprun, austria, february 21-25, 2000 proceedings 2 Treffer
- software process technology : 9th european workshop, ewspt 2003, helsinki, finland, september 1-2, 2003. proceedings 2 Treffer
- the local bubble and beyond lyman-spitzer-colloquium : proceedings of the iau colloquium no. 166 held in garching, germany, 21-25 april 1997 2 Treffer
- xml-based data management and multimedia engineering - edbt 2002 workshops : edbt 2002 workshops xmldm, mdde, and yrws prague, czech republic, march 24-28, 2002 revised papers 2 Treffer
- active networks : ifip tc6 6th international working conference, iwan 2004, lawrence, ks, usa, october 27-29, 2004. revised papers 1 Treffer
- active, real-time, and temporal database systems : second international workshop, artdb-97 como, italy, september 8-9, 1997 proceedings 1 Treffer
- adaptive hypermedia and adaptive web-based systems : second international conference, ah 2002 malaga, spain, may 29-31, 2002 proceedings 1 Treffer
- advanced information systems engineering : 13th international conference, caise 2001 interlaken, switzerland, june 4-8, 2001 proceedings 1 Treffer
- advanced information systems engineering : 14th international conference, caise 2002 toronto, canada, may 27-31, 2002 proceedings 1 Treffer
- advances in biometrics : third international conference, icb 2009, alghero, italy, june 2-5, 2009. proceedings 1 Treffer
- advances in conceptual modeling : er' 99 workshops on evolution and change in data management, reverse engineering in information systems, and the world wide web and conceptual modeling paris, france, november 15-18, 1999 proceedings 1 Treffer
- advances in cryptology - eurocrypt' 85 : proceedings of a workshop on the theory and application of cryptographic techniques linz, austria, april 1985 1 Treffer
- advances in database technology-edbt '88 : international conference on extending database technology venice, italy, march 14-18, 1988 proceedings 1 Treffer
- advances in object-oriented information systems : oois 2002 workshops montpellier, france, september 2, 2002 proceedings 1 Treffer
- agent-oriented information systems iii : 7th international bi-conference workshop, aois 2005, utrecht, netherlands, july 26, 2005, and klagenfurt, austria, october 27, 2005, revised selected papers 1 Treffer
- agents and peer-to-peer computing : 4th international workshop, ap2pc 2005, utrecht, the netherlands, july 25, 2005. revised papers 1 Treffer
- algebraic methodology and software technology : 5th international conference, amast '96 munich, germany, july 1-5, 1996 proceedings 1 Treffer
- algebraic methodology and software technology : 8th international conference, amast 2000 iowa city, iowa, usa, may 20-27, 2000 proceedings 1 Treffer
- applications of evolutionary computing : evoworkshops 2008: evocomnet, evofin, evohot, evoiasp, evomusart, evonum, evostoc, and evotranslog, naples, italy, march 26-28, 2008. proceedings 1 Treffer
- artificial intelligence and symbolic mathematical computation : international conference, aismc-3 steyr, austria, september 23-25, 1996 proceedings 1 Treffer
- artificial neural networks - icann'97 : 7th international conference lausanne, switzerland, october 8-10, 1997 proceeedings 1 Treffer
- astrophysical masers : proceedings of a conference held in arlington, virginia, usa 9-11 march 1992 1 Treffer
- b'98: recent advances in the development and use of the b method : second international b conference montpellier, france, april 22-24, 1998 proceedings 1 Treffer
- broadband communications, networks, and systems : 7th international icst conference, broadnets 2010, athens, greece, october 25-27, 2010, revised selected papers 1 Treffer
- business information systems : 10th international conference, bis 2007, poznan, poland, april 25-27, 2007. proceedings 1 Treffer
- component-based software engineering : 7th international symposium, cbse 2004, edinburgh, uk, may 24-25, 2004. proceedings 1 Treffer
- computational biology : first international conference on biology, informatics, and mathematics, jobim 2000 montpellier, france, may 3-5, 2000 selected papers 1 Treffer
- computational methods in systems biology : international conference cmsb 2004, paris, france, may 26-28, 2004, revised selected papers 1 Treffer
- computational science - iccs 2003 : international conference, melbourne, australia and st. petersburg, russia, june 2-4, 2003 proceedings, part iv 1 Treffer
334 Treffer
-
2012Online E-BookZugriff:
-
In: Transitions Towards Sustainable Mobility : New Solutions and Approaches for Sustainable Transport Systems; (2011) S. 235-245Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2002Online E-BookZugriff:
-
In: Formal Power Series and Algebraic Combinatorics : 12th International Conference, FPSAC’00, Moscow, Russia, June 2000, Proceedings; (2000) S. 518-527Online E-BookZugriff:
-
1989Online E-BookZugriff:
-
1986Online E-BookZugriff:
-
Material Selection and Manufacturing Processes for Composite Insulators with Silicone Rubber HousingIn: Silicone Composite Insulators : Materials, Design, Applications; (2013) S. 197-283Online E-BookZugriff:
-
In: Silikon-Verbundisolatoren : Werkstoffe, Dimensionierung, Anwendungen; (2012) S. 191-269Online E-BookZugriff:
-
In: TCP 2006 : Proceedings of the 4th International Conference on Trapped Charged Particles and Fundamental Physics (TCP 2006) held in Parksville, Canada, 3–8 September, 2006; (2007) S. 71-80Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff: