Limit Search Results
Author
SpringerLink (Online service)
(18)
Bolch, Gunter, author.
(2)
Ching, Wai-Ki. author.
(2)
Ng, Michael K. author.
(2)
Yin, G. George. author.
(2)
Language
Publication Date
-
Subject
Markov processes.
(13)
Distribution (Probability theory).
(10)
Mathematics.
(7)
Probability Theory and Stochastic Processes.
(5)
Electronic books.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
41 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Discrete-Time Markov Chains Two-Time-Scale Methods and Applications
Discrete-Time Markov Chains Two-Time-Scale Methods and Applications
Author 
Yin, G. George. author. Zhang, Qing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138226
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Markov zincirleri ve Markov takım zincirlerinin orman sıralı değişimlerinde uygulanması = Markov chains and Markov set-chains in forest succession: an application
Markov zincirleri ve Markov takım zincirlerinin orman sıralı değişimlerinde uygulanması = Markov chains and Markov set-chains in forest succession: an application
Author 
Akıncı, Mehmet Mutlu.
Preferred Shelf Number 
TEZ/5993 A52 2003
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
27. 
Cover image for Markov chains : Gibbs fields, Monte Carlo simulation, and queues
Markov chains : Gibbs fields, Monte Carlo simulation, and queues
Author 
Brâemaud, Pierre.
Preferred Shelf Number 
QA274.7 .B74 1999
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
28. 
Cover image for Markov chains and Monte Carlo calculations in polymer science
Markov chains and Monte Carlo calculations in polymer science
Author 
Lowry, George G., ed.
Preferred Shelf Number 
QD 381 M38 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
29. 
Cover image for Information Systems and Design Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers
Information Systems and Design Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers
Author 
Taratukhin, Victor. editor. Levchenko, Artem. editor. Kupriyanov, Yury. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520348.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32092-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520842.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Author 
Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521142.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43835-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Author 
Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521157.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43240-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Author 
Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518823.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18579-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(519161.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519007.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets