Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 14 Treffer
- informatique 14 Treffer
- applied sciences 12 Treffer
- exact sciences and technology 12 Treffer
- sciences appliquees 12 Treffer
-
45 weitere Werte:
- sciences exactes et technologie 12 Treffer
- computer science; control theory; systems 11 Treffer
- informatique; automatique theorique; systemes 11 Treffer
- logiciel 7 Treffer
- software 7 Treffer
- biological and medical sciences 4 Treffer
- generalites 4 Treffer
- genie logiciel 4 Treffer
- informatique theorique 4 Treffer
- program analysis 4 Treffer
- sciences biologiques et medicales 4 Treffer
- software engineering 4 Treffer
- systeme reparti 4 Treffer
- theoretical computing 4 Treffer
- desarrollo logicial 3 Treffer
- developpement logiciel 3 Treffer
- distributed system 3 Treffer
- fundamental and applied biological sciences. psychology 3 Treffer
- sciences biologiques fondamentales et appliquees. psychologie 3 Treffer
- sistema repartido 3 Treffer
- software development 3 Treffer
- software verification 3 Treffer
- algebraic specification 2 Treffer
- analisis combinatorio 2 Treffer
- analisis conductual 2 Treffer
- analyse combinatoire 2 Treffer
- analyse comportementale 2 Treffer
- behavioral analysis 2 Treffer
- benchexec 2 Treffer
- benchmarking 2 Treffer
- biologia molecular 2 Treffer
- biological computation 2 Treffer
- biologie moleculaire 2 Treffer
- calcul biologique 2 Treffer
- calcul reparti 2 Treffer
- calculo repartido 2 Treffer
- coalgebra 2 Treffer
- coalgebre 2 Treffer
- combinatorial analysis 2 Treffer
- competition 2 Treffer
- computer systems and distributed systems. user interface 2 Treffer
- computer theory 2 Treffer
- distributed computing 2 Treffer
- documentation 2 Treffer
- formal method 2 Treffer
Publikation
- computer aided verification - 32nd international conference, cav 2020, proceedings 2 Treffer
- fundamental approaches to software engineering- 23rd international conference, fase 2020, held as part of the european joint conferences on theory and practice of software, etaps 2020, proceedings 2 Treffer
- logic, rationality, and interaction - 7th international workshop, lori 2019, proceedings 2 Treffer
- tools and algorithms for the construction and analysis of systems- 26th international conference, tacas 2020, held as part of the european joint conferences on theory and practice of software, etaps 2020, proceedings, part i 2 Treffer
- tools and algorithms for the construction and analysis of systems- 26th international conference, tacas 2020, held as part of the european joint conferences on theory and practice of software, etaps 2020, proceedings, part ii 2 Treffer
-
21 weitere Werte:
- advances in xml information retrieval (dagstuhl castle, 6-8 december 2004, revised selected papers) 1 Treffer
- automata, languages and programming (turku, 12-16 july 2004) 1 Treffer
- automated technology for verification and analysis- 17th international symposium, avta 2019, proceedings 1 Treffer
- casl reference manual : the complete documentation of the common algebraic specification language 1 Treffer
- computational processing of the portuguese language - 14th international conference, propor 2020, proceedings 1 Treffer
- concur 2004 : concurrency theory (london, 31 august - 3 september 2004) 1 Treffer
- cp 2001 : principles and practice of constraint programming (paphos, 26 november - 1 december 2001) 1 Treffer
- cp'99 : principles and practice of constraint programming (alexandria va, 11-14 october 1999) 1 Treffer
- cpm 2000 : combinatorial pattern matching (montreal pq, 21-23 june 2000) 1 Treffer
- cpm 2001 : combinatorial pattern matching (jerusalem, 1-4 july 2001) 1 Treffer
- dais 2003 ; distributed applications and interoperable systems (paris, 17-21 november 2003) 1 Treffer
- domain adaptation and representation transfer and medical image learning with less labels and imperfect data first miccai workshop, dart 2019 and first international workshop, mil3id 2019 shenzhen, held in conjunction with miccai 2019 shenzhen, 2019 proceedings 1 Treffer
- fmco 2002 : formal methods for components and objects (leiden, 5-8 november 2002, revised lectures) 1 Treffer
- frontiers of combining systems (5th international workshop, frocos 2005, vienna, austria, september 19-21, 2005, proceedings) 1 Treffer
- ida 2001 : advances in intelligent data analysis (cascais, 13-15 september 2001) 1 Treffer
- interactive storytelling - 12th international conference on interactive digital storytelling, icids 2019, proceedings 1 Treffer
- on the move to meaningful internet systems 2005 (otm 2005 workshops, otm confederated international workshops and posters, awesome, cams, gada, mios+interop, orm, phds, sebgis, swws, and wose 2005) 1 Treffer
- on the move to meaningful internet systems: otm 2019 conferences - confederated international conferences: coopis, odbase, c and tc 2019, rhodes, greece, october 21-25, 2019, proceedings 1 Treffer
- persuasive technology. designing for future change - 15th international conference on persuasive technology, persuasive 2020, proceedings 1 Treffer
- recent trends in algebraic development techniques (fruenchiemsee, 24-27 september 2002, revised selected papers) 1 Treffer
- web information systems engineering - wise 2019 - 20th international conference, proceedings 1 Treffer
Sprache
31 Treffer
-
In: Advances in XML information retrieval (Dagstuhl Castle, 6-8 December 2004, revised selected papers), 2005, S. 238-252KonferenzZugriff:
-
In: On the move to meaningful internet systems 2005 (OTM 2005 workshops, 2005, S. 215-224KonferenzZugriff:
-
In: Frontiers of combining systems (5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, S. 122-137KonferenzZugriff:
-
In: CONCUR 2004 : concurrency theory (London, 31 August - 3 September 2004), 2004, S. 258-275KonferenzZugriff:
-
In: Automata, languages and programming (Turku, 12-16 July 2004), 2004, S. 494-505KonferenzZugriff:
-
In: Recent trends in algebraic development techniques (Fruenchiemsee, 24-27 September 2002, revised selected papers), 2003, S. 393-408KonferenzZugriff:
-
In: FMCO 2002 : formal methods for components and objects (Leiden, 5-8 November 2002, revised lectures), 2003, S. 487-507KonferenzZugriff:
-
In: DAIS 2003 ; distributed applications and interoperable systems (Paris, 17-21 November 2003), 2003, S. 236-247KonferenzZugriff:
-
In: IDA 2001 : advances in intelligent data analysis (Cascais, 13-15 September 2001), 2001, S. 187-197KonferenzZugriff:
-
In: CPM 2001 : combinatorial pattern matching (Jerusalem, 1-4 July 2001), 2001, S. 257-271KonferenzZugriff:
-
In: CP 2001 : principles and practice of constraint programming (Paphos, 26 November - 1 December 2001), 2001, S. 494-508KonferenzZugriff:
-
In: CPM 2000 : combinatorial pattern matching (Montreal PQ, 21-23 June 2000), 2000, S. 277-292KonferenzZugriff:
-
In: CP'99 : principles and practice of constraint programming (Alexandria VA, 11-14 October 1999), 1999, S. 73-87KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: