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 7 Treffer
- mobile robot 6 Treffer
- b 5 Treffer
- description logic 5 Treffer
- event type 5 Treffer
- force feedback 5 Treffer
- generalize substitution 5 Treffer
- model check 5 Treffer
- sex robots 5 Treffer
- z 5 Treffer
- adaptability 4 Treffer
- artificial intelligence 4 Treffer
- composite event 4 Treffer
- galactic plane 4 Treffer
- information space 4 Treffer
- label transition system 4 Treffer
- mobile computing 4 Treffer
- multimedia document 4 Treffer
- packet loss 4 Treffer
- query processing 4 Treffer
- refinement 4 Treffer
- smart card 4 Treffer
- software process 4 Treffer
- abstract system 3 Treffer
- augmented reality 3 Treffer
- awareness 3 Treffer
- b-method 3 Treffer
- change request 3 Treffer
- class diagram 3 Treffer
- column density 3 Treffer
- completion time 3 Treffer
- concurrent change 3 Treffer
- conjunctive query 3 Treffer
- csp 3 Treffer
- deployment process 3 Treffer
- generalise substitution 3 Treffer
- information retrieval 3 Treffer
- linear temporal logic 3 Treffer
- mobile agent 3 Treffer
- mobile host 3 Treffer
- motion vector 3 Treffer
- mpls 3 Treffer
- object management group 3 Treffer
- object orientation 3 Treffer
- object-z 3 Treffer
Verlag
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
- love and sex with robots : second international conference, lsr 2016, london, uk, december 19-20, 2016, revised selected papers 13 Treffer
- love and sex with robots : third international conference, lsr 2017, london, uk, december 19-20, 2017, revised selected papers 13 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
- intraoperative neurophysiological monitoring in hemifacial spasm : a practical guide 4 Treffer
- b 2007: formal specification and development in b : 7th international conference of b users, besancon, france, january 17-19, 2007. proceedings 3 Treffer
- comparative genetic toxicology : the second ukems collaborative study 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
- lectures notes on advanced structured materials 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
- smart and sustainable collaborative networks 4.0 : 22nd ifip wg 5.5 working conference on virtual enterprises, pro-ve 2021, saint-etienne, france, november 22-24, 2021, proceedings 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
- 8th international conference on advancements of medicine and health care through technology : proceedings of meditech 2022, october 20-22, 2022, cluj-napoca, romania 1 Treffer
- activation, metabolism and perfusion of the heart : simulation and experimental models 1 Treffer
- active networks : ifip tc6 6th international working conference, iwan 2004, lawrence, ks, usa, october 27-29, 2004. revised papers 1 Treffer
- active rules in database systems 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
- adbis, tpdl and eda 2020 common workshops and doctoral consortium : international workshops: doing, madeisd, skg, bbigap, simpda, aiminscience 2020 and doctoral consortium, lyon, france, august 25-27, 2020, 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 information retrieval : 45th european conference on information retrieval, ecir 2023, dublin, ireland, april 2-6, 2023, proceedings, part iii 1 Treffer
- advances in information retrieval : 46th european conference on information retrieval, ecir 2024, glasgow, uk, march 24-28, 2024, proceedings, part ii 1 Treffer
- advances in information retrieval : 46th european conference on information retrieval, ecir 2024, glasgow, uk, march 24-28, 2024, proceedings, part iii 1 Treffer
- advances in mechanical engineering and mechanics ii : selected papers from the 5th tunisian congress on mechanics, cotume 2021, march 22-24, 2021 1 Treffer
- advances in object-oriented information systems : oois 2002 workshops montpellier, france, september 2, 2002 proceedings 1 Treffer
- advances in signal processing and communication engineering : select proceedings of icaspace 2021 1 Treffer
Sprache
464 Treffer
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2017Online E-BookZugriff:
-
2017Online E-BookZugriff:
-
2017Online E-BookZugriff: