bib.howest.be Zoekresultaten

U zocht naar: Auteur Krishna

« Vorige | 51 - 60 van 162 | Volgende »

51. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Auteur:: Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Uitgever:: Cham Springer 2025
Type:: e-book

52. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Auteur:: Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Uitgever:: Cham Springer 2025
Type:: e-book

53. Multi-disciplinary Trends in Artificial Intelligence

Auteur:: Romanna, Sheela; Lingras, Pawan; Sombattheera, Chattrakul; Krishna, Aneesh; Krishna, Aneesh; Lingras, Pawan; Sombattheera, Chattrakul
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

54. Service Systems Implementation

Auteur:: Haluk Demirkan, James C. Spohrer, Vikas Krishna; Demirkan, Haluk; Krishna, Vikas; Spohrer, James C.
Uitgever:: Springer US 2011
Type:: e-book

55. The Science of Service Systems

Auteur:: Haluk Demirkan, James C. Spohrer, Vikas Krishna; Demirkan, Haluk; Krishna, Vikas; Spohrer, James C.
Uitgever:: Springer US 2011
Type:: e-book

56. Dynamics of Soil and Modelling of Geotechnical Problems

Auteur:: C. N. V. Satyanarayana Reddy, A. Murali Krishna, Neelima Satyam; Krishna, A. Murali; Satyam, Neelima
Uitgever:: Springer 2022
Type:: e-book

57. Geospatial Techniques for Managing Environmental Resources

Auteur:: Thakur, Jay Krishna; Singh, Sudhir Kumar; Gossel, Wolfgang; Prasad, M. Bala Krishna; Ramanathan, A. L.
Uitgever:: Springer Netherlands 2011
Type:: e-book

58. Business analysis and valuation : text and cases

Auteur:: Bernard, Victor Lewis; Healy, Paul M.; Palepu, Krishna G.
Uitgever:: London : Thomson learning, 2007
Jaar:: 2007
Type:: boek

59. Advances in lightweight materials and structures : select proceedings of ICALMS 2020

Auteur:: Praveen Kumar; Dirgantara, Tatacipta; Krishna, P. Vamsi
Uitgever:: Springer Singapore 2020
Type:: e-book

60. Advances in Signal and Data Processing

Auteur:: S. N. Merchant; Adhikari, Debashis; Warhade, Krishna
Uitgever:: Springer Singapore 2021
Type:: e-book

« Vorige
Volgende »
1
2
3
4
5
6
7
8
9
10
…
16
17