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ış:
+
Yayın Yılı: 2012
Yazar
Dahil
Hariç
SpringerLink (Online service)
(125)
Arbab, Farhad. editor.
(2)
Derrick, John. editor.
(2)
Gibbons, Jeremy. editor.
(2)
Gnesi, Stefania. editor.
(2)
Khurshid, Sarfraz. editor.
(2)
Kindler, Ekkart. editor.
(2)
Kreowski, Hans-Jörg. editor.
(2)
Lara, Juan. editor.
(2)
Margaria, Tiziana. editor.
(2)
Meyer, Bertrand. editor.
(2)
Miller, Dale. editor.
(2)
Nordio, Martin. editor.
(2)
Peña, Ricardo. editor.
(2)
Steffen, Bernhard. editor.
(2)
Voronkov, Andrei. editor.
(2)
Agrawal, Manindra. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Andres, Frederic. editor.
(1)
Antoš, David. editor.
(1)
Artikis, Alexander. editor.
(1)
Atkinson, Colin. editor.
(1)
Atzeni, Paolo. editor.
(1)
Aßmann, Uwe. editor.
(1)
Balasa, Florin.
(1)
Barbosa, Luís Soares. editor.
(1)
Barros, Alistair. editor.
(1)
Baumann, Christian. author.
(1)
Beckert, Bernhard. editor.
(1)
Bergstra, Jan A. author.
(1)
Beringer, Lennart. editor.
(1)
Bezhanishvili, Nick. editor.
(1)
Birkedal, Lars. editor.
(1)
Bjørner, Nikolaj. editor.
(1)
Bodlaender, Hans L. editor.
(1)
Boer, Frank S. editor.
(1)
Bonsangue, Marcello M. editor.
(1)
Book, Matthias. editor.
(1)
Bouda, Jan. editor.
(1)
Brayton, Robert K. author.
(1)
Breu, Ruth. editor.
(1)
Broersen, Jan. editor.
(1)
Brorsson, Mats. editor.
(1)
Brucker, Achim D. editor.
(1)
Bshouty, Nader H. editor.
(1)
Béchet, Denis. editor.
(1)
Campbell, John A. editor.
(1)
Carette, Jacques. editor.
(1)
Caro, Jaime. editor.
(1)
Cerro, Luis Fariñas. editor.
(1)
Chakraborty, Supratik. editor.
(1)
Chakravarty, Tapas. author.
(1)
Chattopadhyay, Sanatan. editor.
(1)
Chattopadhyay, Santanu. editor.
(1)
Cheung, David. editor.
(1)
Chiba, Shigeru. editor.
(1)
Choy, Oliver C. S. editor.
(1)
Cimatti, Alessandro. editor.
(1)
Clarke, Edmund. editor.
(1)
Constable, Robert L. editor.
(1)
Cooper, S. Barry. editor.
(1)
Corby, Olivier. editor.
(1)
Craven, Robert. editor.
(1)
Croitoru, Madalina. editor.
(1)
Damiani, Ferruccio. editor.
(1)
Daniel, Peter. editor.
(1)
Dastani, Mehdi. editor.
(1)
Dediu, Adrian-Horia. editor.
(1)
Dietrich, Manfred. editor.
(1)
Dikovsky, Alexander. editor.
(1)
Dinneen, Michael J. editor.
(1)
Donaldson, Alastair. editor.
(1)
Downey, Rod. editor.
(1)
Durand-Lose, Jérôme. editor.
(1)
Durán, Franciso. editor.
(1)
Düsterhöft, Antje. editor.
(1)
D’Souza, Meenakshi. editor.
(1)
Eder, Kerstin. editor.
(1)
Eekelen, Marko. editor.
(1)
Ehrig, Hartmut. editor.
(1)
Eleftherakis, George. editor.
(1)
Elgesem, Dag. editor.
(1)
Engels, Gregor. editor.
(1)
Erdem, Esra. editor.
(1)
Even, Guy.
(1)
Felty, Amy. editor.
(1)
Finkel, Alain. editor.
(1)
Fisher, Michael. editor.
(1)
Fitzgerald, John. editor.
(1)
Flanagan, Cormac. editor.
(1)
Fomin, Fedor V. editor.
(1)
France, Robert B. editor.
(1)
Funk, Christian. author.
(1)
Furia, Carlo A. editor.
(1)
Gal, Avigdor. editor.
(1)
Garcia-Alfaro, Joaquin. editor.
(1)
Gavrilova, Marina L. editor.
(1)
Gheyi, Rohit. editor.
(1)
Giannakopoulou, Dimitra. editor.
(1)
Giese, Holger. editor.
(1)
Gill, Andy. editor.
(1)
Goebel, Rafal.
(1)
Goertz, Gary, 1953-
(1)
Goodloe, Alwyn E. editor.
(1)
Goranko, Valentin. editor.
(1)
Governatori, Guido. editor.
(1)
Gramlich, Bernhard. editor.
(1)
Griffin, Timothy G. editor.
(1)
Gruhn, Volker. editor.
(1)
Gschwind, Thomas. editor.
(1)
Gurov, Dilian. editor.
(1)
Haddad, Serge. editor.
(1)
Hage, Jurriaan. editor.
(1)
Haupt, Michael. editor.
(1)
Hawblitzel, Chris. editor.
(1)
Heisel, Maritta. editor.
(1)
Herzig, Andreas. editor.
(1)
Hinchey, Mike. editor.
(1)
Hirsch, Edward A. editor.
(1)
Holcombe, Mike. editor.
(1)
Hopgood, Adrian A., author.
(1)
Horimoto, Katsuhisa. editor.
(1)
Howse, John. editor.
(1)
Hu, Zhenjiang. editor.
(1)
Ibarra, Oscar H. editor.
(1)
Igarashi, Atsushi. editor.
(1)
Janssen, Jeroen.
(1)
Jeuring, Johan. editor.
(1)
Jhala, Ranjit. editor.
(1)
Jonoska, Nataša. editor.
(1)
Joshi, Rajeev. editor.
(1)
Julliand, Jacques. editor.
(1)
Jurdziński, Marcin. editor.
(1)
Kahl, Wolfram. editor.
(1)
Kahraman, Cengiz.
(1)
Kannan, Rajkumar. editor.
(1)
Karhumäki, Juhani. editor.
(1)
Kazmeier, Jürgen. editor.
(1)
Kesim Çiçekli, Nihan. editor.
(1)
Khoussainov, Bakhadyr. editor.
(1)
Kienzle, Jörg. editor.
(1)
Kim, Haeng-kon. editor.
(1)
Kim, Tai-hoon. editor.
(1)
Kiumi, Akingbehin. editor.
(1)
Klettke, Meike. editor.
(1)
Kolovos, Dimitris. editor.
(1)
Kotásek, Zdeněk. editor.
(1)
Kourie, Derrick G. author.
(1)
Koutny, Maciej. editor.
(1)
Kuncak, Viktor. editor.
(1)
Kutrib, Martin. editor.
(1)
König, Barbara. editor.
(1)
Lafourcade, Pascal. editor.
(1)
Latella, Diego. editor.
(1)
Leavens, Gary T. editor.
(1)
Lee, Joohyung. editor.
(1)
Lepistö, Arto. editor.
(1)
Leroux, Jérôme. editor.
(1)
Leuschel, Michael. editor.
(1)
Li, Angsheng. editor.
(1)
Lienig, Jens. editor.
(1)
Lierler, Yuliya. editor.
(1)
Lisi, Francesca A. editor.
(1)
Lourenço, João. editor.
(1)
Lukasiewicz, Thomas. editor.
(1)
Lumpe, Markus. editor.
(1)
Madhusudan, P. editor.
(1)
Mahoney, James, 1968-
(1)
Martín-Vide, Carlos. editor.
(1)
Marx, Dániel. editor.
(1)
Medina, Moti, 1979-
(1)
Mengin, Jérôme. editor.
(1)
Middelburg, Cornelis A. author.
(1)
Milano, Michela. editor.
(1)
Miné, Antoine. editor.
(1)
Mir, Salvador. editor.
(1)
Mishchenko, Alan. author.
(1)
Mohammed, Sabah. editor.
(1)
Moot, Richard. author.
(1)
Moreira, Nelma. editor.
(1)
Morrison, Ralph.
(1)
Mossakowski, Till. editor.
(1)
Muggleton, Stephen H. editor.
(1)
Mukund, Madhavan. editor.
(1)
Méry, Dominique. editor.
(1)
Müller, Peter. editor.
(1)
Nakatsui, Masahiko. editor.
(1)
Nanz, Sebastian. editor.
(1)
Naumann, David. editor.
(1)
Nebel, Markus. author.
(1)
Nielsen, Brian. editor.
(1)
Nies, André. editor.
(1)
Nishizaki, Shin-ya. editor.
(1)
Ničković, Dejan. editor.
(1)
Noble, James. editor.
(1)
Nogueira, Pablo. editor.
(1)
Numao, Masayuki. editor.
(1)
O'Brien, J.
(1)
O'Brien, J., ed.
(1)
Ober, Ileana. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(130)
German
(3)
Konu
Dahil
Hariç
Logic design.
(128)
Computer science.
(120)
Software engineering.
(89)
Artificial intelligence.
(41)
Computer software.
(31)
Computer Communication Networks.
(30)
Information Systems.
(16)
Computational complexity.
(14)
Computer simulation.
(7)
Data structures (Computer science).
(7)
Algebra -- Data processing.
(5)
Information storage and retrieval systems.
(5)
Information theory.
(5)
Operating systems (Computers).
(5)
Systems engineering.
(5)
Data protection.
(4)
Engineering.
(4)
Logic, Symbolic and mathematical.
(4)
Bioinformatics.
(3)
Computer network architectures.
(3)
Computer vision.
(3)
Computer hardware.
(2)
Computer system performance.
(2)
Control theory.
(2)
Data encryption (Computer science).
(2)
Data mining.
(2)
Electronic data processing.
(2)
Electronics.
(2)
Information systems.
(2)
Management information systems.
(2)
Mathematics.
(2)
Optical pattern recognition.
(2)
Translators (Computer programs).
(2)
Algebra.
(1)
Automatic control.
(1)
Coding theory.
(1)
Computational linguistics.
(1)
Computer engineering.
(1)
Computer storage devices.
(1)
Computer-aided engineering.
(1)
Computers -- Law and legislation.
(1)
Database management.
(1)
Digital electronics.
(1)
Dynamics.
(1)
Electronic books.
(1)
Embedded computer systems -- Computer-aided design.
(1)
Energy conservation.
(1)
Engineering mathematics.
(1)
Expert systems (Computer science)
(1)
Feedback (Electronics).
(1)
Feedforward control systems.
(1)
Industrial engineering -- Mathematics.
(1)
Integrated circuits.
(1)
Linear systems.
(1)
Logic.
(1)
Memory management (Computer science)
(1)
Nonlinear control theory.
(1)
Operations research.
(1)
Physics.
(1)
Political science -- Research -- Methodology.
(1)
Political sociology -- Research -- Methodology.
(1)
Social sciences -- Data processing.
(1)
Social sciences -- Research -- Methodology.
(1)
Stability.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Kitap
Shelf Location
Dahil
Hariç
Beytepe Genel Koleksiyon
CRC Ekitapları
Elektronik Kütüphane
Kütüphane
Dahil
Hariç
Beytepe Kütüphanesi
Ç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
133 sonuç bulundu
1
..
8
9
10
11
12
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.
133.
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Yazar
Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
http://dx.doi.org/10.1007/978-3-642-34188-5
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
8
9
10
11
12
