It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 29, 2008 | History
Edit

Teruo Higashino

We need a photo of Teruo Higashino

7 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Formal Description Techniques and Protocol Specification,

    First published in 1997 — 4 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

    First published in 2007 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

    First published in 2005 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6. 1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

    First published in 2008 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6. 1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings

    First published in 2008 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Protocol Test Systems VII

    First published in 1995 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

    First published in 2007 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Teruo Higashino

Subjects

Computer science, Computer network protocols, Computer networks, Computer software, Congresses, Distributed processing, Electronic data processing, Software engineering, Algorithm Analysis and Problem Complexity, Computer Communication Networks, Computer algorithms, Computer security, Data protection, Distributed operating systems (Computers), Electronic data processing, distributed processing, Formal languages, Information Systems Applications (incl. Internet), Logic design, Logics and Meanings of Programs, Operating systems (Computers), Operating systems (computers), Systems and Data Security, Telecommunication systems

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL2692998A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 29, 2008 Created by an anonymous user initial import