Zum Inhalt springen

Sutherland, Norman S. [VerfasserIn]; Davidmann, Simon [VerfasserIn]; Flake, Peter [VerfasserIn] ; Sutherland, Stuart [Sonstige Person, Familie und Körperschaft]; Moorby, Phil [Sonstige Person, Familie und Körperschaft]

SystemVerilog for design : a guide to using SystemVerilog for hardware design and modeling - [2nd ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY: Springer, 2006
Kleine Büning, Hans [VerfasserIn]; Lettmann, Theodor [VerfasserIn]

Propositional logic : deduction and algorithms

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge Univ. Press, 1999

Erschienen in: Cambridge tracts in theoretical computer science ; 48
Harris, Sarah L. [VerfasserIn]; Harris, David Money [VerfasserIn]

Digital design and computer architecture - [ARM® edition]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; Boston; Heidelberg: Elsevier, Morgan Kaufmann, [2016]
Pellerin, David [VerfasserIn]; Holley, Michael [VerfasserIn]

Digital design using ABEL

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Englewood Cliffs, N.J [u.a.]: PTR Prentice Hall, c1994
Mano, Moshe Morris [VerfasserIn]; Kime, Charles R. [VerfasserIn] ; Mano, M. Morris [Sonstige Person, Familie und Körperschaft]

Logic and computer design fundamentals - [2. ed., updated]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Upper Saddle River, NJ [u.a.]: Prentice Hall, 2001
Awschalom, David D. [HerausgeberIn]; Loss, Daniel [Sonstige Person, Familie und Körperschaft]; Samarth, Nitin [Sonstige Person, Familie und Körperschaft]

Semiconductor spintronics and quantum computation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2002

Erschienen in: Nanoscience and technology- Physics and astronomy online library
Haltof, Horst [VerfasserIn] ; Brauer, Volker [Sonstige Person, Familie und Körperschaft]

Einführung in die Informatik am Beispiel der Rechnertechnik

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Mannheim [u.a].: BI-Wissenschaftsverl., 1990

Erschienen in: BI-Hochschultaschenbücher ; 643
Friedman, Daniel P. [VerfasserIn]; Christiansen, David Thrane [VerfasserIn] ; Harper, Robert [VerfasserIn eines Vorworts]; McBride, Conor [VerfasserIn eines Nachworts]; Bibby, Duane [IllustratorIn]

The little typer

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, MA; London: The MIT Press, [2018]
Bradley, Aaron R. [VerfasserIn]; Manna, Zohar [VerfasserIn]

The calculus of computation : decision procedures with applications to verification

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007
Huth, Michael [VerfasserIn]; Ryan, Mark [VerfasserIn]

Logic in computer science : modelling and reasoning about systems - [1. publ.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge University Press, 2000
Eršov, Jurij Leonidovič [Sonstige Person, Familie und Körperschaft]; Gončarov, S. S. [Sonstige Person, Familie und Körperschaft]; Eršov, Jurij Leonidovič [BearbeiterIn]

Teorija vyčislimosti i jazyki specifikacij : sbornik naučnych trudov

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Novosibirsk: Inst. Matematiki SO AN SSSR, 1991

Erschienen in: Vyčislitel'nye sistemy ; 139
Schöning, Uwe [VerfasserIn]

Logic for computer scientists

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston; [Stuttgart] [u.a.]: Birkhäuser, 1989

Erschienen in: Progress in computer science and applied logic ; 8
Swartzlander, Earl E. [HerausgeberIn]

Computer arithmetic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Washington [u.a.]: IEEE Computer Society Pr., 19XX-

Erschienen in: IEEE Computer Society Press tutorial
Lloyd, John Wylie [Sonstige Person, Familie und Körperschaft]; Lloyd, John W. [HerausgeberIn] ; CL 1 2000 London

Computational logic : first international conference, London, UK, July 24 - 28, 2000 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000

Erschienen in: Lecture notes in computer science ; 1861
Vanderbauwhede, Wim [HerausgeberIn]; Benkrid, Khaled [HerausgeberIn]

High-performance computing using FPGAs - [Corrected at 2nd print.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY; Heidelberg [u.a.]: Springer, 2014

Erschienen in: Electrical engineering
Khatri, Sunil P. [HerausgeberIn]; Gulati, Kanupriya [HerausgeberIn]

Advanced techniques in logic synthesis, optimizations and applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Heidelberg: Springer, [2011]
Leite, João [HerausgeberIn] ; CLIMA 12 2011 Barcelona

Computational logic in multi-agent systems : 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6814
Berger, Ulrich [HerausgeberIn] ; Advanced Study Institute on Computational Logic 1997 Marktoberdorf

Computational logic : [proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1999

Erschienen in: NATO: NATO ASI series / F ; 165
Parr, Eric A. [VerfasserIn]

Programmable controllers : an engineer's guide - [2. ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford [u.a.]: Newnes, 1999
Korfhage, Robert R. [VerfasserIn]

Logic and algorithms : with applications to the computer and information sciences - [2. print]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York [u.a.]: Wiley, 1967

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr