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
159 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
..
10
11
12
13
14
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.
157.
Towards Paraconsistent Engineering
Towards Paraconsistent Engineering
Yazar
Akama, Seiki. editor.
http://dx.doi.org/10.1007/978-3-319-40418-9
Format:
Electronic Resources
Alıntı:
Computer logic.
158.
Transactions on Petri Nets and Other Models of Concurrency XII
Transactions on Petri Nets and Other Models of Concurrency XII
Yazar
Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-55862-1
Format:
Electronic Resources
Alıntı:
Data structures (Computer scienc.
159.
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
..
10
11
12
13
14
159 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
Basım Yılı: 2016-2017
Included
Konu: Logics and Meanings of Programs.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(159)
Ölveczky, Peter Csaba. editor.
(3)
Artho, Cyrille. editor.
(2)
Bitsch, Friedemann. editor.
(2)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Bouajjani, Ahmed. editor.
(2)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Chaudhuri, Swarat. editor.
(2)
De Nicola, Rocco. editor.
(2)
Duan, Zhenhua. editor.
(2)
Farzan, Azadeh. editor.
(2)
Guiochet, Jérémie. editor.
(2)
Huisman, Marieke. editor.
(2)
Johnsen, Einar Broch. editor.
(2)
Kleijn, Jetty. editor.
(2)
Koutny, Maciej. editor.
(2)
Kunčak, Viktor. editor.
(2)
Lanese, Ivan. editor.
(2)
Larsen, Kim Guldstrand. editor.
(2)
Legay, Axel. editor.
(2)
Majumdar, Rupak. editor.
(2)
Margaria, Tiziana. editor.
(2)
Potapov, Igor. editor.
(2)
Proença, José. editor.
(2)
Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443
(2)
Skavhaug, Amund. editor.
(2)
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
(2)
Wąsowski, Andrzej. editor.
(2)
Zhang, Zili. editor.
(2)
de Moura, Leonardo. editor.
(2)
Ábrahám, Erika. editor.
(2)
Abate, Alessandro. editor.
(1)
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
(1)
Abdulla, Parosh Aziz. editor.
(1)
Agha, Gul. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Akama, Seiki. editor.
(1)
Albert, Elvira. editor.
(1)
Alferes, Jose Julio. editor.
(1)
Alkhalaf, Muath. author.
(1)
Amos, Martyn. editor.
(1)
An, Bo. editor. (orcid)0000-0002-7064-7438
(1)
Antonucci, Alessandro. editor. (orcid)0000-0001-7915-2768
(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)
Baldoni, Matteo. editor.
(1)
Balduccini, Marcello. editor.
(1)
Baltag, Alexandru. editor.
(1)
Barbosa, Simone D.J. editor.
(1)
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
(1)
Basili, Roberto. editor.
(1)
Batsakis, Sotiris. editor.
(1)
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
(1)
Bazzan, Ana. editor. (orcid)0000-0002-2803-9607
(1)
Bernardo, Marco. editor.
(1)
Bertogna, Marko. editor.
(1)
Bertossi, Leopoldo. editor.
(1)
Bertrand, Nathalie. editor.
(1)
Best, Eike. editor.
(1)
Biro, Miklos. editor.
(1)
Blanchette, Jasmin Christian. editor.
(1)
Blieberger, Johann. editor.
(1)
Bogomolov, Sergiy. editor.
(1)
Boldo, Sylvie. editor.
(1)
Bonsangue, Marcello. editor.
(1)
Bortolussi, Luca. editor.
(1)
Bowen, Jonathan P. editor.
(1)
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
(1)
Bošnački, Dragan. editor.
(1)
Braga, Christiano. editor.
(1)
Brlek, Srečko. editor.
(1)
Bultan, Tevfik. author.
(1)
Butler, Michael. editor.
(1)
CONDON, ANNE. editor.
(1)
Carayol, Arnaud. editor.
(1)
Carmona, Josep. editor. (orcid)0000-0001-9656-254X
(1)
Castor, Fernando. editor.
(1)
Cavalcanti, Ana. editor.
(1)
Cavalli, Ana Rosa. editor. (orcid)0000-0003-4480-5030
(1)
Charlier, Émilie. editor.
(1)
Chechik, Marsha. editor.
(1)
Cholvy, Laurence. editor.
(1)
Chopra, Amit K. editor.
(1)
Cinquemani, Eugenio. editor.
(1)
Cornélio, Márcio. editor.
(1)
Crnkovic, Ivica. 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.
(1)
Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012
(1)
Dal Lago, Ugo. editor.
(1)
Daneva, Maya. editor.
(1)
Dastani, Mehdi. editor.
(1)
Davies, Misty. editor.
(1)
Day, Adam. editor.
(1)
Decker, Hendrik. editor.
(1)
Delporte-Gallet, Carole. editor.
(1)
Desel, Jörg. editor.
(1)
Devitt, Simon. editor.
(1)
Di Marco, Antinisca. editor.
(1)
Dignum, Virginia. editor.
(1)
Dixon, Clare. editor.
(1)
Donzé, Alexandre. editor.
(1)
Draheim, Dirk. author.
(1)
Du, Dingzhu. editor.
(1)
Ebert, Achim. editor.
(1)
Echahed, Rachid. 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)
Falcone, Yliès. editor.
(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)
Fiems, Dieter. editor.
(1)
Finger, Marcelo. editor.
(1)
Fodor, Paul. editor.
(1)
Foret, Annie. editor.
(1)
Fränzle, Martin. editor.
(1)
Furia, Carlo A. editor.
(1)
Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917
(1)
Gavanelli, Marco. editor.
(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)
Gnesi, Stefania. editor.
(1)
Gopal, T.V. editor.
(1)
Governatori, Guido. editor.
(1)
Grabowski, Jens. editor.
(1)
Greenberg, Noam. editor.
(1)
Gurfinkel, Arie. editor.
(1)
Göbel, Susanne. author.
(1)
Hage, Jurriaan. editor.
(1)
Hague, Matthew. editor.
(1)
Hameurlain, Abdelkader. editor.
(1)
Han, Yo-Sub. editor.
(1)
Hankin, Chris. editor.
(1)
Hansen, René Rydhof. editor.
(1)
Hasan, Osman. editor. (orcid)0000-0003-2562-2669
(1)
Hasuo, Ichiro. editor.
(1)
He, Kun. editor.
(1)
Herbold, Steffen. editor.
(1)
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
(1)
Hildebrandt, Thomas. editor.
(1)
Hillston, Jane. editor.
(1)
Hinchey, Mike. editor.
(1)
Hirayama, Katsutoshi. editor.
(1)
Hirvonen, Åsa. editor.
(1)
Hopcroft, Philippa. editor.
(1)
Humayoun, Shah Rukh. editor.
(1)
Hung, Dang Van. editor.
(1)
Höfner, Peter. editor.
(1)
Inoue, Katsumi. editor.
(1)
Jacobs, Bart. editor.
(1)
Jajodia, Sushil. editor.
(1)
James, Phillip. editor.
(1)
Janhunen, Tomi. editor.
(1)
Jobstmann, Barbara. editor.
(1)
Johansson, Moa. editor.
(1)
Jäger , Gerhard. editor.
(1)
Kahsai, Temesghen. editor.
(1)
Kapitsaki, Georgia M. editor.
(1)
Kapur, Deepak. editor.
(1)
Karydis, Ioannis. 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)
King, Andy. editor.
(1)
Kiselyov, Oleg. editor.
(1)
Klasing, Ralf. editor.
(1)
Knapp, Alexander. editor.
(1)
Koepf, Wolfram. editor.
(1)
Kohlhase, Michael. editor.
(1)
Kordon, Fabrice. editor.
(1)
Kordy, Barbara. editor.
(1)
Kovács, Gábor. editor.
(1)
Kulikov, Alexander S. editor.
(1)
Kumar, Akhil. editor. (orcid)0000-0003-3572-3789
(1)
Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383
(1)
Kühn, Eva. editor.
(1)
Küng, Josef. editor.
(1)
Lambrinoudakis, Costas. editor.
(1)
Langerak, Rom. editor.
(1)
Lazić, Ranko. editor.
(1)
Lecomte, Thierry. editor.
(1)
Leino, K. Rustan M. editor.
(1)
Leite, João. editor. (orcid)0000-0001-6786-7360
(1)
Leporati, Alberto. editor.
(1)
Leroy, Julien. editor.
(1)
Li, Lian. editor.
(1)
Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X
(1)
Lindley, Sam. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(159)
Dil
Dahil
Hariç
English
(159)
Basım Yılı
Dahil
Hariç
2016
(80)
2017
(79)
Konu
Dahil
Hariç
Computer science.
(153)
Software engineering.
(125)
Mathematical Logic and Formal Languages.
(107)
Programming Languages, Compilers, Interpreters.
(82)
Computer logic.
(80)
Logic design.
(80)
Mathematical logic.
(53)
Algorithm Analysis and Problem Complexity.
(49)
Artificial intelligence.
(49)
Programming languages (Electronic computers).
(43)
Computation by Abstract Devices.
(35)
Programming Techniques.
(35)
Computer software.
(29)
Computer simulation.
(24)
Simulation and Modeling.
(24)
Computers.
(22)
Artificial Intelligence (incl. Robotics).
(21)
Algorithms.
(20)
Computer Communication Networks.
(20)
Computer programming.
(18)
Information Systems Applications (incl. Internet).
(18)
Discrete Mathematics in Computer Science.
(16)
Management of Computing and Information Systems.
(13)
System Performance and Evaluation.
(12)
Computer communication systems.
(11)
Computer science -- Mathematics.
(11)
Computer Systems Organization and Communication Networks.
(10)
Special Purpose and Application-Based Systems.
(10)
Computational complexity.
(8)
Management information systems.
(8)
Probability and Statistics in Computer Science.
(8)
Software Engineering/Programming and Operating Systems.
(8)
Computer security.
(7)
Systems and Data Security.
(7)
Computer network architectures.
(6)
Computer system failures.
(6)
Computer system performance.
(6)
Data Structures.
(6)
Computer Applications.
(5)
Data structures (Computer scienc.
(5)
Information Systems.
(5)
Mathematics of Computing.
(5)
Symbolic and Algebraic Manipulation.
(5)
Application software.
(4)
Computer Appl. in Administrative Data Processing.
(4)
Computer industry.
(4)
Computer organization.
(4)
Information storage and retrieval.
(4)
Mathematical statistics.
(4)
Special purpose computers.
(4)
The Computing Profession.
(4)
Algebra -- Data processing.
(3)
Data Mining and Knowledge Discovery.
(3)
Data mining.
(3)
Information systems.
(3)
Mathematical Logic and Foundations.
(3)
Natural Language Processing (NLP).
(3)
Natural language processing (Computer science).
(3)
Operating Systems.
(3)
Operating systems (Computers).
(3)
Data structures (Computer science).
(2)
Information Storage and Retrieval.
(2)
Information storage and retrieval systems.
(2)
Logic, Symbolic and mathematical.
(2)
Math Applications in Computer Science.
(2)
Models and Principles.
(2)
Numeric Computing.
(2)
User Interfaces and Human Computer Interaction.
(2)
User interfaces (Computer systems).
(2)
Arithmetic and Logic Structures.
(1)
Arithmetic and logic units, Computer.
(1)
Bioinformatics.
(1)
Business -- Data processing.
(1)
Combinatorics.
(1)
Computational Biology/Bioinformatics.
(1)
Computational intelligence.
(1)
Computational linguistics.
(1)
Computer aided design.
(1)
Computer mathematics.
(1)
Computer-Aided Engineering (CAD, CAE) and Design.
(1)
Computers and Education.
(1)
Computing Milieux.
(1)
Cryptology.
(1)
Data Structures and Information Theory.
(1)
Data encryption (Computer science).
(1)
Education -- Data processing.
(1)
Electronic data processing.
(1)
Engineering.
(1)
Graph Theory.
(1)
History of Computing.
(1)
IT in Business.
(1)
Information technology.
(1)
Language Translation and Linguistics.
(1)
Logic.
(1)
Mathematical Applications in Computer Science.
(1)
Numerical analysis.
(1)
Operations Research/Decision Theory.
(1)
Operations research.
(1)
Optical pattern recognition.
(1)
Pattern Recognition.
(1)
Processor Architectures.
(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
(159)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(159)
Kütüphane
Dahil
Hariç
TEDU library
(159)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Git:
Arama Sonuçları
|
Sayfa Başı
|
Arama Filtreleri