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
206 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
..
14
15
16
17
18
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.
205.
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Yazar
Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-642-54862-8
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
206.
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings
Yazar
Gopal, T. V. editor.
http://dx.doi.org/10.1007/978-3-319-06089-7
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
Tümünü Seç
1
..
14
15
16
17
18
206 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
Kütüphane: TEDU library
Included
Konu: Mathematical logic.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(206)
Ábrahám, Erika. editor.
(4)
Duan, Zhenhua. editor.
(3)
Kroening, Daniel. editor.
(3)
Lanese, Ivan. editor.
(3)
Liu, Shaoying. editor.
(3)
Margaria, Tiziana. editor.
(3)
Potapov, Igor. editor.
(3)
Schewe, Klaus-Dieter. editor.
(3)
Voronkov, Andrei. editor.
(3)
Ait Ameur, Yamine. editor.
(2)
Albert, Elvira. editor.
(2)
Bernardo, Marco. editor.
(2)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(2)
Bjørner, Nikolaj. editor.
(2)
Blanchette, Jasmin Christian. editor.
(2)
Braga, Christiano. editor.
(2)
Chaudhuri, Swarat. editor.
(2)
De Nicola, Rocco. editor.
(2)
Farzan, Azadeh. editor.
(2)
Giannakopoulou, Dimitra. editor.
(2)
Gnesi, Stefania. editor.
(2)
Graf, Susanne. editor.
(2)
Havelund, Klaus. editor.
(2)
Huisman, Marieke. editor.
(2)
Johnsen, Einar Broch. editor.
(2)
Kahl, Wolfram. editor.
(2)
Larsen, Kim Guldstrand. editor.
(2)
Lecomte, Thierry. editor.
(2)
Legay, Axel. editor.
(2)
Liu, Zhiming. editor.
(2)
Lutz, Carsten. editor.
(2)
Manea, Florin. editor.
(2)
Martí-Oliet, Narciso. editor.
(2)
Moortgat, Michael. editor.
(2)
Okhotin, Alexander. editor.
(2)
Palamidessi, Catuscia. editor.
(2)
Pogodalla, Sylvain. editor.
(2)
Păsăreanu, Corina S. editor.
(2)
Raskin, Jean-François. editor.
(2)
Rival, Xavier. editor.
(2)
Roman, Dumitru. editor.
(2)
Sattler, Uli. editor.
(2)
Shallit, Jeffrey. editor.
(2)
Steffen, Bernhard. editor.
(2)
Sun, Jun. editor.
(2)
Tinelli, Cesare. editor.
(2)
Vardanega, Tullio. editor.
(2)
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
(2)
Zhang, Lijun. editor. (orcid)0000-0002-3692-2088
(2)
de Queiroz, Ruy. editor.
(2)
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
(2)
Ölveczky, Peter Csaba. editor.
(2)
Agrawal, Manindra. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Akama, Seiki. editor.
(1)
Alferes, Jose Julio. editor.
(1)
Amos, Martyn. editor.
(1)
André, Étienne. editor. (orcid)0000-0001-8473-9555
(1)
Artho, Cyrille. editor.
(1)
Asher, Nicholas. editor.
(1)
Baier, Christel. editor.
(1)
Baldan, Paolo. editor.
(1)
Baldoni, Matteo. editor.
(1)
Banerjee, Mohua. editor.
(1)
Bansal, Nikhil. editor.
(1)
Barkatou, Moulay. editor.
(1)
Bartocci, Ezio. editor.
(1)
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
(1)
Batsakis, Sotiris. editor.
(1)
Beierle, Christoph. editor.
(1)
Beklemishev, Lev D. editor.
(1)
Bensalem, Saddek. editor.
(1)
Bernardi, Raffaella. editor.
(1)
Bertogna, Marko. editor.
(1)
Bertossi, Leopoldo. editor.
(1)
Biere, Armin. editor.
(1)
Biondi, Fabrizio. editor.
(1)
Biro, Miklos. editor.
(1)
Bitsch, Friedemann. editor.
(1)
Blazy, Sandrine. editor.
(1)
Bloem, Roderick. editor.
(1)
Bojańczyk, Mikołaj. editor.
(1)
Bonakdarpour, Borzoo. editor.
(1)
Boniol, Frédéric. editor.
(1)
Bonsangue, Marcello M. editor.
(1)
Bonsangue, Marcello. editor.
(1)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(1)
Bošnački, Dragan. editor.
(1)
Breugel, Franck van. editor.
(1)
Brlek, Srečko. editor.
(1)
Bulling, Nils. editor.
(1)
Butler, Michael. editor.
(1)
CONDON, ANNE. editor.
(1)
Calimeri, Francesco. editor.
(1)
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
(1)
Calinescu, Radu. editor.
(1)
Calvanese, Diego. editor. (orcid)0000-0001-5174-9693
(1)
Canal, Carlos. editor.
(1)
Cariani, Fabrizio. editor.
(1)
Casadio, Claudia. editor.
(1)
Cassez, Franck. editor.
(1)
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
(1)
Castor, Fernando. editor.
(1)
Chang, Bor-Yuh Evan. editor.
(1)
Chechik, Marsha. editor.
(1)
Chen, Yu-Fang. editor.
(1)
Cheng, Chih-Hong. editor.
(1)
Chopra, Amit K. editor.
(1)
Cleaveland, Rance. editor.
(1)
Cluzeau, Thomas. editor.
(1)
Codescu, Mihai. editor.
(1)
Codish, Michael. editor.
(1)
Coecke, Bob. editor.
(1)
Cohen, Ernie. editor.
(1)
Colinet, Margot. editor.
(1)
Collart-Dutilleul, Simon. editor.
(1)
Cooper, S. Barry. editor.
(1)
Cornélio, Márcio. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Câmpeanu, Cezar. editor.
(1)
Davis, Jesse. editor.
(1)
Davis, Martin. editor.
(1)
De Nivelle, Hans. editor.
(1)
Demri, Stéphane. editor.
(1)
Deng, Yuxin. author.
(1)
Denoeux, Thierry. editor.
(1)
Desmedt, Yvo. editor.
(1)
Destercke, Sébastien. editor.
(1)
Diaconescu, Răzvan. editor.
(1)
Diaz, Josep. editor.
(1)
Dillig, Isil. editor.
(1)
Dowek, Gilles. editor.
(1)
Durand-Lose, Jerome. editor.
(1)
D’Souza, Deepak. editor.
(1)
Echahed, Rachid. editor.
(1)
Egyed, Alexander. editor.
(1)
Eiter, Thomas. editor.
(1)
Escobar, Santiago. editor.
(1)
Esparza, Javier. editor.
(1)
Fages, François. editor.
(1)
Falaschi, Moreno. editor.
(1)
Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667
(1)
Fehnker, Ansgar. editor.
(1)
Feng, Xinyu. editor.
(1)
Fermé, Eduardo. editor.
(1)
Fiadeiro, José Luiz. editor.
(1)
Finkbeiner, Bernd. editor.
(1)
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
(1)
Finocchi, Irene. editor.
(1)
Fodor, Paul. editor.
(1)
Fodor, Paul. editor. (orcid)0000-0002-2978-676X
(1)
Fontaine, Pascal. editor.
(1)
Foret, Annie. editor.
(1)
Fränzle, Martin. editor.
(1)
Furia, Carlo A. editor.
(1)
Gamboa, Ruben. editor.
(1)
Garrigue, Jacques. editor.
(1)
George, Laurent. editor.
(1)
Ghosh, Sujata. editor.
(1)
Giese, Holger. editor.
(1)
Given-Wilson, Thomas. editor.
(1)
Gopal, T. V. editor.
(1)
Gorla, Daniele. editor.
(1)
Governatori, Guido. editor.
(1)
Grossi, Davide. editor.
(1)
Grosu, Radu. editor. (orcid)0000-0001-5715-2142
(1)
Guan, Nan. editor.
(1)
Guiochet, Jérémie. editor.
(1)
Gupta, Gopal. editor.
(1)
Gurfinkel, Arie. editor.
(1)
Güdemann, Matthias. editor.
(1)
Hage, Jurriaan. editor.
(1)
Han, Yo-Sub. editor.
(1)
Hankin, Chris. editor.
(1)
Hansen, René Rydhof. editor.
(1)
Hasuo, Ichiro. editor.
(1)
Hennicker, Rolf. editor.
(1)
Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
(1)
Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446
(1)
Hillston, Jane. editor.
(1)
Hinze, Ralf. editor.
(1)
Hirayama, Katsutoshi. editor.
(1)
Hirsch, Edward A. editor.
(1)
Hirvonen, Åsa. editor.
(1)
Hofman, Piotrek. editor.
(1)
Holliday, Wesley H. editor.
(1)
Holzmann, Gerard. editor.
(1)
Hospodár, Michal. editor.
(1)
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
(1)
Höfner, Peter. editor.
(1)
Hölzl, Matthias. editor.
(1)
Ianni, Giovambattista. editor.
(1)
Idani, Akram. editor.
(1)
Iemhoff, Rosalie. editor.
(1)
Iida, Shusaku. editor.
(1)
Inoue, Katsumi. editor.
(1)
Jacobs, Bart. editor.
(1)
Jain, Rahul. editor.
(1)
Jain, Sanjay. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(206)
Dil
Dahil
Hariç
English
(206)
Basım Yılı
Dahil
Hariç
2014
(58)
2015
(58)
2016
(53)
2019
(37)
Konu
Dahil
Hariç
Computer logic.
(206)
Logics and Meanings of Programs.
(206)
Mathematical Logic and Formal Languages.
(203)
Computer science.
(167)
Software engineering.
(151)
Programming Languages, Compilers, Interpreters.
(100)
Programming languages (Electronic computers).
(100)
Artificial intelligence.
(79)
Computers.
(59)
Artificial Intelligence (incl. Robotics).
(56)
Algorithm Analysis and Problem Complexity.
(51)
Algorithms.
(51)
Computation by Abstract Devices.
(50)
Computer programming.
(43)
Programming Techniques.
(43)
Computer science -- Mathematics.
(41)
Discrete Mathematics in Computer Science.
(36)
Computer Communication Networks.
(18)
Computer communication systems.
(18)
Software Engineering/Programming and Operating Systems.
(15)
Computer simulation.
(14)
Simulation and Modeling.
(14)
Computer system failures.
(10)
Information Systems Applications (incl. Internet).
(10)
System Performance and Evaluation.
(10)
Mathematical statistics.
(9)
Probability and Statistics in Computer Science.
(9)
Special Purpose and Application-Based Systems.
(9)
Special purpose computers.
(9)
Management information systems.
(8)
Management of Computing and Information Systems.
(8)
Mathematical Logic and Foundations.
(8)
Application software.
(7)
Data structures (Computer science).
(7)
Mathematics of Computing.
(7)
Symbolic and Algebraic Manipulation.
(7)
Computer Systems Organization and Communication Networks.
(6)
Computer organization.
(6)
Logic in AI.
(6)
Numeric Computing.
(6)
Numerical analysis.
(6)
Data Structures.
(5)
Information storage and retrieval.
(5)
Computer Appl. in Administrative Data Processing.
(4)
Computer science—Mathematics.
(4)
Database management.
(4)
Computer Applications.
(3)
Computer security.
(3)
Models and Principles.
(3)
Natural Language Processing (NLP).
(3)
Natural language processing (Computer science).
(3)
Systems and Data Security.
(3)
The Computing Profession.
(3)
Computational linguistics.
(2)
Computer Science, general.
(2)
Data Mining and Knowledge Discovery.
(2)
Data Structures, Cryptology and Information Theory.
(2)
Data mining.
(2)
Language Translation and Linguistics.
(2)
Logic design.
(2)
Logic.
(2)
Math Applications in Computer Science.
(2)
Operating Systems.
(2)
Operating systems (Computers).
(2)
Bioinformatics.
(1)
Coding and Information Theory.
(1)
Coding theory.
(1)
Computational Biology/Bioinformatics.
(1)
Computational intelligence.
(1)
Computers and Education.
(1)
Computing Methodologies.
(1)
Control Structures and Microprogramming.
(1)
Data Encryption.
(1)
Data encryption (Computer science).
(1)
Education -- Data processing.
(1)
Electrical engineering.
(1)
Engineering.
(1)
Health informatics.
(1)
History of Computing.
(1)
Image Processing and Computer Vision.
(1)
Information Systems and Communication Service.
(1)
Machine learning.
(1)
Microprogramming .
(1)
Optical data processing.
(1)
Partial differential equations.
(1)
Pattern recognition.
(1)
Philosophy.
(1)
Robotics.
(1)
Theory of Computation.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(206)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(206)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}