Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Search Limit
Tümü
E-Kitap
Dergiler
Beytepe Kütüphanesi
Sağlık Bilimleri Kütüphanesi
Konservatuvar Kütüphanesi
Hukuk Kütüphanesi
Sosyal Bilimler Meslek Yüksek Okulu
DVD Koleksiyonu
Prof.Dr. Onur Bilge Kula Koleksiyonu
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
ISSN
8
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Daraltılmış:
+
Konu: Logic design.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(37)
Siciliano, Bruno. editor.
(3)
Bonacina, Maria Paola. editor.
(2)
Ermolayev, Vadim. editor.
(2)
Mayr, Heinrich C. editor.
(2)
Nikitchenko, Mykola. editor.
(2)
Sim, Kevin. editor.
(2)
Son, Tran Cao. editor.
(2)
Spivakovsky, Aleksander. editor.
(2)
Squillero, Giovanni. editor.
(2)
Voronkov, Andrei. editor.
(2)
Zholtkevych, Grygoriy. editor.
(2)
Albert, Elvira. editor.
(1)
Amgoud, Leila. author.
(1)
Baldoni, Matteo. editor.
(1)
Berdine, Josh. editor.
(1)
Bertacco, Valeria. editor.
(1)
Biere, Armin. editor.
(1)
Blazy, Sandrine. editor.
(1)
Botterweck, Goetz. editor.
(1)
Cabalar, Pedro. editor.
(1)
Caro, Jaime. editor.
(1)
Dediu, Adrian-Horia. editor.
(1)
Dennis, Louise. editor.
(1)
Du, Ding-Zhu. editor.
(1)
Duchier, Denys. editor.
(1)
El-Alfy, El-Sayed M. editor.
(1)
Fontaine, Pascal. editor.
(1)
Gaag, Linda C. editor.
(1)
Galmiche, Didier. editor.
(1)
Giacobazzi, Roberto. editor.
(1)
Gonthier, Georges. editor.
(1)
Halpin, Harry. author.
(1)
Jain, Sanjay. editor.
(1)
Järvisalo, Matti. editor.
(1)
Larchey-Wendling, Dominique. editor.
(1)
Legay, Axel. editor.
(1)
Leite, João. editor.
(1)
Li, Yuanqing. editor.
(1)
Liu, Derong. editor.
(1)
Liu, Zhiming. editor.
(1)
Lodaya, Kamal. editor.
(1)
Lévy, François. editor.
(1)
Machado, Ricardo J. editor.
(1)
Maciel, Rita Suzana P. editor.
(1)
Martinez, Maria Vanina. author.
(1)
Martín-Vide, Carlos. editor.
(1)
Mascardi, Viviana. editor.
(1)
Mastroeni, Isabella. editor.
(1)
McMillan, Ken. editor.
(1)
Middeldorp, Aart. editor.
(1)
Molinaro, Cristian. author.
(1)
Morgenstern, Leora. editor.
(1)
Munos, Rémi. editor.
(1)
Nahir, Amir. editor.
(1)
Nishizaki, Shin-ya. editor.
(1)
Norrish, Michael. editor.
(1)
Numao, Masayuki. editor.
(1)
Parmentier, Yannick. editor.
(1)
Paschke, Adrian. editor.
(1)
Paulin-Mohring, Christine. editor.
(1)
Pichardie, David. editor.
(1)
Riguzzi, Fabrizio. editor.
(1)
Ringeissen, Christophe. editor.
(1)
Rubin, Julia. editor.
(1)
Schmidt, Renate A. editor.
(1)
Stefaneas, Petros. editor.
(1)
Stephan, Frank. editor.
(1)
Stickel, Mark E. editor.
(1)
Suarez, Merlin Teodosia. editor.
(1)
Subrahmanian, V.S. author.
(1)
Torre, Leon. editor.
(1)
Torroni, Paolo. editor.
(1)
Truthe, Bianca. editor.
(1)
Van Gelder, Allen. editor.
(1)
Vasconcelos, Wamberto. editor.
(1)
Vos, Tanja. editor.
(1)
Weidenbach, Christoph. editor.
(1)
Woltran, Stefan. editor.
(1)
Woodcock, Jim. editor.
(1)
Wyner, Adam. editor.
(1)
Xie, Shengli. editor.
(1)
Zeugmann, Thomas. editor.
(1)
Zhang, Guochuan. editor.
(1)
Zhao, Dongbin. editor.
(1)
Zhu, Huibiao. editor.
(1)
Železný, Filip. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(37)
Yayın Yılı
Dahil
Hariç
-
2013
(31)
2017
(3)
2025
(3)
Konu
Dahil
Hariç
Artificial intelligence.
(37)
Artificial Intelligence (incl. Robotics).
(31)
Computer science.
(31)
Logics and Meanings of Programs.
(31)
Mathematical Logic and Formal Languages.
(23)
Software engineering.
(18)
Programming Languages, Compilers, Interpreters.
(8)
Algorithm Analysis and Problem Complexity.
(7)
Computation by Abstract Devices.
(7)
Computer Communication Networks.
(7)
Computer software.
(7)
Programming Techniques.
(7)
Computational complexity.
(5)
Discrete Mathematics in Computer Science.
(5)
Information Systems Applications (incl. Internet).
(4)
Automation.
(3)
Computer Science, general.
(3)
Computer vision.
(3)
Computers, Special purpose.
(3)
Control engineering.
(3)
Control theory.
(3)
Control, Robotics, Automation.
(3)
Design.
(3)
Information Storage and Retrieval.
(3)
Information storage and retrieval systems.
(3)
Robotics.
(3)
Special Purpose and Application-Based Systems.
(3)
System theory.
(3)
Systems Theory, Control.
(3)
Algorithms.
(2)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(2)
Computer System Implementation.
(2)
Computer architecture.
(2)
Computer systems.
(2)
Data Mining and Knowledge Discovery.
(2)
Data mining.
(2)
Microprocessors.
(2)
Processor Architectures.
(2)
Algebra -- Data processing.
(1)
Bioinformatics.
(1)
Computational Biology/Bioinformatics.
(1)
Computer Appl. in Administrative Data Processing.
(1)
Computer Appl. in Social and Behavioral Sciences.
(1)
Computer simulation.
(1)
Computers and Education.
(1)
Data protection.
(1)
Database management.
(1)
Document Preparation and Text Processing.
(1)
Education.
(1)
History of Computing.
(1)
Information and Communication, Circuits.
(1)
Information systems.
(1)
Information theory.
(1)
Math Applications in Computer Science.
(1)
Mathematics.
(1)
Operating Systems.
(1)
Operating systems (Computers).
(1)
Optical pattern recognition.
(1)
Pattern Recognition.
(1)
Simulation and Modeling.
(1)
Social sciences -- Data processing.
(1)
Symbolic and Algebraic Manipulation.
(1)
Systems and Data Security.
(1)
Text processing (Computer science.
(1)
Theory of Computation.
(1)
User Interfaces and Human Computer Interaction.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Shelf Location
Dahil
Hariç
1:SPRINGER
Elektronik Kütüphane
Kütüphane
Dahil
Hariç
Çevrimiçi Kütüphane
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
37 sonuç bulundu
1
2
3
4
Sıralama:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
0
DEFAULT_TR
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.
37.
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Yazar
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası
ONLINE(335023.1)
Elektronik Erişim
http://dx.doi.org/10.1007/978-3-642-40885-4
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
2
3
4