Lie groups, Lie algebras, and representations [electronic resource] : an elementary introduction Q Science
Hardware Description Languages and their Applications [electronic resource] : Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain Q Science
Intelligent information agents [electronic resource] : agent-based information discovery and management on the Internet Q Science
Mathematisches Woerterbuch : oder Erklärung der Begriffe, Lehrsätze, Aufgaben und Methoden der Mathematik mit den nöthigen Beweisen und literarischen Nachrichten Q Science
Die Formen des indirecten Beweises mit besonderer Rücksicht auf ihre Anwendung in der Mathematik Q Science
