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
484 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
..
37
38
39
40
41
0000
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.
481.
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Yazar
Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-7
Format:
Electronic Resources
482.
Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers
Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers
Yazar
Ermolayev, Vadim. editor.
http://dx.doi.org/10.1007/978-3-319-13206-8
Format:
Electronic Resources
483.
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
Yazar
Biere, Armin. editor.
http://dx.doi.org/10.1007/978-3-319-08867-9
Format:
Electronic Resources
484.
Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
Yazar
Daniel, Florian. editor.
http://dx.doi.org/10.1007/978-3-642-40176-3
Format:
Electronic Resources
Tümünü Seç
1
..
37
38
39
40
41
484 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: Logics and Meanings of Programs.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(484)
Potapov, Igor. editor.
(6)
Ölveczky, Peter Csaba. editor.
(6)
Artho, Cyrille. editor.
(5)
Duan, Zhenhua. editor.
(5)
Legay, Axel. editor.
(5)
Margaria, Tiziana. editor.
(5)
Roman, Dumitru. editor.
(5)
Rozenberg, Grzegorz. editor.
(5)
Salomaa, Arto. editor.
(5)
Voronkov, Andrei. editor.
(5)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(4)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(4)
Johnsen, Einar Broch. editor.
(4)
Koutny, Maciej. editor.
(4)
Kroening, Daniel. editor.
(4)
Lanese, Ivan. editor.
(4)
Liu, Shaoying. editor.
(4)
Skavhaug, Amund. editor.
(4)
Zandron, Claudio. editor.
(4)
Zhang, Zili. editor.
(4)
Ábrahám, Erika. editor.
(4)
Bernardo, Marco. editor.
(3)
Gheorghe, Marian. editor.
(3)
Huisman, Marieke. editor.
(3)
Larsen, Kim Guldstrand. editor.
(3)
Liu, Zhiming. editor.
(3)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(3)
Majumdar, Rupak. editor.
(3)
Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
(3)
Schaefer, Ina. editor.
(3)
Schewe, Klaus-Dieter. editor.
(3)
Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443
(3)
Steffen, Bernhard. editor.
(3)
Abate, Alessandro. editor.
(2)
Ait Ameur, Yamine. editor.
(2)
Albert, Elvira. editor.
(2)
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
(2)
Bensalem, Saddek. editor.
(2)
Berger, Christian. editor.
(2)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(2)
Bitsch, Friedemann. editor.
(2)
Bjørner, Nikolaj. editor.
(2)
Blanchette, Jasmin Christian. editor.
(2)
Bondavalli, Andrea. editor.
(2)
Bouajjani, Ahmed. editor.
(2)
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
(2)
Braga, Christiano. editor.
(2)
Butler, Michael. editor.
(2)
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
(2)
Chaudhuri, Swarat. editor.
(2)
Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012
(2)
Dal Lago, Ugo. editor.
(2)
Dastani, Mehdi. editor.
(2)
De Nicola, Rocco. editor.
(2)
Desel, Jörg. editor.
(2)
Dillig, Isil. editor.
(2)
Du, Dingzhu. editor.
(2)
Esparza, Javier. editor.
(2)
Falcone, Yliès. editor.
(2)
Farzan, Azadeh. editor.
(2)
Feng, Xinyu. editor.
(2)
Fiadeiro, José Luiz. editor.
(2)
Fodor, Paul. editor.
(2)
Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
(2)
Gerdt, Vladimir P. editor.
(2)
Ghosh, Sujata. editor.
(2)
Giannakopoulou, Dimitra. editor.
(2)
Gnesi, Stefania. editor.
(2)
Graf, Susanne. editor.
(2)
Guiochet, Jérémie. editor.
(2)
Haddad, Serge. editor.
(2)
Hage, Jurriaan. editor.
(2)
Havelund, Klaus. editor.
(2)
He, Kun. editor.
(2)
Hospodár, Michal. editor.
(2)
Höfner, Peter. editor.
(2)
Jirásková, Galina. editor.
(2)
Kahl, Wolfram. editor.
(2)
Kapur, Deepak. editor.
(2)
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
(2)
Kleijn, Jetty. editor.
(2)
Koepf, Wolfram. editor.
(2)
Konstantinidis, Stavros. editor.
(2)
Koornneef, Floor. editor.
(2)
Kunčak, Viktor. editor.
(2)
Kühn, Eva. editor.
(2)
Lecomte, Thierry. editor.
(2)
Leone, Nicola. editor.
(2)
Leucker, Martin. editor.
(2)
Li, Lian. editor.
(2)
Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X
(2)
Lutz, Carsten. editor.
(2)
Manea, Florin. editor.
(2)
Martí-Oliet, Narciso. editor.
(2)
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
(2)
Mayr, Heinrich C. editor.
(2)
McCarthy, Jay. editor.
(2)
McIver, Annabelle. editor.
(2)
Merayo, Mercedes G. editor.
(2)
Meseguer, José. editor.
(2)
Moortgat, Michael. editor.
(2)
Müller-Olm, Markus. editor.
(2)
Nikitchenko, Mykola. editor.
(2)
Núñez, Manuel. editor.
(2)
Okhotin, Alexander. editor.
(2)
Ortmeier, Frank. editor.
(2)
Palamidessi, Catuscia. editor.
(2)
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153
(2)
Parent, Xavier. editor.
(2)
Perini, Anna. editor.
(2)
Peña, Ricardo. editor.
(2)
Piazza, Carla. editor.
(2)
Pin, Jean-Éric. editor.
(2)
Piskac, Ruzica. editor.
(2)
Pogodalla, Sylvain. editor.
(2)
Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234
(2)
Proença, José. editor.
(2)
Păsăreanu, Corina S. editor.
(2)
Raskin, Jean-François. editor.
(2)
Rival, Xavier. editor.
(2)
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
(2)
Rubin, Julia. editor.
(2)
Rumpe, Bernhard. editor.
(2)
Salaün, Gwen. editor.
(2)
Sattler, Uli. editor.
(2)
Seiler, Werner M. editor. (orcid)0000-0002-0565-1334
(2)
Seki, Shinnosuke. editor.
(2)
Shallit, Jeffrey. editor.
(2)
Shapira, Dana. editor. (orcid)0000-0002-2320-9064
(2)
Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658
(2)
Son, Tran Cao. editor.
(2)
Spivakovsky, Aleksander. editor.
(2)
Sun, Jun. editor.
(2)
Taha, Walid. editor. (orcid)0000-0003-3160-9188
(2)
Tinelli, Cesare. editor.
(2)
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
(2)
Vardanega, Tullio. editor.
(2)
Verlan, Sergey. editor. (orcid)0000-0001-7800-1618
(2)
Villata, Serena. editor. (orcid)0000-0003-3495-493X
(2)
Virbitskaite, Irina. editor.
(2)
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
(2)
Vorozhtsov, Evgenii V. editor.
(2)
Wąsowski, Andrzej. editor.
(2)
Zhang, Lijun. editor. (orcid)0000-0002-3692-2088
(2)
Zholtkevych, Grygoriy. editor.
(2)
de Moura, Leonardo. editor.
(2)
de Queiroz, Ruy. editor.
(2)
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
(2)
van Gulijk, Coen. editor.
(2)
Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721
(2)
Šafránek, David. editor.
(2)
Țuțu, Ionuț. editor.
(2)
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
(1)
Abdulla, Parosh Aziz. editor.
(1)
Abrahão, Silvia. editor.
(1)
Abreu, Salvador. editor. (orcid)0000-0002-1613-4631
(1)
Agha, Gul. editor.
(1)
Agrawal, Manindra. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Akama, Seiki. editor.
(1)
Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191
(1)
Alferes, Jose Julio. editor.
(1)
Alhazov, Artiom. editor.
(1)
Alkhalaf, Muath. author.
(1)
Amos, Martyn. editor.
(1)
Amyot, Daniel. editor.
(1)
An, Bo. editor. (orcid)0000-0002-7064-7438
(1)
André, Étienne. editor. (orcid)0000-0001-8473-9555
(1)
Antonucci, Alessandro. editor. (orcid)0000-0001-7915-2768
(1)
Artemov, Sergei. editor.
(1)
Asher, Nicholas. editor.
(1)
Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177
(1)
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
(1)
Avgeriou, Paris. editor.
(1)
Avigad, Jeremy. 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)
Badger, Julia M. editor.
(1)
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
(1)
Baier, Christel. editor.
(1)
Baldan, Paolo. editor.
(1)
Baldoni, Matteo. editor.
(1)
Balduccini, Marcello. editor.
(1)
Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054
(1)
Baltag, Alexandru. editor.
(1)
Banerjee, Mohua. editor.
(1)
Bansal, Nikhil. editor.
(1)
Barbosa, Simone D.J. editor.
(1)
Barkatou, Moulay. editor.
(1)
Barlas, Gerassimos. editor.
(1)
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
(1)
Bartocci, Ezio. editor.
(1)
Basili, Roberto. editor.
(1)
Bassiliades, Nick. editor.
(1)
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
(1)
Batsakis, Sotiris. editor.
(1)
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(484)
Dil
Dahil
Hariç
English
(484)
Basım Yılı
Dahil
Hariç
2013
(1)
2014
(100)
2015
(94)
2016-2017
2018-2019
Konu
Dahil
Hariç
Computer science.
(394)
Software engineering.
(358)
Computer logic.
(337)
Mathematical Logic and Formal Languages.
(290)
Programming Languages, Compilers, Interpreters.
(226)
Mathematical logic.
(206)
Artificial intelligence.
(170)
Programming languages (Electronic computers).
(159)
Logic design.
(151)
Algorithm Analysis and Problem Complexity.
(125)
Programming Techniques.
(107)
Computers.
(88)
Computation by Abstract Devices.
(87)
Algorithms.
(78)
Artificial Intelligence (incl. Robotics).
(73)
Computer programming.
(73)
Computer Communication Networks.
(61)
Discrete Mathematics in Computer Science.
(57)
Computer simulation.
(48)
Simulation and Modeling.
(48)
Computer science -- Mathematics.
(47)
Computer software.
(47)
Computer communication systems.
(46)
Information Systems Applications (incl. Internet).
(44)
Management of Computing and Information Systems.
(40)
System Performance and Evaluation.
(40)
Management information systems.
(33)
Computer Systems Organization and Communication Networks.
(31)
Software Engineering/Programming and Operating Systems.
(30)
Special Purpose and Application-Based Systems.
(29)
Probability and Statistics in Computer Science.
(26)
Computer system failures.
(23)
Computer security.
(22)
Systems and Data Security.
(22)
The Computing Profession.
(22)
Application software.
(19)
Computer organization.
(18)
Computer system performance.
(17)
Mathematical statistics.
(17)
Special purpose computers.
(17)
Data Structures.
(16)
Computer network architectures.
(15)
Mathematics of Computing.
(15)
Numeric Computing.
(15)
Computer Appl. in Administrative Data Processing.
(14)
Computer industry.
(14)
Data structures (Computer scienc.
(12)
Computational complexity.
(11)
Computer Applications.
(11)
Computer science—Mathematics.
(11)
Mathematical Logic and Foundations.
(11)
Data structures (Computer science).
(10)
Database management.
(10)
Information storage and retrieval.
(10)
Symbolic and Algebraic Manipulation.
(10)
Numerical analysis.
(9)
Natural Language Processing (NLP).
(8)
Natural language processing (Computer science).
(8)
Information Systems.
(7)
Information systems.
(7)
Bioinformatics.
(6)
Computational Biology/Bioinformatics.
(6)
Computing Milieux.
(6)
Data Mining and Knowledge Discovery.
(6)
Data mining.
(6)
Electronic data processing.
(6)
Logic in AI.
(6)
Math Applications in Computer Science.
(6)
Computer System Implementation.
(5)
Image Processing and Computer Vision.
(5)
Information Storage and Retrieval.
(5)
Information storage and retrieval systems.
(5)
Operating Systems.
(5)
Operating systems (Computers).
(5)
Coding and Information Theory.
(4)
Coding theory.
(4)
Computer hardware.
(4)
Data Structures and Information Theory.
(4)
Data encryption (Computer science).
(4)
Models and Principles.
(4)
Pattern recognition.
(4)
Algebra -- Data processing.
(3)
Architecture, Computer.
(3)
Arithmetic and Logic Structures.
(3)
Computational linguistics.
(3)
Computer Science, general.
(3)
Computer vision.
(3)
Computers and Education.
(3)
Control Structures and Microprogramming.
(3)
Language Translation and Linguistics.
(3)
Logic, Symbolic and mathematical.
(3)
Logic.
(3)
Quantum Computing.
(3)
Theory of Computation.
(3)
User Interfaces and Human Computer Interaction.
(3)
User interfaces (Computer systems).
(3)
Arithmetic and logic units, Computer.
(2)
Cryptology.
(2)
Data Encryption.
(2)
Data Structures, Cryptology and Information Theory.
(2)
Data protection.
(2)
Education -- Data processing.
(2)
History of Computing.
(2)
Information Systems and Communication Service.
(2)
Information theory.
(2)
Microprogramming .
(2)
Optical data processing.
(2)
Philosophy.
(2)
Quantum computers.
(2)
Security.
(2)
Business -- Data processing.
(1)
Business Information Systems.
(1)
Circuits and Systems.
(1)
Combinatorics.
(1)
Computational intelligence.
(1)
Computer aided design.
(1)
Computer engineering.
(1)
Computer mathematics.
(1)
Computer-Aided Engineering (CAD, CAE) and Design.
(1)
Computers and Society.
(1)
Computers and civilization.
(1)
Computing Methodologies.
(1)
Economics.
(1)
Economics/Management Science.
(1)
Education.
(1)
Electrical engineering.
(1)
Electronic circuits.
(1)
Engineering.
(1)
Graph Theory.
(1)
Health informatics.
(1)
IT in Business.
(1)
Information technology.
(1)
Machine learning.
(1)
Mathematical Applications in Computer Science.
(1)
Memory Structures.
(1)
Memory management (Computer scie.
(1)
Microprogramming.
(1)
Operations Research/Decision Theory.
(1)
Operations research.
(1)
Optical pattern recognition.
(1)
Partial differential equations.
(1)
Pattern Recognition.
(1)
Philosophy of mind.
(1)
Processor Architectures.
(1)
Quantum Physics.
(1)
Quantum theory.
(1)
Robotics.
(1)
e-Commerce/e-business.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(484)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(484)
Kütüphane
Dahil
Hariç
TEDU library
(484)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Git:
Arama Sonuçları
|
Sayfa Başı
|
Arama Filtreleri