東華大學圖書館 |

1.

Protocol specification, testing, and...

~

Danthine, A.

Linked to FindBook

Google Book

Amazon

博客來

Protocol specification, testing, and verification, XIII : = proceedings of the IFIP TC6 WG 6.1, thirteenth International Symposium on Protocol Specification, Testing, and Verification, Liege, Belgium, 25-28 May, 1993 /
by: Danthine, A.; Leduc, G.; Wolper, P.; IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification ((13th :)
Language materials, printed : Monograph/item
Publisher: North-Holland,
Place of Publication: London :
Year of Publication: 1993
ISBN: 0444816488
Availability: 1 Copie(s) available | 1 Copie(s) available for loan
based on 0 review(s)

2.

1994 International Conference on Net...

~

IEEE Computer Society., TC on Distributed Processing.

Linked to FindBook

Google Book

Amazon

博客來

1994 International Conference on Network Protocols, October 25-28, 1994, Boston, Massachusetts : = proceedings /
by: IEEE Computer Society., TC on Distributed Processing.; International Conference on Network Protocols ((1994 :)
Language materials, printed : Monograph/item
Publisher: IEEE Computer Society Press,
Place of Publication: Los Alamitos, Calif. :
Year of Publication: 1994
ISBN: 0818666854; 0818666862
Availability: 1 Copie(s) available | 1 Copie(s) available for loan
based on 0 review(s)

3.

1993 International Conference on Net...

~

IEEE Computer Society., TC on Distributed Processing.

Linked to FindBook

Google Book

Amazon

博客來

1993 International Conference on Network Protocols, San Francisco, California, October 19-22, 1993 : = proceedings /
by: IEEE Computer Society., TC on Distributed Processing.; International Conference on Network Protocols ((1993 :)
Language materials, printed : Monograph/item
Publisher: IEEE Computer Society Press,
Place of Publication: Los Alamitos, Calif. :
Year of Publication: 1993
ISBN: 081863670X; 0818636718
Availability: 1 Copie(s) available | 1 Copie(s) available for loan
based on 0 review(s)

4.

Protocols for high speed networks = ...

~

Carle, Georg.

Linked to FindBook

Google Book

Amazon

博客來

Protocols for high speed networks = 7th IFIP/IEEE international workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002 : proceedings /
by: Carle, Georg.; Zitterbart, Martina.; SpringerLink (Online service); PfHSN 2002 ((2002 :)
Language materials, printed : Monograph/item
Publisher: Springer-Verlag,
Place of Publication: New York :
Year of Publication: 2002
ISBN: 9783540436584
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

5.

Protocols for multimedia systems = 6...

~

Nieuwenhuis, Lambert J. M.

Linked to FindBook

Google Book

Amazon

博客來

Protocols for multimedia systems = 6th international conference, PROMS 2001, Enschede, the Netherlands, October17-19, 2001 : proceedings /
by: Nieuwenhuis, Lambert J. M.; Sinderen, Marten J. van.; SpringerLink (Online service); PROMS 2001 ((2001 :)
Language materials, printed : Monograph/item
Publisher: Springer,
Place of Publication: New York :
Year of Publication: 2001
ISBN: 9783540427087
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

6.

Introduction to network security /

~

Krawetz, Neal.

Linked to FindBook

Google Book

Amazon

博客來

Introduction to network security /
by: Krawetz, Neal.
Language materials, printed : Monograph/item
Publisher: Charles River Media,
Place of Publication: Boston, Mass. :
Year of Publication: 2007
ISBN: 1584504641; 9781584504641
Availability: 1 Copie(s) available | 1 Copie(s) available for loan
based on 0 review(s)

7.

Computer networks : = principles, te...

~

Olifer, Victor.

Linked to FindBook

Google Book

Amazon

博客來

Computer networks : = principles, technologies, and protocols for network design /
by: Olifer, Victor.; Olifer, Natalia.
Language materials, printed : Monograph/item
Language: 英文
Publisher: John Wiley & Sons,
Place of Publication: Hoboken, NJ :
Year of Publication: 2006
ISBN: 0470869828; 9780470869826
Availability: 1 Copie(s) available | 1 Copie(s) available for loan
based on 0 review(s)

8.

Hands-on networking fundamentals /

~

Palmer, Michael J., (1948-)

Linked to FindBook

Google Book

Amazon

博客來

Hands-on networking fundamentals /
by: Palmer, Michael J., (1948-)
Language materials, printed : Monograph/item
Publisher: Course Technology/Cengage Learning,
Place of Publication: Boston, MA :
Year of Publication: 2013
ISBN: 1111306745; 1111545685; 9781111306748; 9781111545680
Availability: 1 Copie(s) available | 1 Copie(s) available for loan
based on 0 review(s)

9.

Formal techniques for networked and ...

~

Wang, Farn.

Linked to FindBook

Google Book

Amazon

博客來

Formal techniques for networked and distributed systems--FORTE 2005 : = 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /
by: Wang, Farn.; IFIP Working Group 6.1.; FORTE 2005 ((2005 :)
Language materials, printed : Monograph/item
Publisher: Springer,
Place of Publication: New York :
Year of Publication: 2005
ISBN: 354029189X; 9783540291893
Availability: 1 Copie(s) available | 1 Copie(s) available for loan
based on 0 review(s)

10.

Formal techniques for networked and ...

~

Heiner, Monika, (1954-)

Linked to FindBook

Google Book

Amazon

博客來

Formal techniques for networked and distributed systems, FORTE 2003 = 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
by: Heiner, Monika, (1954-); Konig, Hartmut, (Prof. Dr.-Ing. habil.); Wolisz, Adam.; SpringerLink (Online service); FORTE 2003 ((2003 :)
Language materials, printed : Monograph/item
Publisher: Springer,
Place of Publication: New York :
Year of Publication: 2003
ISBN: 9783540201755
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

11.

Applying formal methods = testing, p...

~

Nunez, Manuel, (Profesor.)

Linked to FindBook

Google Book

Amazon

博客來

Applying formal methods = testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
by: Nunez, Manuel, (Profesor.); SpringerLink (Online service); FormEMC (Workshop) (2004 :); EPEW (Workshop) (2004 :); ITM (Conference) (2004 :)
Language materials, printed : Monograph/item
Publisher: Springer,
Place of Publication: New York :
Year of Publication: 2004
ISBN: 9783540231691
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

12.

Formal techniques for networked and ...

~

Frutos-Escrig, David de.

Linked to FindBook

Google Book

Amazon

博客來

Formal techniques for networked and distributed systems - FORTE 2004 = 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /
by: Frutos-Escrig, David de.; Nunez, Manuel, (Profesor.); SpringerLink (Online service); FORTE 2004 ((2004 :)
Language materials, printed : Monograph/item
Publisher: Springer,
Place of Publication: New York :
Year of Publication: 2004
ISBN: 9783540232520
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

13.

Formal techniques for networked and ...

~

Kim, Myungchul.

Linked to FindBook

Google Book

Amazon

博客來

Formal techniques for networked and distributed systems = FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea/
by: Kim, Myungchul.; SpringerLink (Online service); FORTE 2001 ((2001 :)
Language materials, printed : Monograph/item
Publisher: Kluwer Academic Publishers,
Place of Publication: Boston :
Year of Publication: 2002
ISBN: 9780792374701
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

14.

Formal techniques for networked and ...

~

Peled, Doron.

Linked to FindBook

Google Book

Amazon

博客來

Formal techniques for networked and distributed systems - FORTE 2002 = 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /
by: Peled, Doron.; Vardi, Moshe Y.; SpringerLink (Online service); FORTE 2002 ((2002 :)
Language materials, printed : Monograph/item
Publisher: Springer,
Place of Publication: New York :
Year of Publication: 2002
ISBN: 9783540001416
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

15.

Pervasive computing : = technology a...

~

Burkhardt, Jochen

Linked to FindBook

Google Book

Amazon

博客來

Pervasive computing : = technology and architecture of mobile Internet applications /
by: Burkhardt, Jochen
Language materials, printed : Monograph/item
Publisher: Addison-Wesley,
Place of Publication: Boston :
Year of Publication: 2002
ISBN: 0201722151
Availability: 1 Copie(s) available | 1 Copie(s) available for loan
based on 0 review(s)

16.

Formal techniques for distributed ob...

~

FORTE Conference (2023 :)

Linked to FindBook

Google Book

Amazon

博客來

Formal techniques for distributed objects, components, and systems = 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
by: FORTE Conference (2023 :); Huisman, Marieke.; Ravara, Antonio.; SpringerLink (Online service); International Federated Conferences on Distributed Computing Techniques (2023 :)
Electronic resources : Monograph/item
Language: 英文
Publisher: Springer Nature Switzerland :; Imprint: Springer,
Place of Publication: Cham :
Year of Publication: 2023
ISBN: 9783031353543; 9783031353550
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

17.

Linked to FindBook

Google Book

Amazon

博客來

Microsoft Windows 2000 server = TCP/IP core networking guide /
by: DelRe, Martin.; Microsoft Corporation.; NetLibrary, Inc.
Electronic resources : Monograph/item
Publisher: Microsoft Press,
Place of Publication: Redmond, Wash. :
Year of Publication: 2002
ISBN: 0585473374
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

18.

Linked to FindBook

Google Book

Amazon

博客來

Microsoft Windows 2000 server = internetworking guide /
by: DelRe, Martin.; Microsoft Corporation.; NetLibrary, Inc.
Electronic resources : Monograph/item
Publisher: Microsoft Press,
Place of Publication: Redmond, Wash. :
Year of Publication: 2002
ISBN: 0585473366
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

19.

Formal Techniques for Networked and ...

~

Wang, Farn.

Linked to FindBook

Google Book

Amazon

博客來

Formal Techniques for Networked and Distributed Systems - FORTE 2005 : = 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
by: Wang, Farn.; SpringerLink (Online service); FORTE 2005 ((2005 :)
Language materials, printed : Monograph/item
Publisher: Springer-Verlag GmbH.,
Place of Publication: Berlin Heidelberg :
Year of Publication: 2005
ISBN: 9783540291893; 9783540320845
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

20.

Formal techniques for networked and ...

~

Suzuki, Kenji, (Dr. Eng.)

Linked to FindBook

Google Book

Amazon

博客來

Formal techniques for networked and distributed systems--FORTE 2008 = 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /
by: Suzuki, Kenji, (Dr. Eng.); SpringerLink (Online service); FORTE 2008 ((2008 :)
Language materials, printed : Monograph/item
Publisher: Springer-Verlag Berlin Heidelberg,
Place of Publication: Berlin, Heidelberg :
Year of Publication: 2008
ISBN: 9783540688549; 9783540688556
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

Bibliographic level:
Material type:
Only with items