Giriş Yapılıyor...
Kullanıcı adı
:
Şifre
:
Kayıt
Forgot your PIN?
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:
To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.
Gelişmiş Arama
97 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
..
5
6
7
8
9
0
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.
97.
On Sets and Graphs Perspectives on Logic and Combinatorics
On Sets and Graphs Perspectives on Logic and Combinatorics
Yazar
Omodeo, Eugenio G. author.
https://doi.org/10.1007/978-3-319-54981-1
Format:
Electronic Resources
Alıntı:
Computer software.
Tümünü Seç
1
..
5
6
7
8
9
97 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
Yazar: SpringerLink (Online service)
Included
Basım Yılı: 2016-2017
Included
Konu: Logic design.
Yazar
Dahil
Hariç
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Bouajjani, Ahmed. editor.
(2)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Kunčak, Viktor. editor.
(2)
LaMeres, Brock J. author.
(2)
Legay, Axel. editor.
(2)
Lintas, Alessandra. editor.
(2)
Majumdar, Rupak. editor.
(2)
Margaria, Tiziana. editor.
(2)
Rovetta, Stefano. editor.
(2)
Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443
(2)
Sim, Kevin. editor. (orcid)0000-0001-6555-7721
(2)
Squillero, Giovanni. editor.
(2)
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
(2)
Verschure, Paul F.M.J. editor. (orcid)0000-0003-3643-9544
(2)
Villa, Alessandro E.P. editor.
(2)
Abate, Alessandro. editor.
(1)
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
(1)
Alkhalaf, Muath. author.
(1)
Amaru, Luca Gaetano. author.
(1)
An, Bo. editor. (orcid)0000-0002-7064-7438
(1)
Antonucci, Alessandro. editor. (orcid)0000-0001-7915-2768
(1)
Artho, Cyrille. editor.
(1)
Athanasopoulos, Elias. editor.
(1)
Ayala-Rincón, Mauricio. author.
(1)
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
(1)
Aydin, Abdulbaki. author.
(1)
Bader, Markus. editor.
(1)
Balduccini, Marcello. editor.
(1)
Baltag, Alexandru. editor.
(1)
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
(1)
Basili, Roberto. editor.
(1)
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
(1)
Bazzan, Ana. editor. (orcid)0000-0002-2803-9607
(1)
Benini, Luca. author.
(1)
Bertrand, Nathalie. editor.
(1)
Best, Eike. editor.
(1)
Blieberger, Johann. editor.
(1)
Bodden, Eric. editor.
(1)
Bogomolov, Sergiy. editor.
(1)
Boldo, Sylvie. editor.
(1)
Bortolussi, Luca. editor.
(1)
Bowen, Jonathan P. editor.
(1)
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
(1)
Bruemmer, Hans. author.
(1)
Bultan, Tevfik. author.
(1)
Carayol, Arnaud. editor.
(1)
Carmona, Josep. editor. (orcid)0000-0001-9656-254X
(1)
Cavalcanti, Ana. editor.
(1)
Cavalli, Ana Rosa. editor. (orcid)0000-0003-4480-5030
(1)
Chakrabarty, Krishnendu. author.
(1)
Chapman, Barbara M. editor.
(1)
Charlier, Émilie. editor.
(1)
Cholvy, Laurence. editor.
(1)
Csöndes, Tibor. editor.
(1)
Cunha, Jácome. editor. (orcid)0000-0002-4713-3834
(1)
Cuppens, Frédéric. editor.
(1)
Cuppens-Boulahia, Nora. editor.
(1)
Cussens, James. editor.
(1)
Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012
(1)
Dastani, Mehdi. editor.
(1)
Davies, Misty. editor.
(1)
Day, Adam. editor.
(1)
Decker, Hendrik. editor.
(1)
Devitt, Simon. editor.
(1)
Di Marco, Antinisca. editor.
(1)
Dixon, Clare. editor.
(1)
Draheim, Dirk. author.
(1)
Du, Dingzhu. editor.
(1)
Duan, Zhenhua. editor.
(1)
El-Alfy, El-Sayed M. editor.
(1)
Engels, Gregor. editor.
(1)
England, Matthew. editor. (orcid)0000-0001-5729-3420
(1)
Esparza, Javier. editor.
(1)
Esposito, Floriana. editor. (orcid)0000-0002-1075-3239
(1)
Fellows, Michael. editor.
(1)
Ferilli, Stefano. editor. (orcid)0000-0003-1118-0601
(1)
Fernandes, João P. editor. (orcid)0000-0002-1952-9460
(1)
Finger, Marcelo. editor.
(1)
Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917
(1)
Geeraerts, Gilles. editor.
(1)
Gerdt, Vladimir P. editor.
(1)
Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
(1)
Ghosh, Sujata. editor.
(1)
Gibson-Robinson, Thomas. editor.
(1)
Gopal, T.V. editor.
(1)
Greenberg, Noam. editor.
(1)
Guerra, Esther. editor. (orcid)0000-0002-2818-2278
(1)
Gupta, Rajesh K. author.
(1)
Hague, Matthew. editor.
(1)
Hameurlain, Abdelkader. editor.
(1)
Hasan, Osman. editor. (orcid)0000-0003-2562-2669
(1)
He, Kun. editor.
(1)
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
(1)
Hinchey, Mike. editor.
(1)
Hopcroft, Philippa. editor.
(1)
Huisman, Marieke. editor.
(1)
Hung, Dang Van. editor.
(1)
Höfner, Peter. editor.
(1)
James, Phillip. editor.
(1)
Janhunen, Tomi. editor.
(1)
Johnsen, Einar Broch. editor.
(1)
Jäger , Gerhard. editor.
(1)
Kahsai, Temesghen. editor.
(1)
Kapur, Deepak. editor.
(1)
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
(1)
Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683
(1)
Khoussainov, Bakhadyr. editor.
(1)
Klasing, Ralf. editor.
(1)
Kleijn, Jetty. editor.
(1)
Koepf, Wolfram. editor.
(1)
Koutny, Maciej. editor.
(1)
Kovács, Gábor. editor.
(1)
Kumar, Akhil. editor. (orcid)0000-0003-3572-3789
(1)
Kunkel, Julian M. editor.
(1)
Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383
(1)
Küng, Josef. editor.
(1)
Lambrinoudakis, Costas. editor.
(1)
Lanese, Ivan. editor.
(1)
Langerak, Rom. editor.
(1)
Larsen, Kim Guldstrand. editor.
(1)
Lazić, Ranko. editor.
(1)
Leite, João. editor. (orcid)0000-0001-6786-7360
(1)
Leporati, Alberto. editor.
(1)
Leroy, Julien. editor.
(1)
Li, Lian. editor.
(1)
Li, Yuanqing. editor.
(1)
Lienig, Jens. author.
(1)
Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X
(1)
Lisi, Francesca A. editor. (orcid)0000-0001-5414-5844
(1)
Liu, Derong. editor.
(1)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(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)
Martel, Matthieu. editor.
(1)
Marín, Nicolás. editor. (orcid)0000-0001-5604-5150
(1)
Melnikov, Alexander. editor.
(1)
Menzies, Tim. editor. (orcid)0000-0002-5040-3196
(1)
Monniaux, David. editor.
(1)
Moral, Serafín. editor. (orcid)0000-0002-5555-0857
(1)
Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
(1)
Murawski, Andrzej S. editor.
(1)
Muñoz, César A. editor.
(1)
Müller, Matthias S. editor.
(1)
Nalon, Cláudia. editor.
(1)
Nicaud, Cyril. editor.
(1)
Olderog, Ernst-Rüdiger. editor.
(1)
Olivier, Stephen L. editor.
(1)
Omodeo, Eugenio G. author.
(1)
Ong, Luke. editor.
(1)
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153
(1)
Papini, Odile. editor.
(1)
Patitz, Matthew J. editor.
(1)
Payer, Mathias. editor.
(1)
Penczek, Wojciech. editor.
(1)
Petke, Justyna. editor. (orcid)0000-0002-7833-6044
(1)
Petrucci, Laure. editor.
(1)
Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
(1)
Pivert, Olivier. editor.
(1)
Policriti, Alberto. author. (orcid)0000-0001-8502-5896
(1)
Potapov, Igor. editor.
(1)
Pous, Damien. editor.
(1)
Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234
(1)
Prasad, Sanjiva. editor.
(1)
Proença, José. editor.
(1)
Rabe, Florian. editor.
(1)
Rahimi, Abbas. author.
(1)
Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068
(1)
Reinecke, Philipp. editor.
(1)
Rensink, Arend. editor. (orcid)0000-0002-1714-6319
(1)
Rigo, Michel. editor.
(1)
Roggenbach, Markus. editor.
(1)
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
(1)
Rosamond, Frances. editor.
(1)
Rozenberg, Grzegorz. editor.
(1)
Rubin, Julia. editor.
(1)
Russo, Alessandra. editor. (orcid)0000-0002-3318-8711
(1)
Réthy, György. editor.
(1)
Salomaa, Arto. editor.
(1)
Saraiva, João. editor. (orcid)0000-0002-5686-7151
(1)
Schmidt, Renate A. editor.
(1)
Seceleanu, Cristina. editor.
(1)
Seiler, Werner M. editor. (orcid)0000-0002-0565-1334
(1)
Seligman, Jeremy. editor.
(1)
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X
(1)
Sgall, Jiří. editor.
(1)
Shalf, John. editor.
(1)
Silva, Alexandra. editor.
(1)
Sirjani, Marjan. editor. (orcid)0000-0001-5478-0987
(1)
Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658
(1)
Stannett, Mike. editor.
(1)
Steila, Silvia. editor.
(1)
Strichman, Ofer. editor.
(1)
Struth, Georg. editor.
(1)
Sánchez, Daniel. editor. (orcid)0000-0002-6048-3994
(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)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(97)
Dil
Dahil
Hariç
English
(97)
Basım Yılı
Dahil
Hariç
2016
(1)
2017
(96)
Konu
Dahil
Hariç
Computer science.
(88)
Logics and Meanings of Programs.
(80)
Software engineering.
(71)
Mathematical Logic and Formal Languages.
(55)
Programming Languages, Compilers, Interpreters.
(45)
Artificial intelligence.
(34)
Algorithm Analysis and Problem Complexity.
(33)
Computer software.
(32)
Programming Techniques.
(19)
Computation by Abstract Devices.
(16)
Computer simulation.
(13)
Simulation and Modeling.
(13)
Computer Communication Networks.
(12)
Special Purpose and Application-Based Systems.
(12)
Computer network architectures.
(11)
Processor Architectures.
(10)
Operating Systems.
(9)
Operating systems (Computers).
(9)
Computational complexity.
(8)
Discrete Mathematics in Computer Science.
(8)
Circuits and Systems.
(7)
Systems engineering.
(7)
Computer Systems Organization and Communication Networks.
(6)
Computer system performance.
(6)
Information Systems.
(6)
Management of Computing and Information Systems.
(6)
System Performance and Evaluation.
(6)
Computer System Implementation.
(5)
Computer security.
(5)
Data structures (Computer scienc.
(5)
Software Engineering/Programming and Operating Systems.
(5)
Systems and Data Security.
(5)
Computer industry.
(4)
Data Structures.
(4)
Information Systems Applications (incl. Internet).
(4)
Mathematics of Computing.
(4)
Probability and Statistics in Computer Science.
(4)
The Computing Profession.
(4)
Algebra -- Data processing.
(3)
Computer Appl. in Administrative Data Processing.
(3)
Computer vision.
(3)
Image Processing and Computer Vision.
(3)
Information systems.
(3)
Natural Language Processing (NLP).
(3)
Natural language processing (Computer science).
(3)
Symbolic and Algebraic Manipulation.
(3)
Computer Applications.
(2)
Cryptology.
(2)
Data encryption (Computer science).
(2)
Information Storage and Retrieval.
(2)
Information storage and retrieval systems.
(2)
Logic, Symbolic and mathematical.
(2)
Mathematical Logic and Foundations.
(2)
Algorithms.
(1)
Combinatorics.
(1)
Computer aided design.
(1)
Computer logic.
(1)
Computer-Aided Engineering (CAD, CAE) and Design.
(1)
Computers.
(1)
Computing Milieux.
(1)
Data Mining and Knowledge Discovery.
(1)
Data Structures and Information Theory.
(1)
Data mining.
(1)
Data transmission systems.
(1)
Electronic data processing.
(1)
Graph Theory.
(1)
Input/Output and Data Communications.
(1)
Math Applications in Computer Science.
(1)
Memory Structures.
(1)
Memory management (Computer scie.
(1)
Models and Principles.
(1)
Numeric Computing.
(1)
Operations Research/Decision Theory.
(1)
Operations research.
(1)
Optical pattern recognition.
(1)
Pattern Recognition.
(1)
Programming languages (Electronic computers).
(1)
Quantum Computing.
(1)
Quantum computers.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(97)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(97)
Kütüphane
Dahil
Hariç
TEDU library
(97)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}