Items where Subject is "Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type
Number of items: 8.

ISI Article

DateAuthor/TitleDocument Type
1986Kovács, László and Ercsényi, András
Specification versus Implementation Based on ESTELLE
ISI Article
1986-08Kovács, László and Ercsényi, András
Specification versus Implementation Based on ESTELLE
ISI Article

Article

DateAuthor/TitleDocument Type
1986Kornai, András
Logical types and linguistic types
Article

Book Section

DateAuthor/TitleDocument Type
1986Kornai, András
X-BAR GRAMMARS
Book Section

Conference or Workshop Item

DateAuthor/TitleDocument Type
1986Szentner, János and Kovács, László and Harangozó, József
Formal Description, Verification and Implementation of Local Area Computer Network Transport Protocol
Conference or Workshop Item
1986Kovács, László
PROTEST: An Environment for Testing and Debugging of Communication Protocols
Conference or Workshop Item
1986Kovács, László and Harangozó, József
Protocol Verification System Based on MODULA-2 Language
Conference or Workshop Item

Other

DateAuthor/TitleDocument Type
1986Kornai, András
SZÓTÁRI ADATBÁZIS AZ AKADÉMIAI NAGYSZÁMITÓGÉPEN
Other
This list was generated on Tue Mar 26 03:01:39 2019 CET.