Formal Methods for Protocol Engineering and Distributed Systems

Forte XII / PSTV XIX’99

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Trends in Computer Aided Innovation

Second IFIP Working Conference on Computer Aided Innovation, October 8-9 2007, Michigan, USA

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Intelligent Information Processing II

IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21-23, 2004, Beijing, China

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Information Systems and Qualitative Research

Proceedings of the IFIP TC8 WG 8.2 International Conference on Information Systems and Qualitative Research, 31st May–3rd June 1997, Philadelphia, Pennsylvania, USA

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Intelligent Networks

Proceedings of the IFIP workshop on intelligent networks 1994

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Information Technology

Selected Tutorials

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Protocol Test Systems VIII

Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995

Produktform: E-Buch Text Elektronisches Buch in proprietärem

History of Computing in Education

IFIP 18th World Computer Congress, TC3 / TC9 1st Conference on the History of Computing in Education 22–27 August 2004 Toulouse, France

Produktform: E-Buch Text Elektronisches Buch in proprietärem

IT Innovation for Adaptability and Competitiveness

IFIP TC8/WG8.6 Seventh Working Conference on IT Innovation for Adaptability and Competitiveness May 30–June 2, 2004, Leixlip, Ireland

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Artificial Intelligence in Reactive Scheduling

Produktform: E-Buch Text Elektronisches Buch in proprietärem