• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING (1)
    • Abelson,H (1)
    • Abouzeid, P. (1)
    • Adams,N (1)
    • Alexander Kogan (1)
    • Bartley,D (1)
    • Brooks,G (1)
    • CALIFORNIA UNIV LOS ANGELES SCHOOL OF ENGINEERING AND APPLIED SCIENCE (1)
    • CSI, INPG, Grenoble (CSI) (1)
    • Clinger,W (1)
    •   more
  • 
    Year
  • 
    Medium:
    
    • Online (8)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 8 of 8 1 Transformations of Boolean Functions Dudek, Jeffrey M.; Fried, Dror. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. : LIPIcs - Leibniz International Proceedings in Informatics. 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), 2019 BASE Show details 2 Boolean Normal Forms, Shellability, And Reliability Computations Endre Boros; Yves Crama; Oya Ekin... In: http://rutcor.rutgers.edu/~boros/Papers/BCEHIK00-SIDMA.pdf (2000) BASE Show details 3 Global Optimization of Digital Circuits. Flandera, Richard In: DTIC AND NTIS (1991) BASE Show details 4 A channelless layout for multilevel synthesis with compiled cells Saucier, G.; Leveugle, Régis; Abouzeid, P. In: Proceedings.-1989-IEEE-International-Conference-on-Computer-Design:-VLSI-in-Computers-and-Processors-Cat.-No.89CH2794-6 ; https://hal.archives-ouvertes.fr/hal-00015347 ; Proceedings.-1989-IEEE-International-Conference-on-Computer-Design:-VLSI-in-Computers-and-Processors-Cat.-No.89CH2794-6, 1989, Cambridge, MA, United States. pp.35-8, ⟨10.1109/ICCD.1989.63323⟩ (1989) BASE Show details 5 The Revised Revised Report on Scheme or an Uncommon Lisp Abelson,H; Adams,N; Bartley,D... In: DTIC AND NTIS (1985) BASE Show details 6 Mechanical Intelligence: Research and Applications Sacerdoti, Earl D; Fikes, Richard E; Hendrix, Gary G... In: DTIC AND NTIS (1977) BASE Show details 7 A Boolean Matrix Method for the Computation of Linear Precedence Functions Martin,David F. In: DTIC AND NTIS (1972) BASE Show details 8 Lexicographic Orders, Utilities and Decision Rules: A Survey. Fishburn,Peter C. In: DTIC AND NTIS (1972) BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 8 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0