Štátna vedecká knižnica v Košiciach - Hlavná 10, 042 30 Košice, tel. +421918245888, e-mail: svkk@svkk.sk Skip to content Forgot Password
VuFind
  • 0 items (Full)
  • Sign up
  • Log Out
  • Institutional Login
  • Studyroom
    • Book studyroom
    • American Center
    • Serial studyroom
    • Germen Library
    • Studyroom Main Hall
    • Regional publication
    • Rare and old books
  • Digital collection
    • Books
    • Newspapers
    • E-book
    • Records
  • Language
    • Slovenčina
    • English
Advanced
  • Channels
  • Protocol Specification, Testing, and Verification, IV. Proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing, and Verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984.
Search for more channels:

Similar Items: Protocol Specification, Testing, and Verification, IV. Proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing, and Verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984.

Computer Logic, Testing and Verification.

Protocol specifikation and testing /

LED-Verification-Sensoren

The sigma protocol /

The Windsor protocol.

Kant's solution for verification in metaphysics /

Protocol : the complete handbook of diplomatic, official and social usage /

Protocol : the complete handbook of diplomatic, official & social usage /

Formal VLSI correctness verification : VLSI design methods. 2 /

Diety SPECIFIC™.

Technical specifications.

Specific and non-specific inhibition of normal and tumor growth /

Abridgments of Specifications : Patents for Inventions Group B. 7 Transport

Specific English. : (Grammatičekije trudnosti perevoda). /

Compression limiters specifications.

English for specific purposes /

The Kyoto protocol emission allocations. : Windfall surpluses for Russia and Ukraine. /

Critical care procedures and protocols : A nursing process approach. /

Complying with the Kyoto protocol requirements : capacity needs in Central and Eastern Europe /

On the decidability of cryptographic group protocols. : Bericht Nr. 0201. February 2002. /

Author: Yemini, Yechiam

Protocol Specification, Testing, and Verification, IV. Proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing, and Verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984.


Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • New Items

More opac

  • Historical fonds
  • Bibliography
  • Online name card catalog

Need Help?

  • Search Tips
  • FAQs