1999

Mark D. Aagaard and others (1999) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery

A. Agarwal and others (1999) · Institute of Electrical and Electronics Engineers (IEEE)

U.S. Air Force Scientific Advisory Board (1999) · U.S. Air Force Scientific Advisory Board

R. Alur and others (1999) · Elsevier BV

R. Alur and others (1999) · Peled Parametric Temporal Logic for “Model Measuring” ICALP’99

Rajeev Alur and others (1999) · Formal Methods in System Design · Springer Science+Business Media

Rajeev Alur (1999) · Lecture notes in computer science · Springer Science+Business Media

Arvind and others (1999) · Institute of Electrical and Electronics Engineers (IEEE)

Todd M. Austin (1999) · IEEE Comput. Soc

A. Avižienis (1999)

S. Basu and others (1999) · Electronics Letters · Institution of Engineering and Technology

Elissa P. Benedek and others (1999) · Ovid Technologies (Wolters Kluwer Health)

Saddek Bensalem and others (1999) · Springer Science and Business Media LLC

Stefan Berghofer and others (1999) · Springer Berlin Heidelberg

Armin Biere and others (1999) · ACM

Geoffrey C. Bowker and others (1999) · Inside Technology. MIT Press

Jürgen Brendel and others (1999) · Physical review letters

David M. Brooks and others (1999) · Proceedings - International Symposium on High-Performance Computer Architecture/Proceedings · Institute of Electrical and Electronics Engineers

B. Bruggeman (1999) · Interface '99 Symposium

A. T. Campbell and others (1999) · Association for Computing Machinery (ACM)

C. Carmichael and others (1999) · MAPLD Proceedings

João Carreira and others (1999) · IEEE Spectrum · Institute of Electrical and Electronics Engineers

Journal of Internet Cataloging (1999)

B. Chateau and others (1999) · Aeronatical Mobile Communications Panel

M. D. Ciletti (1999) · Prentice Hall

Edmund M. Clarke and others (1999) · MIT Press

M. Cornea-Hasegan (1999) · Intel Technology Journal, Q4

V. De and others (1999) · ACM Press

Jean Dunbar and others (1999) · Elsevier BV

Oded Goldreich (1999) · Springer Berlin Heidelberg

R. M. P. Goverde and others (1999) · Proceedings of the 8th World Conference on Transport Research (WCTR)

Erich Grädel and others (1999) · Archive for Mathematical Logic · Springer Science+Business Media

John Harrison (1999) · Lecture notes in computer science · Springer Science+Business Media

Mark E. Hartmann and others (1999) · Mathematics of Operations Research · Institute for Operations Research and the Management Sciences

P. Hasler and others (1999) · IEEE

Johan Håstad and others (1999) · Society for Industrial & Applied Mathematics (SIAM)

Juha Heinänen and others (1999)

Mark A. Heinrich and others (1999) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers

P. Hoeher and others (1999) · Vehicular Technology Conference

R. Hosabettu (1999)

Neil Immerman (1999) · Springer New York

Yoseph Imry and others (1999) · Reviews of Modern Physics · American Physical Society (APS)

Bart Jacobs (1999) · Elsevier BV

Carl Jeffrey (1999)

Gisela John and others (1999) · INCOSE International Symposium · Wiley

Jr., W. A. Hunt, and others (1999) · IEEE Micro

Merike Kaeo (1999) · Cisco Press

Christoph Kern and others (1999) · Association for Computing Machinery (ACM)

Dexter C. Kozen (1999) · Lecture notes in computer science · Springer Science+Business Media

D. Kröning and others (1999) · Proc. of the SCI’99/ISAS’99 International Conference

Yu‐Kwong Ricky Kwok and others (1999) · Journal of Parallel and Distributed Computing · Elsevier BV

Y.-K. Kwok and others (1999) · Association for Computing Machinery (ACM)

Cheng-Po Liang and others (1999) · IEEE Transactions on Microwave Theory and Techniques · IEEE Microwave Theory and Techniques Society

Thomas Lundqvist and others (1999) · Proceedings/Proceedings - Real-Time Systems Symposium · Institute of Electrical and Electronics Engineers

Rajit Manohar and others (1999) · IEEE Comput. Soc

Leo Marks (1999) · Free Press

João P. Marques-Silva and others (1999) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers

D. Meyer and others (1999) · RFC Editor

M. Michael and others (1999) · Institute of Electrical and Electronics Engineers (IEEE)

Franklin B. Miles (1999) · Defense Technical Information Center

Robin Milner (1999) · Cambridge university press

Pieter J. Mosterman (1999) · Lecture notes in computer science · Springer Science+Business Media

S. M. Mueller and others (1999) · 15th GI/ITG Conference ’Architektur von Rechensystemen’ ARCS’99 · VDE Verlag

G.C. Murphy and others (1999) · Institute of Electrical and Electronics Engineers (IEEE)

M. Nicolaidis (1999) · IEEE Comput. Soc

S. Owre and others (1999) · Computer Science Laboratory, SRI International, Menlo Park, CA, September

S. Owre and others (1999) · Computer Science Laboratory, SRI International, Menlo Park, CA, September

Lawrence Page and others (1999) · The Web Conference

William Pugh (1999)

David M. Russinoff (1999) · Formal Methods in System Design · Springer Science+Business Media

J. Sawada (1999)

K. Schneider and others (1999) · Springer Berlin Heidelberg

Bruce Schneier and others (1999) · USENIX Workshop on Smartcard Technology

N. Shankar and others (1999) · Computer Science Laboratory, SRI International, Menlo Park, CA, September

Jonathan S. Shapiro and others (1999) · ACM

J. R. Smith and others (1999) · Proceedings of the Automatic Identification Advanced Technologies AutoID'99

P. Srisuresh and others (1999)

D. Talby and others (1999) · IEEE International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing (IPPS/SPDP)

Stavros Tripakis and others (1999) · Lecture notes in computer science · Springer Science+Business Media

D. Wallner and others (1999)

C. Winship and others (1999) · Annual Reviews

Yuan Yu and others (1999) · Lecture notes in computer science · Springer Science+Business Media

J. A. Zachman (1999) · IBM