Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- c.2.2 11 Treffer
- network protocols 9 Treffer
- d.2.1 6 Treffer
- d.2.5 6 Treffer
- c.2.4 5 Treffer
-
45 weitere Werte:
- formal languages 5 Treffer
- distributed systems 4 Treffer
- f.4.3. 4 Treffer
- protocol testing 4 Treffer
- c.2.1 3 Treffer
- d.2.2 3 Treffer
- d.2.4 3 Treffer
- fault coverage 3 Treffer
- program verification 3 Treffer
- requirements/specifications 3 Treffer
- tools and techniques 3 Treffer
- complexity theory 2 Treffer
- conformance testing 2 Treffer
- embedded test 2 Treffer
- f.4.3 2 Treffer
- intensive care 2 Treffer
- label transition system 2 Treffer
- network architecture and design 2 Treffer
- protocol specification 2 Treffer
- protocol verification 2 Treffer
- testing 2 Treffer
- work practices 2 Treffer
- abstract semantic 1 Treffer
- actor network theory 1 Treffer
- actor-network theory 1 Treffer
- adaptive system 1 Treffer
- adjoint problem 1 Treffer
- adsorption isotherm 1 Treffer
- advance encryption standard 1 Treffer
- antioxidant 1 Treffer
- atp synthase 1 Treffer
- automatic programming 1 Treffer
- aversive stimulus 1 Treffer
- behaviour expression 1 Treffer
- bidirectional reflectance distribution function 1 Treffer
- bioelectrical impedance 1 Treffer
- bioelectrical impedance analysis 1 Treffer
- blank serum 1 Treffer
- bovine adrenal cortex 1 Treffer
- bulk fluid 1 Treffer
- c.2.5 1 Treffer
- caffeic acid phenethyl ester 1 Treffer
- calcium 1 Treffer
- capillary electrophoresis 1 Treffer
- cell bioi 1 Treffer
Publikation
- protocol specification, testing and verification xiv 30 Treffer
- formal methods for protocol engineering and distributed systems : forte xii / pstv xix'99 ifip tc6 wg6.1 joint international conference on formal description techniques for distributed systems and communication protocols (forte xii) and protocol specification, testing and verification (pstv xix) october 5-8, 1999, beijing, china 2 Treffer
- infant crying : theoretical and research perspectives 2 Treffer
- ad-hoc networking : ifip 19th world computer congress, tc-6, ifip interactive conference on ad-hoc networking, august 20-25, 2006, santiago, chile 1 Treffer
- advanced software engineering: expanding the frontiers of software technology : ifip 19th world computer congress, first international workshop on advanced software engineering, august 25, 2006, santiago, chile 1 Treffer
-
35 weitere Werte:
- advances in modeling agricultural systems 1 Treffer
- air pollution modeling and its application xiii 1 Treffer
- air pollution modeling and its application xiv 1 Treffer
- air pollution modeling and its application xvi 1 Treffer
- basic protocols in foods and nutrition 1 Treffer
- bioenergetics of the cell: quantitative aspects 1 Treffer
- cell biology of extracellular matrix : second edition 1 Treffer
- continuous optimization : current trends and modern applications 1 Treffer
- formal description techniques and protocol specification, testing and verification : forte x / pstv xvii '97 1 Treffer
- fundamentals of adsorption : proceedings of the fifth international conference on fundamentals of adsorption 1 Treffer
- guide to fitness after fifty 1 Treffer
- handbook of mental health services for children, adolescents, and families 1 Treffer
- human body composition : in vivo methods, models, and assessment 1 Treffer
- information technology in the service economy: challenges and possibilities for the 21st century : ifip tc8 wg8.2 international working conference august 10-13, 2008, toronto, ontario, canada 1 Treffer
- membrane receptors, dynamics, and energetics 1 Treffer
- molecular modeling and prediction of bioactivity 1 Treffer
- molecular, cellular, and clinical aspects of angiogenesis 1 Treffer
- neurobiology : ionic channels, neurons and the brain 1 Treffer
- nuclear structure and function 1 Treffer
- optical sensors and microsystems : new concepts, materials, technologies 1 Treffer
- organizational dynamics of technology-based innovation: diversifying the research agenda : ifip tc 8 wg 8.6 international working conference, june 14-16, manchester, uk 1 Treffer
- recommender systems handbook 1 Treffer
- review of progress in quantitative nondestructive evaluation 1 Treffer
- review of progress in quantitative nondestructive evaluation : volume 14 1 Treffer
- review of progress in quantitative nondestructive evaluation : volume 18a-18b 1 Treffer
- sample preparation for biomedical and environmental analysis 1 Treffer
- science of hard materials 1 Treffer
- signal transduction by g protein-coupled receptors : bioenergetics and g protein activation: proton transfer and gtp synthesis to explain the experimental findings 1 Treffer
- streptococci and the host 1 Treffer
- surface phenomena and additives in water-based coatings and printing technology 1 Treffer
- testing of communicating systems : ifip tc6 10th international workshop on testing of communicating systems, 8-10 september 1997, cheju island, korea 1 Treffer
- testing of communicating systems : ifip tc6 9th international workshop on testing of communicating systems darmstadt, germany 9-11 september 1996 1 Treffer
- testing of communicating systems : methods and applications 1 Treffer
- testing of communicating systems : proceedings of the ifip tc6 11th international workshop on testing of communicating systems (iwtcs'98) august 31-september 2, 1998, tomsk, russia 1 Treffer
- the information society: emerging landscapes : ifip international conference on landscapes of ict and social accountability, turku, finland, june 27-29, 2005 1 Treffer
Sprache
Inhaltsanbieter
71 Treffer
-
In: Basic Protocols in Foods and Nutrition; (2022) S. 187-194Online E-BookZugriff:
-
In: Recommender Systems Handbook; (2011) S. 387-415Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
In: Protocol Specification, Testing and Verification XIV; (1995) S. 237-251Online E-BookZugriff:
-
In: Handbook of Mental Health Services for Children, Adolescents, and Families; (2005) S. 259-275Online E-BookZugriff:
-
1999Online E-BookZugriff:
-
1999Online E-BookZugriff:
-
1999Online E-BookZugriff:
-
1998Online E-BookZugriff:
-
In: Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII ’97; (1997) S. 299-314Online E-BookZugriff:
-
In: Testing of Communicating Systems : IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea; (1997) S. 200-219Online E-BookZugriff:
-
In: Testing of Communicating Systems : IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996; (1996) S. 156-171Online E-BookZugriff: