| About ALCom | News | People | Research | Publications | Tools | Student Info | Links |
National Taiwan University
NTU Library
NTU Graduate Institute of Electronic Engineering
NTU GIEE Electronic Design Automation
CAV Computer Aided Verification, International Conference
Concur Concurrency Theory, International Conference
DAC Design Automation Conference
DATE Design Automation and Test in Europe
FMCAD Formal Methods in Computer-Aided Design, International Conference
FOCS IEEE Symposium on Foundations of Computer Science
ICCAD International Conference on Computer-Aided Design
ICCD International Conference on Computer Design
IWLS International Workshop on Logic and Synthesis
LICS IEEE Symposium on Logic in Computer Science
POPL ACM Symposium on Principles of Programming Languages
SODA ACM-SIAM Symposium on Discrete Algorithms
STOC ACM Symposium on Theory of Computing
TACAS Tools and Algorithms for the Construction and Analysis of Systems, International Conference
ACM Transactions on Design Automation of Electronic Systems
Journal of ACM
Physical Review A
Physical Review Letters
Electronic Notes in Theoretical Computer Science
Information and Computation
Information Processing Letters
Journal of Computer and System Sciences
Theoretical Computer Science
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Transactions on Computers
IEEE Transactions on Very Large Scale Integration Systems
Proceedings of the IEEE
SIAM Journal on Computing
Formal Methods in System Design
Collection of Lecture Notes, Survey Papers, etc.
Computing Research Repository
ECCC Electronic Colloguium on Computational Complexity
Eric Weisstein's World of Mathematics
Online Books and Lecture Notes in Mathematics
The Electronic Library of Mathematic
Eric Weisstein's World of Physics
Math, Puzzles, Magic, Mazes, Illusions
Games
MacTutor History of Mathematics
Scientific American
Amazon
Cambridge University Press
Springer
Verification: Tom Henzinger at Berkeley and EPFL
Ken McMillan
Combinatorial Games: Eric Demaine
EDA Consortium
© 2007 Applied Logic and Computation Laboratory, GIEE, NTU. All rights reserved.