Arkiver - Side 5
-
PB-494 Type-Directed Partial Evaluation
Nr. 494 (1995) -
PB-498 Annotated Type Systems for Program Analysis
Nr. 498 (1995) -
PB-495 Electronic Payments of Small Amounts
Nr. 495 (1995) -
PB-492 Termination analysis based on operational semantics
Nr. 492 (1995) -
PB-488 Scenarios as springboards in design of CSCW
Nr. 488 (1994) -
PB-489 A conceptual toolbox for designing CSCW applications
Nr. 489 (1994) -
PB-485 Block Ciphers: Analysis, Design and Applications
Nr. 485 (1994) -
PB-482 The Cocktail Party Listener
Nr. 482 (1994) -
PB-484 Patterns, Graphs, and DNA
Nr. 484 (1994) -
PB-481 Group Signatures: Unconditional Security for Members
Nr. 481 (1994) -
PB-477 Witness Hiding Proofs and Applications
Nr. 477 (1994) -
PB-475 What's Connectionism got to do with IT?!
Nr. 475 (1994)