E-Books - Systems analysis & design

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Price for Eshop: 2239 Kč (€ 89.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Computational Sciences - Modelling, Computing and Soft Computing

First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Nature Singapore

Availability: E-book delivered electronically online

IP Routing Protocols

Link-State and Path-Vector Routing Protocols

Price for Eshop: 2252 Kč (€ 90.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

IP Routing Protocols

Fundamentals and Distance-Vector Routing Protocols

Price for Eshop: 2252 Kč (€ 90.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

IP Routing Protocols

Link-State and Path-Vector Routing Protocols

Price for Eshop: 2252 Kč (€ 90.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

IP Routing Protocols

Fundamentals and Distance-Vector Routing Protocols

Price for Eshop: 2252 Kč (€ 90.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Asymptotic Multiple Scale Method in Time Domain

Multi-Degree-of-Freedom Stationary and Nonstationary Dynamics

Price for Eshop: 1501 Kč (€ 60.0)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Asymptotic Multiple Scale Method in Time Domain

Multi-Degree-of-Freedom Stationary and Nonstationary Dynamics

Price for Eshop: 1501 Kč (€ 60.0)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Communication Architectures for Systems-on-Chip

Price for Eshop: 2187 Kč (€ 87.5)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online