Giriş Yapılıyor...
Kullanıcı adı
:
Şifre
:
Kayıt
Forgot your PIN?
Geç:
Arama Sonuçları
|
İçerik
|
Sayfa Sonu
|
Arama Filtreleri
Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
Not
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
38 sonuç bulundu
İşlemler:
Listelerime ekle
Eposta
Yazdır
Ayırt
Sırala:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
Tümünü Seç
1
2
3
4
00
DEFAULTTR
Liste seç
Geçici Liste
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
One or more items could not be added because you are not logged in.
1.
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
Yazar
D’Souza, Deepak. editor.
http://dx.doi.org/10.1007/978-3-662-46081-8
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
2.
Information Technologies and Mathematical Modelling - Queueing Theory and Applications 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings
Information Technologies and Mathematical Modelling - Queueing Theory and Applications 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings
Yazar
Dudin, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-25861-4
Format:
Electronic Resources
Alıntı:
Information Technologies and Mathematical Modelling - Queueing Theory and Applications 14th
Tümünü Seç
1
2
3
4
38 sonuç bulundu
İşlemler:
Listelerime ekle
Eposta
Yazdır
Ayırt
Sırala:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
Arama Sonuçlarını Sınırlandır
Daraltılmış:
Included
Format: Electronic Resources
Included
Basım Yılı: 2015
Included
Konu: Computer Communication Networks.
Included
Konu: Computer communication systems.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(38)
Faruque, Saleh. author.
(2)
Halldórsson, Magnús M. editor.
(2)
Hill, Richard. editor.
(2)
Iwama, Kazuo. editor.
(2)
Kobayashi, Naoki. editor.
(2)
Speckmann, Bettina. editor.
(2)
Trovati, Marcello. editor.
(2)
Zhu, Shao Ying. editor.
(2)
Anjum, Ashiq. editor.
(1)
Aragues, Rosario. author.
(1)
Aranha, Diego F. editor.
(1)
Bielova, Nataliia. editor.
(1)
Bose, Prosenjit. editor.
(1)
Butler, Michael. editor.
(1)
Caballero, Juan. editor.
(1)
Calinescu, Radu. editor.
(1)
Chen, Li M. author.
(1)
Chen, Liqun. editor.
(1)
Conchon, Sylvain. editor.
(1)
Croitoru, Madalina. editor.
(1)
Dehne, Frank. editor.
(1)
Denoeux, Thierry. editor.
(1)
Desmedt, Yvo. editor.
(1)
Destercke, Sébastien. editor.
(1)
Dimov, Ivan. editor.
(1)
Du, Ding-Zhu. editor.
(1)
Du, Dingzhu. editor.
(1)
Du, Donglei. editor.
(1)
Dudin, Alexander. editor.
(1)
D’Souza, Deepak. editor.
(1)
Efrat, Alon. editor.
(1)
Faragó, István. editor.
(1)
Fekete, Sándor P. editor.
(1)
Gaj, Piotr. editor.
(1)
Gao, Jie. editor.
(1)
Ghosh, Sujata. editor.
(1)
Gleich, David F. editor.
(1)
Gąsieniec, Leszek Antoni. editor.
(1)
Jiang, Bo. author.
(1)
Kari, Jarkko. editor.
(1)
Kim, Donghyun. editor.
(1)
Komjáthy, Júlia. editor.
(1)
Kosowski, Adrian. editor.
(1)
Koç, Çetin Kaya. editor.
(1)
Kwiecień, Andrzej. editor.
(1)
Lal, Akash. editor.
(1)
Larsen, Kim Guldstrand. editor.
(1)
Lauter, Kristin. editor.
(1)
Li, Wei. editor.
(1)
Litvak, Nelly. editor.
(1)
Liu, Lu. editor.
(1)
Lu, Zaixin. editor.
(1)
Mangard, Stefan. editor.
(1)
Marquis, Pierre. editor.
(1)
Matsuo, Shin'ichiro. editor.
(1)
Menezes, Alfred. editor.
(1)
Mesnager, Sihem. editor.
(1)
Mezouar, Youcef. author.
(1)
Nazarov, Anatoly. editor.
(1)
Piessens, Frank. editor.
(1)
Piterman, Nir. editor.
(1)
Poschmann, Axel Y. editor.
(1)
Rodríguez-Henríquez, Francisco. editor.
(1)
Rudolph, Sebastian. editor.
(1)
Rumpe, Bernhard. editor.
(1)
Römer, Kay. editor.
(1)
Sack, Jörg-Rüdiger. editor.
(1)
Sagues, Carlos. author.
(1)
Savaş, Erkay. editor.
(1)
Scheideler, Christian. editor.
(1)
Stapleton, Gem. editor.
(1)
Stege, Ulrike. editor.
(1)
Stera, Piotr. editor.
(1)
Su, Zhixun. author.
(1)
Suga, Yuji. editor.
(1)
Tanaka, Keisuke. editor.
(1)
Verbrugge, Rineke. editor.
(1)
Vulkov, Lubin. editor.
(1)
Walsh, Toby. editor.
(1)
Walukiewicz, Igor. editor.
(1)
Wattenhofer, Roger. editor.
(1)
Wu, Weili. editor.
(1)
Xiao, Nan. author.
(1)
Xie, Lihua. author.
(1)
Xu, Dachuan. editor.
(1)
Yakupov, Rafael. editor.
(1)
Yang, Yanjiang. editor.
(1)
You, Keyou. author.
(1)
Yung, Moti. editor.
(1)
Zaïdi, Fatiha. editor.
(1)
Zhang, Yanyong. editor.
(1)
Zhu, Liehuang. editor.
(1)
van Benthem, Johan. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(38)
Konu
Dahil
Hariç
Computer science.
(35)
Computer science -- Mathematics.
(22)
Algorithm Analysis and Problem Complexity.
(19)
Algorithms.
(19)
Discrete Mathematics in Computer Science.
(16)
Software engineering.
(10)
Artificial Intelligence (incl. Robotics).
(9)
Artificial intelligence.
(9)
Computers.
(9)
Information Systems Applications (incl. Internet).
(9)
Computer logic.
(8)
Data Encryption.
(8)
Data encryption (Computer science).
(8)
Logics and Meanings of Programs.
(8)
Mathematical Logic and Formal Languages.
(8)
Mathematical logic.
(8)
Computation by Abstract Devices.
(7)
Computer security.
(7)
Systems and Data Security.
(7)
Information storage and retrieval.
(5)
Mathematical statistics.
(5)
Probability and Statistics in Computer Science.
(5)
Programming Languages, Compilers, Interpreters.
(5)
Programming languages (Electronic computers).
(5)
Computer programming.
(4)
Programming Techniques.
(4)
Coding and Information Theory.
(3)
Coding theory.
(3)
Communications Engineering, Networks.
(3)
Computer simulation.
(3)
Data Structures.
(3)
Data structures (Computer science).
(3)
Electrical engineering.
(3)
Engineering.
(3)
Management information systems.
(3)
Management of Computing and Information Systems.
(3)
Math Applications in Computer Science.
(3)
Mathematics of Computing.
(3)
Simulation and Modeling.
(3)
Computer graphics.
(2)
Computer system failures.
(2)
Electronics and Microelectronics, Instrumentation.
(2)
Electronics.
(2)
Microelectronics.
(2)
Numeric Computing.
(2)
Numerical analysis.
(2)
Software Engineering/Programming and Operating Systems.
(2)
System Performance and Evaluation.
(2)
Automation.
(1)
Computers and Society.
(1)
Computers and civilization.
(1)
Control engineering.
(1)
Control.
(1)
Data Mining and Knowledge Discovery.
(1)
Data mining.
(1)
Image Processing and Computer Vision.
(1)
Image processing.
(1)
Information Systems and Communication Service.
(1)
Models and Principles.
(1)
Operating Systems.
(1)
Operating systems (Computers).
(1)
Probabilities.
(1)
Probability Theory and Stochastic Processes.
(1)
Robotics and Automation.
(1)
Robotics.
(1)
Symbolic and Algebraic Manipulation.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(38)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(38)
Kütüphane
Dahil
Hariç
TEDU library
(38)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Git:
Arama Sonuçları
|
Sayfa Başı
|
Arama Filtreleri