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
Arama Sonuçlarını Sınırlandır
Daraltılmış:
Included
Konu: Mathematical Logic and Formal Languages.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(101)
Dediu, Adrian-Horia. editor.
(3)
Martín-Vide, Carlos. editor.
(3)
Truthe, Bianca. editor.
(3)
Beckmann, Arnold. editor.
(2)
Bouchon-Meunier, Bernadette. editor.
(2)
Butler, Michael. editor.
(2)
Carvalho, Joao Paulo. editor.
(2)
Csuhaj-Varjú, Erzsébet. editor.
(2)
Dietzfelbinger, Martin. editor.
(2)
Goertzel, Ben. editor.
(2)
Kaymak, Uzay. editor.
(2)
Lesot, Marie-Jeanne. editor.
(2)
Merz, Stephan. editor.
(2)
Okhotin, Alexander. editor.
(2)
Potapov, Igor. editor.
(2)
Raskin, Jean-François. editor.
(2)
Shallit, Jeffrey. editor.
(2)
Vieira, Susana. editor.
(2)
Yager, Ronald R. editor.
(2)
de Queiroz, Ruy. editor.
(2)
Ábrahám, Erika. editor.
(2)
Ésik, Zoltán. editor.
(2)
Agrawal, Manindra. editor.
(1)
Amos, Martyn. editor.
(1)
Baier, Christel. editor.
(1)
Baldan, Paolo. editor.
(1)
Bansal, Nikhil. editor.
(1)
Baptista, Jorge. editor.
(1)
Barceló, Pablo. editor.
(1)
Barkatou, Moulay. editor.
(1)
Bartocci, Ezio. editor.
(1)
Beierle, Christoph. editor.
(1)
Bekki, Daisuke. editor.
(1)
Beklemishev, Lev D. editor.
(1)
Bieger, Jordi. editor.
(1)
Bienvenu, Laurent. editor.
(1)
Biro, Miklos. editor.
(1)
Blanchette, Jasmin Christian. editor.
(1)
Blesa, Maria J. editor.
(1)
Blum, Christian. editor.
(1)
Bonakdarpour, Borzoo. editor.
(1)
Bonsangue, Marcello. editor.
(1)
Brlek, Srečko. editor.
(1)
Bulling, Nils. editor.
(1)
CONDON, ANNE. editor.
(1)
Calinescu, Radu. editor.
(1)
Calude, Cristian S. editor.
(1)
Candeias, Sara. editor.
(1)
Cangelosi, Angelo. editor.
(1)
Cassez, Franck. editor.
(1)
Chechik, Marsha. editor.
(1)
Cluzeau, Thomas. editor.
(1)
Colinet, Margot. editor.
(1)
Conchon, Sylvain. editor.
(1)
Cook, Matthew. editor.
(1)
Cooper, S. Barry. editor.
(1)
Cutello, Vincenzo. editor.
(1)
Câmpeanu, Cezar. editor.
(1)
DI NUOVO, ALESSANDRO. editor.
(1)
Davenport, James H. editor.
(1)
Demri, Stéphane. editor.
(1)
Diaz, Josep. editor.
(1)
Dinh, Thang N. editor.
(1)
Drewes, Frank. editor.
(1)
Durand-Lose, Jerome. editor.
(1)
Echahed, Rachid. editor.
(1)
Eiter, Thomas. editor.
(1)
Fermé, Eduardo. editor.
(1)
Finocchi, Irene. editor.
(1)
Formenti, Enrico. editor.
(1)
Freivalds, Rūsiņš. editor.
(1)
Froncek, Dalibor. editor.
(1)
Gamboa, Ruben. editor.
(1)
Ganty, Pierre. editor.
(1)
Gavanelli, Marco. editor.
(1)
Ghosh, Sujata. editor.
(1)
Giese, Holger. editor.
(1)
Gopal, T. V. editor.
(1)
Gorla, Daniele. editor.
(1)
Hajiaghayi, Mohammad Taghi. editor.
(1)
Hameurlain, Abdelkader. editor.
(1)
Han, Yo-Sub. editor.
(1)
Hankin, Chris. editor.
(1)
Hansen, René Rydhof. editor.
(1)
Havelund, Klaus. editor.
(1)
Hirsch, Edward A. editor.
(1)
Hirvonen, Åsa. editor.
(1)
Holzer, Markus. editor.
(1)
Hölzl, Matthias. editor.
(1)
Iida, Hiroyuki. editor.
(1)
Inoue, Katsumi. editor.
(1)
Italiano, Giuseppe F. editor.
(1)
Jacobs, Bart. editor.
(1)
Jain, Rahul. editor.
(1)
Jain, Sanjay. editor.
(1)
Jan, Kratochvíl. editor.
(1)
Janoušek, Jan. editor.
(1)
Johnsen, Einar Broch. editor.
(1)
Jonoska, Nataša. editor.
(1)
Julian, Vicente. editor.
(1)
Jürgensen, Helmut. editor.
(1)
Kahl, Wolfram. editor.
(1)
Kapur, Deepak. editor.
(1)
Karhumäki, Juhani. editor.
(1)
Karydis, Ioannis. editor.
(1)
Katrenko, Sophia. editor.
(1)
Kaufmann, Michael. author.
(1)
Kazuo, Iwama. editor.
(1)
Klein, Gerwin. editor.
(1)
Koch, Nora. editor.
(1)
Kohlenbach, Ulrich. editor.
(1)
Kroening, Daniel. editor.
(1)
Kulikov, Alexander S. editor.
(1)
Kutrib, Martin. editor.
(1)
Kuznetsov, Sergei O. editor.
(1)
König, Barbara. editor.
(1)
Küng, Josef. editor.
(1)
Lamma, Evelina. editor.
(1)
Lanese, Ivan. editor.
(1)
Larsen, Kim Guldstrand. editor.
(1)
Leake, David. editor.
(1)
Leite, João. editor.
(1)
Leivant, Daniel. editor.
(1)
Li, Angsheng. editor.
(1)
Lipták, Zsuzsanna. editor.
(1)
Loreti, Michele. editor.
(1)
Löding, Christof. editor.
(1)
Maffei, Matteo. editor.
(1)
Majumdar, Rupak. editor.
(1)
Mamede, Nuno. editor.
(1)
Manea, Florin. editor.
(1)
Mashkoor, Atif. editor.
(1)
Mayer, Philip. editor.
(1)
Mazzara, Manuel. editor.
(1)
Meduna, Alexander. author.
(1)
Meghini, Carlo. editor.
(1)
Meziane, Farid. editor.
(1)
Miller, Mirka. editor.
(1)
Minas, Mark. editor.
(1)
Mineshima, Koji. editor.
(1)
Mitrana, Victor. editor.
(1)
Moss, Lawrence S. editor.
(1)
Mousavi, Mohammad Reza. editor.
(1)
Murata, Tsuyoshi. editor.
(1)
Musatov, Daniil V. editor.
(1)
Mäkinen, Veli. editor.
(1)
Métais, Elisabeth. editor.
(1)
Nagy, Benedek. editor.
(1)
Neary, Turlough. editor.
(1)
Ohwada, Hayato. editor.
(1)
Oliveira, José. editor.
(1)
Orseau, Laurent. editor.
(1)
Ortmeier, Frank. editor.
(1)
O’Sullivan, Barry. editor.
(1)
Pang, Jun. editor.
(1)
Paraboni, Ivandré. editor.
(1)
Pardo, Thiago A. S. editor.
(1)
Parisi-Presicce, Francesco. editor.
(1)
Pavone, Mario. editor.
(1)
Pesant, Gilles. editor.
(1)
Peters, James F. editor.
(1)
Pfahringer, Bernhard. editor.
(1)
Pighizzini, Giovanni. editor.
(1)
Pin, Jean-Éric. editor.
(1)
Plaat, Aske. editor.
(1)
Potapov, Alexey. editor.
(1)
Probst, Christian W. editor.
(1)
Puglisi, Simon J. editor.
(1)
Păsăreanu, Corina S. editor.
(1)
Queiroz, Ruy de. editor.
(1)
Rauzy, Antoine. editor.
(1)
Regensburger, Georg. editor.
(1)
Remke, Anne. editor.
(1)
Rendsvig, Rasmus K. editor.
(1)
Renz, Jochen. editor.
(1)
Reutenauer, Christophe. editor.
(1)
Riguzzi, Fabrizio. editor.
(1)
Rival, Xavier. editor.
(1)
Rosenkranz, Markus. editor.
(1)
Rovatsos, Michael. editor.
(1)
Rueher, Michel. editor.
(1)
Rumpe, Bernhard. editor.
(1)
Salmela, Leena. editor.
(1)
Salomaa, Kai. editor.
(1)
Sangiorgi, Davide. editor.
(1)
Sannella, Donald T. editor.
(1)
Saraee, Mohamad. editor.
(1)
Sattler, Uli. editor.
(1)
Schewe, Klaus-Dieter. editor.
(1)
Schockaert, Steven. editor.
(1)
Senellart, Pierre. editor.
(1)
Sexton, Alan P. editor.
(1)
Shi, Zhongzhi. editor.
(1)
Shur, Arseny M. editor.
(1)
Sierra-Rodríguez, José-Luis. editor.
(1)
Sioutas, Spyros. editor.
(1)
Skowron, Andrzej. editor.
(1)
Skrzypczak, Michał. author.
(1)
Smolka, Scott A. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(101)
Dil
Dahil
Hariç
English
(101)
Basım Yılı
Dahil
Hariç
2014
(35)
2015
(31)
2016
(35)
Konu
Dahil
Hariç
Mathematical logic.
(101)
Computer science.
(100)
Algorithm Analysis and Problem Complexity.
(72)
Algorithms.
(72)
Computer logic.
(52)
Logics and Meanings of Programs.
(52)
Computer science -- Mathematics.
(50)
Artificial Intelligence (incl. Robotics).
(43)
Artificial intelligence.
(43)
Computers.
(38)
Discrete Mathematics in Computer Science.
(38)
Computation by Abstract Devices.
(37)
Software engineering.
(35)
Programming Languages, Compilers, Interpreters.
(19)
Programming languages (Electronic computers).
(19)
Data structures (Computer science).
(16)
Data Structures.
(14)
Information Systems Applications (incl. Internet).
(14)
Information storage and retrieval.
(12)
Data Mining and Knowledge Discovery.
(11)
Data mining.
(11)
Computer programming.
(10)
Mathematics of Computing.
(10)
Numeric Computing.
(10)
Numerical analysis.
(10)
Programming Techniques.
(10)
Computer Communication Networks.
(9)
Computer communication systems.
(9)
Symbolic and Algebraic Manipulation.
(9)
Bioinformatics.
(7)
Computational Biology/Bioinformatics.
(7)
Database management.
(5)
Pattern recognition.
(5)
Computer security.
(4)
Computer simulation.
(4)
Math Applications in Computer Science.
(4)
Mathematical statistics.
(4)
Probability and Statistics in Computer Science.
(4)
Simulation and Modeling.
(4)
Systems and Data Security.
(4)
Combinatorics.
(3)
Computer Systems Organization and Communication Networks.
(3)
Computer organization.
(3)
Computational linguistics.
(2)
Data Structures, Cryptology and Information Theory.
(2)
Image Processing and Computer Vision.
(2)
Image processing.
(2)
Language Translation and Linguistics.
(2)
Software Engineering/Programming and Operating Systems.
(2)
Theory of Computation.
(2)
Application software.
(1)
Business -- Data processing.
(1)
Business and Management.
(1)
Business.
(1)
Computer Appl. in Administrative Data Processing.
(1)
Computer graphics.
(1)
Computer system failures.
(1)
Discrete mathematics.
(1)
Document Preparation and Text Processing.
(1)
E-commerce.
(1)
IT in Business.
(1)
Information technology.
(1)
Marketing.
(1)
Mathematical Logic and Foundations.
(1)
Partial differential equations.
(1)
Quantum Computing.
(1)
Quantum computers.
(1)
System Performance and Evaluation.
(1)
Text processing (Computer science).
(1)
User Interfaces and Human Computer Interaction.
(1)
User interfaces (Computer systems).
(1)
e-Commerce/e-business.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(101)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(101)
Kütüphane
Dahil
Hariç
TEDU library
(101)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
No results found