Suchergebnisse
Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- interoperability 7 Treffer
- home agent 6 Treffer
- local search 6 Treffer
- tabu search 6 Treffer
- verification 6 Treffer
-
45 weitere Werte:
- genetic algorithm 5 Treffer
- label transition system 5 Treffer
- logic program 5 Treffer
- mutation operator 5 Treffer
- temporal logic 5 Treffer
- exception handling 4 Treffer
- parallel composition 4 Treffer
- enterprise integration 3 Treffer
- evolutionary algorithm 3 Treffer
- execution sequence 3 Treffer
- finite state machine 3 Treffer
- horn clause 3 Treffer
- logic programming 3 Treffer
- model check 3 Treffer
- multiagent system 3 Treffer
- nicotinic acetylcholine receptor 3 Treffer
- normal form 3 Treffer
- posters 3 Treffer
- process algebra 3 Treffer
- propositional variable 3 Treffer
- state graph 3 Treffer
- transition system 3 Treffer
- acceptance tree 2 Treffer
- access control model 2 Treffer
- atomic proposition 2 Treffer
- belief base 2 Treffer
- bleeding site 2 Treffer
- boolean expression 2 Treffer
- building process 2 Treffer
- business process 2 Treffer
- choquet integral 2 Treffer
- collaborative process 2 Treffer
- combinatorial optimization 2 Treffer
- complex object 2 Treffer
- component assembly 2 Treffer
- composite object 2 Treffer
- computation sequence 2 Treffer
- congruence class 2 Treffer
- congruence relation 2 Treffer
- constraint satisfaction problem 2 Treffer
- constraint solving 2 Treffer
- crossover operator 2 Treffer
- decision procedure 2 Treffer
- deductive system 2 Treffer
- distributed-memory 2 Treffer
Publikation
- artificial evolution : 4th european conference, ae'99, dunkerque, france, november 3-5, 1999. selected papers 21 Treffer
- morphologische bildverarbeitung : grundlagen, methoden, anwendungen 11 Treffer
- enterprise engineering and integration : building international consensus proceedings of iceimt '97, international conference on enterprise integration and modeling technology, torino, italy, october 28-30, 1997 6 Treffer
- computer aided verification : 3rd international workshop, cav '91 aalborg, denmark, july 1-4, 1991 proceedings 3 Treffer
- enterprise interoperability : 6th international ifip working conference, iwei 2015, nimes, france, may 28-29, 2015, proceedings 3 Treffer
-
45 weitere Werte:
- advances in production management systems. innovative and knowledge-based production management in a global-local world : ifip wg 5.7 international conference, apms 2014, ajaccio, france, september 20-24, 2014, proceedings, part i 2 Treffer
- automatic verification methods for finite state systems : international workshop, grenoble, france june 12-14, 1989 proceedings 2 Treffer
- computer-aided verification : 2nd international conference, cav '90 new brunswick, nj, usa, june 18-21, 1990 proceedings 2 Treffer
- leveraging knowledge for innovation in collaborative networks : 10th ifip wg 5.5 working conference on virtual enterprises, pro-ve 2009, thessaloniki, greece, october 7-9, 2009. proceedings 2 Treffer
- software engineering for multi-agent systems ii : research issues and practical applications 2 Treffer
- stacs 93 : 10th annual symposium on theoretical ascpects of computer science wurzburg, germany, february 25-27, 1993 proceedings 2 Treffer
- the nicotinic acetylcholine receptor : current views and future trends 2 Treffer
- adaptive hypermedia and adaptive web-based systems : third international conference, ah 2004, eindhoven, the netherlands, august 23-26, 2004. proceedings 1 Treffer
- advanced concepts for intelligent vision systems : 12th international conference, acivs 2010, sydney, australia, december 13-16, 2010, proceedings, part i 1 Treffer
- advanced concepts for intelligent vision systems : 13th international conference, acivs 2011, ghent, belgium, august 22-25, 2011. proceedings 1 Treffer
- advanced information systems engineering : 9th international conference, caise'97 barcelona, catalonia, spain, june 16-20, 1997 proceedings 1 Treffer
- advanced methods in material forming 1 Treffer
- advanced topics in exception handling techniques 1 Treffer
- advances in computational intelligence : 14th international conference on information processing and management of uncertainty in knowledge-based systems, ipmu 2012, catania, italy, july 9-13, 2012, proceedings, part iv 1 Treffer
- advances in computing and information - icci '91 : international conference on computing and information ottawa, canada, may 27-29, 1991 proceedings 1 Treffer
- advances in data mining. medical applications, e-commerce, marketing, and theoretical aspects : 8th industrial conference, icdm 2008 leipzig, germany, july 16-18, 2008 proceedings 1 Treffer
- advances in knowledge discovery and management 1 Treffer
- advances in production management systems. new challenges, new approaches : ifip wg 5.7 international conference, apms 2009, bordeaux, france, september 21-23, 2009, revised selected papers 1 Treffer
- advances in the research of aquatic environment : volume 2 1 Treffer
- advances in turbulence xi : proceedings of the 11th euromech european turbulance conference, june 25-28, 2007 porto, portugal 1 Treffer
- agents and artificial intelligence : third international conference, icaart 2011, rome, italy, january, 28-30, 2011. revised selected papers 1 Treffer
- algebraic and logic programming : third international conference volterra, italy, september 2-4, 1992 proceedings 1 Treffer
- algebraic methodology and software technology : 4th international conference, amast '95 montreal, canada, july 3-7, 1995 proceedings 1 Treffer
- approaches to intelligence agents : second pacific rim internationalworkshop on multi-agents, prima'99 kyoto, japan, december 2-3, 1999 proceedings 1 Treffer
- artificial evolution : 5th international conference, evolution artificielle, ea 2001 le creusot, france, october 29-31, 2001 selected papers 1 Treffer
- artificial evolution : european conference, ae 95 brest, france, september 4-6, 1995 selected papers 1 Treffer
- artificial intelligence: methodology, systems, and applications : 11th international conference, aimsa 2004, varna, bulgaria, september 2-4, 2004. proceedings 1 Treffer
- automata, languages and programming : 14th international colloquium karlsruhe, federal republic of germany, july 13-17, 1987 proceedings 1 Treffer
- automata, languages and programming : 18th international colloquium madrid, spain, july 8-12, 1991 proceedings 1 Treffer
- clinical blood pool mr imaging 1 Treffer
- collaborative networks in the internet of services : 13th ifip wg 5.5 working conference on virtual enterprises, pro-ve 2012, bournemouth, uk, october 1-3, 2012. proceedings 1 Treffer
- collaborative systems for smart networked environments : 15th ifip wg 5.5 working conference on virtual enterprises, pro-ve 2014, amsterdam, the netherlands, october 6-8, 2014. proceedings 1 Treffer
- coloproctology 1 Treffer
- combinations of intelligent methods and applications : proceedings of the 3rd international workshop, cima 2012, montpellier, france, august 2012 1 Treffer
- complex systems design & management : proceedings of the second international conference on complex systems design & management csdm 2011 1 Treffer
- component-based software engineering : 10th international symposium, cbse 2007, medford, ma, usa, july 9-11, 2007. proceedings 1 Treffer
- computer aided systems theory - eurocast '95 : a selection of papers from the fifth international workshop on computer aided systems theory innsbruck, austria, may 22-25, 1995 proceedings 1 Treffer
- computer aided systems theory - eurocast'97 : a selection of papers from the 6th international workshop on computer aided systems theory las palmas de gran canaria, spain, february 24-28, 1997 proceedings 1 Treffer
- computer aided systems theory - eurocast'99 : a selection of papers from the 7th international workshop on computer aided systems theory, vienna, austria, september 29 - october 2, 1999 proceedings 1 Treffer
- computer aided verification : 6th international conference, cav '94 stanford, california, usa, june 21-23, 1994 proceedings 1 Treffer
- computer aided verification : fourth international workshop, cav '92 montreal, canada, june 29 - july 1, 1992 proceedings 1 Treffer
- computer security - esorics 2003 : 8th european symposium on research in computer security, gjovik, norway, october 13-15, 2003. proceedings 1 Treffer
- conceptual structures: standards and practices : 7th international conference on conceptual structures, iccs'99 blacksburg, va, usa, july 12-15, 1999 proceedings 1 Treffer
- concur '91 : 2nd international conference on concurrency theory amsterdam, the netherlands, august 26-29, 1991 proceedings 1 Treffer
- concur '94: concurrency theory : 5th international conference, uppsala, sweden, august 22-25, 1994, proceedings 1 Treffer
Sprache
Inhaltsanbieter
187 Treffer
-
In: Lexikon der Medizinischen Laboratoriumsdiagnostik; (2019) S. 311-311Online E-BookZugriff:
-
In: Peripheral Nerve Lesions : Nerve Surgery and Secondary Reconstructive Repair; (2004) S. 119-124Online E-BookZugriff:
-
In: Advances in the Research of Aquatic Environment : Volume 2; (2011) S. 193-200Online E-BookZugriff:
-
In: Coloproctology; (2008) S. 255-276Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
In: Vascular Embolotherapy : A Comprehensive Approach Volume 1 General Principles, Chest, Abdomen, and Great Vessels; (2006) S. 73-85Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
In: The Nicotinic Acetylcholine Receptor : Current Views and Future Trends; (1998) S. 85-108Online E-BookZugriff:
-
In: The Nicotinic Acetylcholine Receptor : Current Views and Future Trends; (1998) S. 11-30Online E-BookZugriff:
-
1997Online E-BookZugriff:
-
In: Schein's Common Sense Emergency Abdominal Surgery : An Unconventional Book for Trainees and Thinking Surgeons; (2009) S. 289-295Online E-BookZugriff:
-
In: Clinical Blood Pool MR Imaging; (2008) S. 147-156Online E-BookZugriff:
-
2004Online E-BookZugriff: