3441. Normal forms and stability of Hamiltonian systems

by Cabral, Hildeberto | Brandao Dias, Lucia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2023Availability: Items available for loan: DAU [Call number: 512.944 CAB] (1).
3442. Numerical methods for solving discrete event systems : with applications to queueing systems

by Grassmann, Winfried | Tavakoli, Javad.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2022Availability: Items available for loan: DAU [Call number: 003 GRA] (1).
3443. Paradigms of concurrency : observations, behaviours and systems - a Petri net view

by Janicki, Ryszard | Kleijn, Jetty | Koutny, Maciej | Mikulski, Lukasz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2022Availability: Items available for loan: DAU [Call number: 511.35 JAN] (1).
3444. Programming languages : principles and paradigms

by Gabbrielli, Maurizio | Martini, Simone.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2023Availability: Items available for loan: DAU [Call number: 005.13 GAB] (1).
3445. Real-time database systems : fundamentals, architectures and applications

by Alvarez, Pedro Mejia | Vazquez, Ricardo J. Zavaleta | Cisneros, Susana Ortega | Torres, Raul E.Gonzalez.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2024Availability: Items available for loan: DAU [Call number: 004.6 ALV] (1).
3446. Semiconductor advanced packaging

by Lau, John H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2021Availability: Items available for loan: DAU [Call number: 621.38152 LAU] (1).
3447. Bitcoin dilemma : weighing the economic and environmental costs and benefits

by Read, Colin L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2022Availability: No items available Checked out (1).
3448. The economics of Fintech

by Kaji, Sahoko | Fukuhara, Masahiro | Nakatsuma, Teruo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore : Springer, 2021Availability: Items available for loan: DAU [Call number: 332.1 KAJ] (1).
3449. Mathematics of errors

by Bouleau, Nicolas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2021Availability: Items available for loan: DAU [Call number: 511.43 BOU] (1).
3450. Understanding behaviour of distributed systems using mCRL2

by Atif, Muhammad | Groote, Jan Friso.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2023Availability: Items available for loan: DAU [Call number: 004.36 ATI] (1).
3451. Understanding logic locking

by Zamiri Azar, Kimia | Mardani Kamali, Hadi | Farahmandi, Farimah | Tehranipoor, Mark.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2024Availability: Items available for loan: DAU [Call number: 005.8 ZAM] (1).
3452. Vectors and functions of several variables

by Davvaz, Bijan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore : Springer, 2023Availability: Items available for loan: DAU [Call number: 519.3 DAV] (1).
3453. Micro relay technology for energy-efficient integrated circuits

by Kam, Hei | Chen, Fred.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York, Springer, 2015Availability: Items available for loan: DAU [Call number: 621.3815 KAM] (1).
3454. Mechatronic systems design : methods, models, concepts

by Janschek, Klaus.

Publisher: Heidelberg : Springer, 2012Availability: Items available for loan: DAU [Call number: 621 JAN] (1).
3455. Deep learning architectures : a mathematical approach

by Calin, Ovidiu.

Publisher: Switzerland : Springer, 2020Availability: Items available for loan: DAU [Call number: 006.31 CAL] (1).
3456. Introductory computer forensics : a hands-on practical approach

by Lin, Xiaodong.

Publisher: Cham : Springer, 2018Availability: Items available for loan: DAU [Call number: 364.168 LIN] (1).
3457. Mathematical problem factories : almost endless problem generation

by McEachern, Andrew | Ashlock, Daniel.

Publisher: Switzerland : Springer, 2022Availability: Items available for loan: DAU [Call number: 510.71 MCE] (1).
3458. Numerical approximation methods for elliptic boundary value problems : finite and boundary elements

by Steinbach, Olaf.

Publisher: New York : Springer, 2008Availability: No items available Checked out (1).
3459. Statistics and analysis of scientific data

by Bonamente, Massimiliano.

Edition: 2nd ed. Publisher: New York : Springer, 2017Availability: Items available for loan: DAU [Call number: 519.5 BON] (1).
3460. Algebra for Applications : Cryptography, Secret Sharing, Error-Correcting, Fingerprinting, Compression

by Arkadii Slinko.

Publisher: Springer 2020Availability: No items available

Powered by Koha