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
110 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
..
6
7
8
9
10
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.
109.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Yazar
Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format:
Electronic Resources
110.
David Makinson on Classical Methods for Non-Classical Problems
David Makinson on Classical Methods for Non-Classical Problems
Yazar
Hansson, Sven Ove. editor.
http://dx.doi.org/10.1007/978-94-007-7759-0
Format:
Electronic Resources
Tümünü Seç
1
..
6
7
8
9
10
110 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
Lokasyon: Springer E-Book Collection
Included
Basım Yılı: 2014
Included
Konu: Mathematical logic.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(110)
Bouchon-Meunier, Bernadette. editor.
(3)
Laurent, Anne. editor.
(3)
Yager, Ronald R. editor.
(3)
Ait Ameur, Yamine. editor.
(2)
Cornelis, Chris. editor.
(2)
Csuhaj-Varjú, Erzsébet. editor.
(2)
Dietzfelbinger, Martin. editor.
(2)
Giannakopoulou, Dimitra. editor.
(2)
Kryszkiewicz, Marzena. editor.
(2)
Margaria, Tiziana. editor.
(2)
Palamidessi, Catuscia. editor.
(2)
Peters, James F. editor.
(2)
Schewe, Klaus-Dieter. editor.
(2)
Skowron, Andrzej. editor.
(2)
Steffen, Bernhard. editor.
(2)
Strauss, Olivier. editor.
(2)
Ábrahám, Erika. editor.
(2)
Ésik, Zoltán. editor.
(2)
Abadi, Martín. editor.
(1)
Agazzi, Evandro. author.
(1)
Agrawal, Manindra. editor.
(1)
Albert, Elvira. editor.
(1)
Aranda-Corral, Gonzalo A. editor.
(1)
Asher, Nicholas. editor.
(1)
Baldan, Paolo. editor.
(1)
Baltag, Alexandru. editor.
(1)
Baptista, Jorge. editor.
(1)
Barais, Olivier. editor.
(1)
Barceló, Pablo. editor.
(1)
Barkatou, Moulay. editor.
(1)
Beierle, Christoph. editor.
(1)
Bekki, Daisuke. editor.
(1)
Bello, Rafael. editor.
(1)
Bensalem, Saddek. editor.
(1)
Bezhanishvili, Guram. editor.
(1)
Biere, Armin. editor.
(1)
Blackwell, Clive. editor.
(1)
Bloem, Roderick. editor.
(1)
Bobillo, Fernando. editor.
(1)
Boiten, Eerke A. author.
(1)
Bonakdarpour, Borzoo. editor.
(1)
Boniol, Frédéric. editor.
(1)
Bonsangue, Marcello M. editor.
(1)
Bourdeau, Michel. editor.
(1)
Breugel, Franck van. editor.
(1)
Bulling, Nils. editor.
(1)
Calmet, Jacques. editor.
(1)
Calosi, Claudio. editor.
(1)
Calude, Cristian S. editor.
(1)
Candeias, Sara. editor.
(1)
Cariani, Fabrizio. editor.
(1)
Carvalho, Rommel N. editor.
(1)
Casadio, Claudia. editor.
(1)
Cassez, Franck. editor.
(1)
Ciucci, Davide. editor.
(1)
Cluzeau, Thomas. editor.
(1)
Codish, Michael. editor.
(1)
Coecke, Bob. editor.
(1)
Cohen, Ernie. editor.
(1)
Colinet, Margot. editor.
(1)
Combemale, Benoît. editor.
(1)
Cooper, S. Barry. editor.
(1)
Costa, Paulo C.G. editor.
(1)
Croitoru, Madalina. editor.
(1)
Davenport, James H. editor.
(1)
Davis, Brian. editor.
(1)
Dediu, Adrian-Horia. editor.
(1)
Demri, Stéphane. editor.
(1)
Deng, Yuxin. author.
(1)
Derrick, John. author.
(1)
Diaz, Josep. editor.
(1)
Dowek, Gilles. editor.
(1)
Duan, Zhenhua. editor.
(1)
Dubucs, Jacques. editor.
(1)
Escobar, Santiago. editor.
(1)
Fages, François. editor.
(1)
Fanizzi, Nicola. editor.
(1)
Fermé, Eduardo. editor.
(1)
Fiadeiro, José Luiz. editor.
(1)
Freivalds, Rūsiņš. editor.
(1)
Friend, Michèle. author.
(1)
Gamboa, Ruben. editor.
(1)
Garrigue, Jacques. editor.
(1)
George, Laurent. editor.
(1)
Giese, Holger. editor.
(1)
Glodeanu, Cynthia Vera. editor.
(1)
Gnesi, Stefania. editor.
(1)
Goertzel, Ben. editor.
(1)
Gonzales, Christophe. editor.
(1)
Gopal, T. V. editor.
(1)
Gorla, Daniele. editor.
(1)
Graziani, Pierluigi. editor.
(1)
Grossi, Davide. editor.
(1)
Gupta, Gopal. editor.
(1)
Hansson, Sven Ove. editor.
(1)
Havelund, Klaus. editor.
(1)
Hirsch, Edward A. editor.
(1)
Holzer, Markus. editor.
(1)
Horrocks, Ian. editor.
(1)
Horská, Anna. author.
(1)
Höfner, Peter. editor.
(1)
Iida, Hiroyuki. editor.
(1)
Iida, Shusaku. editor.
(1)
Jamroga, Wojtek. editor.
(1)
Jipsen, Peter. editor.
(1)
Jones, Cliff. editor.
(1)
Jones, Richard. editor.
(1)
Jürgensen, Helmut. editor.
(1)
Kahl, Wolfram. editor.
(1)
Kaljurand, Kaarel. editor.
(1)
Kapur, Deepak. editor.
(1)
Karhumäki, Juhani. editor.
(1)
Kashefi, Elham. editor.
(1)
Katrenko, Sophia. editor.
(1)
Kaufmann, Michael. author.
(1)
Kaytoue, Mehdi. editor.
(1)
Kazuo, Iwama. editor.
(1)
Klein, Gerwin. author.
(1)
Klein, Gerwin. editor.
(1)
Kohlenbach, Ulrich. editor.
(1)
Kolaitis, Phokion. editor.
(1)
Koubarakis, Manolis. editor.
(1)
Kroening, Daniel. editor.
(1)
Kuhn, Tobias. editor.
(1)
Kutrib, Martin. editor.
(1)
Kuznetsov, Sergei O. editor.
(1)
König, Barbara. editor.
(1)
Lakhneck, Yassine. editor.
(1)
Lanese, Ivan. editor.
(1)
Laskey, Kathryn B. editor.
(1)
Laskey, Kenneth J. editor.
(1)
Lausen, Georg. editor.
(1)
Leake, David. editor.
(1)
Legay, Axel. editor.
(1)
Leite, João. editor.
(1)
Li, Angsheng. editor.
(1)
Li, Tianrui. editor.
(1)
Lihoreau, Franck. editor.
(1)
Liu, Shaoying. editor.
(1)
Liu, Zhiming. editor.
(1)
Lluch Lafuente, Alberto. editor.
(1)
Lukasiewicz, Thomas. editor.
(1)
Lutz, Carsten. editor.
(1)
Maffei, Matteo. editor.
(1)
Mamede, Nuno. editor.
(1)
Martín-Mateos, Francisco J. editor.
(1)
Martín-Vide, Carlos. editor.
(1)
McMillan, Kenneth L. editor.
(1)
Medina-Moreno, Jesús. editor.
(1)
Meduna, Alexander. author.
(1)
Meghini, Carlo. editor.
(1)
Meheus, Joke. editor.
(1)
Merz, Stephan. editor.
(1)
Meseguer, José. editor.
(1)
Montano, Ulianov. author.
(1)
Moortgat, Michael. editor.
(1)
Morrill, Glyn. editor.
(1)
Motoda, Hiroshi. editor.
(1)
Muscholl, Anca. editor.
(1)
Muskens, Reinhard. editor.
(1)
Müller, Martin Eric. editor.
(1)
Müller-Olm, Markus. editor.
(1)
Nakano, Yukiko. editor.
(1)
Nguyen, Hung Son. editor.
(1)
Nickles, Matthias. editor.
(1)
Nipkow, Tobias. author.
(1)
Ogata, Kazuhiro. editor.
(1)
Ogrodniczuk, Maciej. editor.
(1)
Okhotin, Alexander. editor.
(1)
Orseau, Laurent. editor.
(1)
Ortmeier, Frank. editor.
(1)
Osswald, Rainer. editor.
(1)
Ouaknine, Joël. editor.
(1)
O’Regan, Gerard. author.
(1)
O’Sullivan, Barry. editor.
(1)
Paes, Aline. editor.
(1)
Pang, Jun. editor.
(1)
Paraboni, Ivandré. editor.
(1)
Pardo, Thiago A. S. editor.
(1)
Parent, Xavier. editor.
(1)
Park, Seong-Bae. editor.
(1)
Pearce, David J. editor.
(1)
Peña, Ricardo. editor.
(1)
Pham, Duc-Nghia. editor.
(1)
Piazza, Carla. editor.
(1)
Pihlajasaari, Pekka. editor.
(1)
Pin, Jean-Éric. editor.
(1)
Plaat, Aske. editor.
(1)
Pollard, Stephen. author.
(1)
Pool, Michael. editor.
(1)
Potapov, Igor. editor.
(1)
Przepiórkowski, Adam. editor.
(1)
Queiroz, Ruy de. editor.
(1)
Raskin, Jean-François. editor.
(1)
Rauzy, Antoine. editor.
(1)
Raś, Zbigniew W. editor.
(1)
Rebuschi, Manuel. editor.
(1)
Regensburger, Georg. editor.
(1)
Remke, Anne. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(110)
Dil
Dahil
Hariç
English
(110)
Konu
Dahil
Hariç
Mathematical Logic and Formal Languages.
(102)
Computer science.
(96)
Computer logic.
(58)
Logics and Meanings of Programs.
(58)
Artificial Intelligence (incl. Robotics).
(45)
Artificial intelligence.
(45)
Software engineering.
(42)
Programming Languages, Compilers, Interpreters.
(30)
Programming languages (Electronic computers).
(30)
Computers.
(28)
Computer science -- Mathematics.
(26)
Computation by Abstract Devices.
(24)
Algorithm Analysis and Problem Complexity.
(23)
Algorithms.
(23)
Discrete Mathematics in Computer Science.
(18)
Information storage and retrieval.
(17)
Computer programming.
(16)
Information Systems Applications (incl. Internet).
(16)
Programming Techniques.
(16)
Data Mining and Knowledge Discovery.
(13)
Data mining.
(13)
Mathematical Logic and Foundations.
(12)
Philosophy.
(12)
Computer Communication Networks.
(8)
Computer communication systems.
(8)
Numeric Computing.
(8)
Numerical analysis.
(8)
Symbolic and Algebraic Manipulation.
(8)
Database management.
(7)
Logic.
(7)
Mathematical statistics.
(6)
Mathematics of Computing.
(6)
Pattern recognition.
(6)
Probability and Statistics in Computer Science.
(6)
Data structures (Computer science).
(5)
Computer Science, general.
(4)
Computer security.
(4)
Computer simulation.
(4)
Data Structures.
(4)
Management information systems.
(4)
Management of Computing and Information Systems.
(4)
Math Applications in Computer Science.
(4)
Simulation and Modeling.
(4)
Systems and Data Security.
(4)
Computer Systems Organization and Communication Networks.
(3)
Computer organization.
(3)
Epistemology.
(3)
Linguistics.
(3)
Philosophy and science.
(3)
Philosophy of Science.
(3)
Theory of Computation.
(3)
Application software.
(2)
Bioinformatics.
(2)
Computational Biology/Bioinformatics.
(2)
Computational linguistics.
(2)
Computer Appl. in Administrative Data Processing.
(2)
Document Preparation and Text Processing.
(2)
Language Translation and Linguistics.
(2)
Text processing (Computer science).
(2)
Theoretical Linguistics.
(2)
Aesthetics.
(1)
Business -- Data processing.
(1)
Business and Management.
(1)
Business.
(1)
Category Theory, Homological Algebra.
(1)
Category theory (Mathematics).
(1)
Coding and Information Theory.
(1)
Coding theory.
(1)
Computer system failures.
(1)
Computing Methodologies.
(1)
Data Structures, Cryptology and Information Theory.
(1)
E-commerce.
(1)
Ethics.
(1)
Health informatics.
(1)
History and Philosophical Foundations of Physics.
(1)
History of Computing.
(1)
Homological algebra.
(1)
IT in Business.
(1)
Information technology.
(1)
Language and languages -- Philosophy.
(1)
Logic design.
(1)
Marketing.
(1)
Mathematics in the Humanities and Social Sciences.
(1)
Mathematics.
(1)
Models and Principles.
(1)
Modern philosophy.
(1)
Partial differential equations.
(1)
Philosophy of Language.
(1)
Philosophy of nature.
(1)
Physics.
(1)
Psycholinguistics.
(1)
Quantum Computing.
(1)
Quantum computers.
(1)
Social sciences.
(1)
Software Engineering/Programming and Operating Systems.
(1)
Special Purpose and Application-Based Systems.
(1)
Special purpose computers.
(1)
System Performance and Evaluation.
(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
(110)
Kütüphane
Dahil
Hariç
TEDU library
(110)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}