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
87 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
..
4
5
6
7
8
000
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.
85.
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Yazar
Schmidt, Renate A. editor.
https://doi.org/10.1007/978-3-319-66902-1
Format:
Electronic Resources
86.
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Yazar
Gibson-Robinson, Thomas. editor.
https://doi.org/10.1007/978-3-319-51046-0
Format:
Electronic Resources
87.
Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Yazar
Devitt, Simon. editor.
http://dx.doi.org/10.1007/978-3-319-40578-0
Format:
Electronic Resources
Tümünü Seç
1
..
4
5
6
7
8
87 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
Konu: Logic design.
Included
Konu: Programming Languages, Compilers, Interpreters.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(87)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(3)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428
(2)
Legay, Axel. editor.
(2)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(2)
Margaria, Tiziana. editor.
(2)
Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
(2)
Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443
(2)
Shalf, John. editor.
(2)
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
(2)
Zhang, Zili. editor.
(2)
de Supinski, Bronis R. editor.
(2)
Abate, Alessandro. editor.
(1)
Alam, Sadaf. editor.
(1)
Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
(1)
Alkhalaf, Muath. author.
(1)
An, Bo. editor. (orcid)0000-0002-7064-7438
(1)
Artemov, Sergei. editor.
(1)
Artho, Cyrille. editor.
(1)
Avigad, Jeremy. editor.
(1)
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
(1)
Aydin, Abdulbaki. author.
(1)
Bader, Markus. editor.
(1)
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
(1)
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
(1)
Basili, Roberto. editor.
(1)
Bazzan, Ana. editor. (orcid)0000-0002-2803-9607
(1)
Bellodi, Elena. editor. (orcid)0000-0002-3717-3779
(1)
Benzmüller, Christoph. editor.
(1)
Bertels, Koen. editor. (orcid)0000-0001-9310-4885
(1)
Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701
(1)
Black, Elizabeth. editor. (orcid)0000-0002-4295-449X
(1)
Blieberger, Johann. editor.
(1)
Boehme, David. editor.
(1)
Bouajjani, Ahmed. editor.
(1)
Bultan, Tevfik. author.
(1)
Butler, Michael. editor.
(1)
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
(1)
Cavalcanti, Ana. editor.
(1)
Cavalli, Ana Rosa. editor. (orcid)0000-0003-4480-5030
(1)
Chapman, Barbara M. editor.
(1)
Ciucci, Davide. editor. (orcid)0000-0002-8083-7809
(1)
Colombo, Christian. editor.
(1)
Csöndes, Tibor. editor.
(1)
Cunha, Jácome. editor. (orcid)0000-0002-4713-3834
(1)
Dastani, Mehdi. editor.
(1)
Davies, Misty. editor.
(1)
Desharnais, Jules. editor. (orcid)0000-0002-4780-2698
(1)
Devitt, Simon. editor.
(1)
Dillig, Isil. editor.
(1)
Duan, Zhenhua. editor.
(1)
Dubois, Catherine. editor.
(1)
England, Matthew. editor. (orcid)0000-0001-5729-3420
(1)
Esparza, Javier. editor.
(1)
Esposito, Floriana. editor. (orcid)0000-0002-1075-3239
(1)
Fan, Xing. editor.
(1)
Feng, Xinyu. editor.
(1)
Ferilli, Stefano. editor. (orcid)0000-0003-1118-0601
(1)
Fernandes, João P. editor. (orcid)0000-0002-1952-9460
(1)
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
(1)
Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
(1)
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
(1)
Gallagher, John P. editor. (orcid)0000-0001-6984-7419
(1)
Gallardo, María del Mar. editor.
(1)
Galmiche, Didier. editor.
(1)
Geeraerts, Gilles. editor.
(1)
Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
(1)
Giacaman, Nasser. editor.
(1)
Gibson-Robinson, Thomas. editor.
(1)
Guerra, Esther. editor. (orcid)0000-0002-2818-2278
(1)
Guttmann, Walter. editor. (orcid)0000-0003-2969-1688
(1)
Hamlen, Kevin. editor.
(1)
Hammoudi, Slimane. editor.
(1)
Hasan, Osman. editor. (orcid)0000-0003-2562-2669
(1)
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
(1)
Hierons, Robert. editor.
(1)
Hoang, Thai Son. editor.
(1)
Hopcroft, Philippa. editor.
(1)
Huisman, Marieke. editor.
(1)
Hung, Dang Van. editor.
(1)
James, Phillip. editor.
(1)
Joosten, Stef. editor. (orcid)0000-0001-8308-0189
(1)
Juckeland, Guido. editor.
(1)
Juckeland, Guido. editor. (orcid)0000-0002-9935-4428
(1)
Kahsai, Temesghen. editor.
(1)
Kapur, Deepak. editor.
(1)
Kari, Jarkko. editor. (orcid)0000-0003-0670-6138
(1)
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
(1)
Kovács, Gábor. editor.
(1)
Kunkel, Julian M. editor.
(1)
Kunčak, Viktor. editor.
(1)
Lachiche, Nicolas. editor.
(1)
Lahiri, Shuvendu K. editor.
(1)
Lanese, Ivan. editor.
(1)
Langerak, Rom. editor.
(1)
Lazić, Ranko. editor.
(1)
Leite, João. editor. (orcid)0000-0001-6786-7360
(1)
Leone, Nicola. editor.
(1)
Leucker, Martin. editor.
(1)
Levine, Joshua A. editor.
(1)
Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X
(1)
Lisi, Francesca A. editor. (orcid)0000-0001-5414-5844
(1)
Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071
(1)
Lumpe, Markus. editor.
(1)
Lämmel, Ralf. editor. (orcid)0000-0001-9946-4363
(1)
Mahboubi, Assia. editor.
(1)
Majumdar, Rupak. editor.
(1)
Malony, Allen D. editor.
(1)
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
(1)
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
(1)
Medina-Bulo, Inmaculada. editor.
(1)
Menzies, Tim. editor. (orcid)0000-0002-5040-3196
(1)
Merayo, Mercedes G. editor.
(1)
Merino, Pedro. editor.
(1)
Modgil, Sanjay. editor.
(1)
Monniaux, David. editor.
(1)
Murawski, Andrzej S. editor.
(1)
Muñoz, César A. editor.
(1)
Myreen, Magnus. editor.
(1)
Müller, Matthias S. editor.
(1)
Müller-Olm, Markus. editor.
(1)
Nalon, Cláudia. editor.
(1)
Nerode, Anil. editor.
(1)
Ober, Iulian. editor.
(1)
Olivier, Stephen L. editor.
(1)
Ong, Luke. editor.
(1)
Oren, Nir. editor.
(1)
Padovani, Luca. editor. (orcid)0000-0001-9097-1297
(1)
Palsberg, Jens. editor.
(1)
Parent, Xavier. editor.
(1)
Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170
(1)
Pałka, Michał. editor.
(1)
Petke, Justyna. editor. (orcid)0000-0002-7833-6044
(1)
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
(1)
Petrucci, Laure. editor.
(1)
Pires, Luís Ferreira. editor.
(1)
Piskac, Ruzica. editor.
(1)
Podelski, Andreas. editor.
(1)
Proença, José. editor.
(1)
Rabe, Florian. editor.
(1)
Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068
(1)
Raschke, Alexander. editor.
(1)
Rauchwerger, Lawrence. editor.
(1)
Reichl, Klaus. editor.
(1)
Rensink, Arend. editor. (orcid)0000-0002-1714-6319
(1)
Ricca, Francesco. editor.
(1)
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
(1)
Roggenbach, Markus. editor.
(1)
Roman, Dumitru. editor.
(1)
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
(1)
Rubin, Julia. editor.
(1)
Rusu, Vlad. editor.
(1)
Réthy, György. editor.
(1)
Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098
(1)
Salaün, Gwen. editor.
(1)
Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709
(1)
Saraiva, João. editor. (orcid)0000-0002-5686-7151
(1)
Schmidt, Renate A. editor.
(1)
Schulte, Michael. editor. (orcid)0000-0002-0213-4155
(1)
Schulz, Martin. editor.
(1)
Schulz, Stephan. editor.
(1)
Sebastiani, Roberto. editor.
(1)
Seceleanu, Cristina. editor.
(1)
Selic, Bran. editor.
(1)
Sgall, Jiří. editor.
(1)
Sherratt, Edel. editor.
(1)
Silvano, Cristina. editor. (orcid)0000-0003-1668-0883
(1)
Sinnen, Oliver. editor.
(1)
Sirjani, Marjan. editor. (orcid)0000-0001-5478-0987
(1)
Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696
(1)
Soeken, Mathias. editor. (orcid)0000-0002-0229-8766
(1)
Strichman, Ofer. editor.
(1)
Taha, Walid. editor. (orcid)0000-0003-3160-9188
(1)
Taufer, Michela. editor.
(1)
Terboven, Christian. editor. (orcid)0000-0003-2284-2957
(1)
Teschke, Olaf. editor.
(1)
Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609
(1)
Torquati, Massimo. editor. (orcid)0000-0001-6323-3459
(1)
Troubitsyna, Elena A. editor.
(1)
Tzoref-Brill, Rachel. editor.
(1)
Ulidowski, Irek. editor.
(1)
Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579
(1)
Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743
(1)
Villata, Serena. editor. (orcid)0000-0003-3495-493X
(1)
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
(1)
Voronkov, Andrei. editor.
(1)
Vrain, Christel. editor.
(1)
Wang, Chao. editor.
(1)
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073
(1)
Wienke, Sandra. editor. (orcid)0000-0002-5794-3662
(1)
Winterstein, Felix. author.
(1)
Wolff, Burkhart. editor.
(1)
Yang, Hongseok. editor.
(1)
Yang, Zijiang. editor.
(1)
Yenigün, Hüsnü. editor. (orcid)0000-0003-0947-8150
(1)
Yevtushenko, Nina. editor. (orcid)0000-0002-4006-1161
(1)
Yokota, Rio. editor.
(1)
Yokota, Rio. editor. (orcid)0000-0001-7573-7873
(1)
Yu, Fang. author.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(87)
Dil
Dahil
Hariç
English
(87)
Basım Yılı
Dahil
Hariç
2016
(1)
2017
(44)
2018
(33)
2019
(9)
Konu
Dahil
Hariç
Computer science.
(78)
Logics and Meanings of Programs.
(68)
Software engineering.
(65)
Mathematical Logic and Formal Languages.
(48)
Programming Techniques.
(37)
Artificial intelligence.
(28)
Algorithm Analysis and Problem Complexity.
(18)
Computer software.
(17)
Computer network architectures.
(12)
Computer system performance.
(11)
System Performance and Evaluation.
(11)
Computation by Abstract Devices.
(10)
Computer Systems Organization and Communication Networks.
(10)
Operating Systems.
(10)
Operating systems (Computers).
(10)
Programming languages (Electronic computers).
(10)
Computer industry.
(9)
The Computing Profession.
(9)
Computer System Implementation.
(8)
Special Purpose and Application-Based Systems.
(8)
Computer Communication Networks.
(7)
Computer simulation.
(7)
Simulation and Modeling.
(7)
Computer programming.
(5)
Computer security.
(5)
Systems and Data Security.
(5)
Architecture, Computer.
(4)
Information systems.
(4)
Processor Architectures.
(4)
Arithmetic and Logic Structures.
(3)
Computer Appl. in Administrative Data Processing.
(3)
Information Systems.
(3)
Input/Output and Data Communications.
(3)
Management of Computing and Information Systems.
(3)
Microprocessors.
(3)
Arithmetic and logic units, Computer.
(2)
Computer Applications.
(2)
Computer organization.
(2)
Computers.
(2)
Control Structures and Microprogramming.
(2)
Data transmission systems.
(2)
Information Systems Applications (incl. Internet).
(2)
Information Systems and Communication Service.
(2)
Microprogramming .
(2)
Numeric Computing.
(2)
Probability and Statistics in Computer Science.
(2)
Algebra -- Data processing.
(1)
Algorithms.
(1)
Circuits and Systems.
(1)
Computer logic.
(1)
Computer science—Mathematics.
(1)
Computing Milieux.
(1)
Electronic data processing.
(1)
Input-output equipment (Computers).
(1)
Logic, Symbolic and mathematical.
(1)
Math Applications in Computer Science.
(1)
Mathematical Logic and Foundations.
(1)
Memory Structures.
(1)
Memory management (Computer scie.
(1)
Models and Principles.
(1)
Natural Language Processing (NLP).
(1)
Natural language processing (Computer science).
(1)
Numerical analysis.
(1)
Pattern recognition.
(1)
Quantum Computing.
(1)
Quantum computers.
(1)
Special purpose computers.
(1)
Symbolic and Algebraic Manipulation.
(1)
Systems engineering.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(87)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(87)
Kütüphane
Dahil
Hariç
TEDU library
(87)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Git:
Arama Sonuçları
|
Sayfa Başı
|
Arama Filtreleri