Results
|
|
21.
|
Formal techniques for distributed objects, components, and systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan. by Series: Lecture notes in computer science ; 9039. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
22.
|
Multiple access communications : 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings / Magnus Jonsson, Alexey Vinel, Boris Bellalta, Olav Tirkkonen (eds.). by Series: Lecture notes in computer science ; 9305. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
23.
|
Multiple Access Communications : 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings / edited by Tatiana K. Madsen, Jimmy J. Nielsen, Nuno K. Pratas. by Series: Lecture notes in computer science ; 10121, | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
24.
|
Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / Ahmed Bouajjani, Alexandra Silva (eds.). by Series: Lecture notes in computer science ; 10321. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
25.
|
Formal techniques for distributed objects, components, and systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings / edited by Christel Baier, Luís Caires. by Series: Lecture notes in computer science ; 10854. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2018
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
26.
|
|
|
|
27.
|
Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings / Jorge A. Pérez, Nobuko Yoshida (eds.). by Series: Lecture notes in computer science ; 11535. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2019]
Availability: Items available for loan: e-Library (1).
|
|
|
28.
|
|
|
|
29.
|
Formal techniques for distributed objects, components, and systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / Alexey Gotsman, Ana Sokolova (eds.). by Series: Lecture notes in computer science ; 12136. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
30.
|
Formal techniques for distributed objects, components, and systems : 41st IFIP WG 6.1 international conference, FORTE 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / Kirstin Peters, Tim A.C. Willemse (eds.). by Series: Lecture notes in computer science ; 12719. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2021]Copyright date: ©2021
Availability: Items available for loan: e-Library (1).
|
|
|
31.
|
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 / Marieke Huisman, António Ravara, editors. by Series: Lecture notes in computer science ; 13910.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2023]Copyright date: ©2023
Availability: Items available for loan: e-Library (1).
|
|
|
32.
|
|
|
|
33.
|
|
|
|
34.
|
Wireshark Essentials [electronic resource]. by
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Packt Publishing, 2014
Availability: Items available for loan: e-Library (1).
|
|
|
35.
|
|
|
|
36.
|
|
|
|
37.
|
|
|
|
38.
|
|
|
|
39.
|
|
|
|
40.
|
|