Search Results for Computation by Abstract Devices.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Dil: English

Yazar

SpringerLink (Online service)

(84)

Hou, Zeng-Guang. editor.

(5)

Lee, Minho. editor.

(4)

Hirose, Akira. editor.

(3)

Kil, Rhee Man. editor.

(3)

Blum, Christian. editor.

(2)

Corchado, Emilio. editor.

(2)

Das, Swagatam. editor.

(2)

Dash, Shubhransu Sekhar. editor.

(2)

Dediu, Adrian-Horia. editor.

(2)

Ferrández Vicente, José Manuel. editor.

(2)

Fomin, Fedor V. editor.

(2)

Freivalds, Rūsiņš. editor.

(2)

Guo, Chengan. editor.

(2)

Iliadis, Lazaros. editor.

(2)

Jayne, Chrisina. editor.

(2)

Korytkowski, Marcin. editor.

(2)

Kwiatkowska, Marta. editor.

(2)

Martín-Vide, Carlos. editor.

(2)

Masulli, Francesco. editor.

(2)

Nguyen, Ngoc Thanh. editor.

(2)

Panigrahi, Bijaya Ketan. editor.

(2)

Papadopoulos, Harris. editor.

(2)

Paz López, Félix. editor.

(2)

Peleg, David. editor.

(2)

Rutkowski, Leszek. editor.

(2)

Scherer, Rafał. editor.

(2)

Suganthan, Ponnuthurai Nagaratnam. editor.

(2)

Tadeusiewicz, Ryszard. editor.

(2)

Toledo Moreo, Fco. Javier. editor.

(2)

Truthe, Bianca. editor.

(2)

Zadeh, Lotfi A. editor.

(2)

Zeng, Zhigang. editor.

(2)

Zurada, Jacek M. editor.

(2)

Álvarez Sánchez, José Ramón. editor.

(2)

Aalst, Wil M. P. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Alippi, Cesare. editor.

(1)

Alonso-Betanzos, Amparo. editor.

(1)

Amblard, Frédéric. editor.

(1)

Antonioni, Alberto. editor.

(1)

Appollini, Bruno. editor.

(1)

Balbo, Gianfranco. editor.

(1)

Baldoni, Matteo. editor.

(1)

Baldoni, Roberto. editor.

(1)

Baroglio, Cristina. editor.

(1)

Berdine, Josh. editor.

(1)

Bernardi, Simona. author.

(1)

Bernardo, Marco. editor.

(1)

Bevilacqua, Vitoantonio. editor.

(1)

Beyer, Dirk. editor.

(1)

Biba, Marenglen. editor.

(1)

Bielza, Concha. editor.

(1)

Bischof, Horst. editor.

(1)

Blesa, María J. editor.

(1)

Boella, Guido. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Boreale, Michele. editor.

(1)

Brattka, Vasco. editor.

(1)

Bredies, Kristian. editor.

(1)

Buesser, Pierre. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Burczyński, Tadeusz. editor.

(1)

Bush, William S. editor.

(1)

Béal, Marie-Pierre. editor.

(1)

Carton, Olivier. editor.

(1)

Carvalho, André C. P. L. F. editor.

(1)

Chapman, Barbara M. editor.

(1)

Ciucci, Davide. editor.

(1)

Coecke, Bob. editor.

(1)

Colom, José-Manuel. editor.

(1)

Corchado, Juan M. editor.

(1)

Cranefield, Stephen. editor.

(1)

Csuhaj-Varjú, Erzsébet. editor.

(1)

Daolio, Fabio. editor.

(1)

Darling, Aaron. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Desel, Jörg. editor.

(1)

Dierkes, Michael. editor.

(1)

Du, Ding-Zhu. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Esparcia-Alcázar, Anna I. editor.

(1)

Etaner-Uyar, A. Şima. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Festa, Paola. editor.

(1)

Figueroa, Juan Carlos. editor.

(1)

Gao, Yang. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Gheorghe, Marian. editor.

(1)

Ghosh, Ashish. editor.

(1)

Ghosh, Kuntal. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Giacobini, Mario. editor.

(1)

Giardini, Francesca. editor.

(1)

Glück, Robert. editor.

(1)

Gupta, Ashutosh. editor.

(1)

Hassanien, Aboul Ella. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hidalgo, J. Ignacio. editor.

(1)

Hu, Bin. editor.

(1)

Hu, Ting. editor.

(1)

Huang, De-Shuang. editor.

(1)

Hussain, Amir. editor.

(1)

Inuiguchi, Masahiro. editor.

(1)

Iwama, Kazuo. editor.

(1)

Jain, Sanjay. editor.

(1)

Jansen, Klaus. editor.

(1)

Jensen, Kurt. editor.

(1)

Julien, Christine. editor.

(1)

Jurgensen, Helmut. editor.

(1)

Järvisalo, Matti. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kari, Jarkko. editor.

(1)

Kasabov, Nikola. editor.

(1)

Kawano, Yasuhito. editor.

(1)

Klawonn, Frank. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Koprinkova-Hristova, Petia. editor.

(1)

Koutny, Maciej. editor.

(1)

Kołodziej, Joanna. editor.

(1)

Krapp, Holger G. editor.

(1)

Krawiec, Krzysztof. editor.

(1)

Kuijper, Arjan. editor.

(1)

Kutrib, Martin. editor.

(1)

Lepistö, Arto. editor.

(1)

Lepora, Nathan F. editor.

(1)

Li, Bin. editor.

(1)

Liu, Derong. editor.

(1)

Lodaya, Kamal. editor.

(1)

Löwe, Benedikt. editor.

(1)

Maji, Pradipta. editor.

(1)

Malcher, Andreas. editor.

(1)

Manzoni, Luca. editor.

(1)

Martí-Oliet, Narciso. editor.

(1)

Martínez, Luis. editor.

(1)

Mastroeni, Isabella. editor.

(1)

Mauri, Giancarlo. editor.

(1)

Merseguer, José. author.

(1)

Micalizio, Roberto. editor.

(1)

Middendorf, Martin. editor.

(1)

Miller, D. Michael. editor.

(1)

Mladenov, Valeri. editor.

(1)

Moraglio, Alberto. editor.

(1)

Munos, Rémi. editor.

(1)

Mura, Anna. editor.

(1)

Murao, Mio. editor.

(1)

Murty, M. Narasimha. editor.

(1)

Müller, Matthias S. editor.

(1)

Nayak, Abhaya. editor.

(1)

Nguyen, Ngoc-Thanh. editor.

(1)

Nicola, Rocco. editor.

(1)

Nicosia, Giuseppe. editor.

(1)

Nisse, Nicolas. editor.

(1)

Nitaj, Abderrahmane. editor.

(1)

Ong, Luke. editor.

(1)

Pal, Sankar K. editor.

(1)

Palm, Günther. editor.

(1)

Palomino, Miguel. editor.

(1)

Pan, Jeng-Shyang. editor.

(1)

Panangaden, Prakash. editor.

(1)

Pardalos, Panos. editor.

(1)

Pasi, Gabriella. editor.

(1)

Pecheur, Charles. editor.

(1)

Peterson, Leif E. editor.

(1)

Petriu, Dorina Corina. author.

(1)

Pfenning, Frank. editor.

(1)

Pierro, Alessandra. editor.

(1)

Pock, Thomas. editor.

(1)

Polycarpou, Marios M. editor.

(1)

Popova-Zeugmann, Louchka. author.

(1)

Porreca, Antonio E. editor.

(1)

Potapov, Igor. editor.

(1)

Premaratne, Prashan. editor.

(1)

Prescott, Tony J. editor.

(1)

Quintián, Héctor. editor.

(1)

Raghavendra, Prasad. editor.

(1)

Raskhodnikova, Sofya. editor.

(1)

Reis, Rogério. editor.

(1)

Rendell, Alistair P. editor.

(1)

Riguzzi, Fabrizio. editor.

(1)

Roli, Andrea. editor.

(1)

Rolim, José D. P. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Ruhe, Günther. editor.

(1)

Russo, Giuseppe. editor.

(1)

Sahai, Amit. editor.

(1)

Salmerón, Antonio. editor.

(1)

Salomaa, Arto. editor.

(1)

Sampels, Michael. editor.

(1)

Shur, Arseny M. editor.

(1)

Soloveichik, David. editor.

(1)

Steen, Maarten. editor.

(1)

Stephan, Frank. editor.

(1)

Stoye, Jens. editor.

(1)

Tang, Ke. editor.

(1)

Tomassini, Marco. editor.

(1)

Troncoso, Alicia. editor.

(1)

Van Gelder, Allen. editor.

(1)

Vanneschi, Leonardo. editor.

(1)

Vannier, Michael W. editor.

(1)

Tümünü genişlet

Yayın Yılı

-

(84)

Konu

Computation by Abstract Devices.

(84)

Computer science.

(84)

Algorithm Analysis and Problem Complexity.

(48)

Artificial Intelligence (incl. Robotics).

(48)

Artificial intelligence.

(48)

Computer software.

(48)

Optical pattern recognition.

(26)

Pattern Recognition.

(26)

(23)

Logics and Meanings of Programs.

(23)

Software engineering.

(23)

Mathematical Logic and Formal Languages.

(21)

Information Systems Applications (incl. Internet).

(17)

Computer vision.

(16)

Computational complexity.

(15)

Discrete Mathematics in Computer Science.

(15)

Bioinformatics.

(14)

Computational Biology/Bioinformatics.

(14)

Computer Communication Networks.

(14)

Data Mining and Knowledge Discovery.

(14)

(14)

Information Storage and Retrieval.

(14)

Information storage and retrieval systems.

(14)

Image Processing and Computer Vision.

(12)

Computer simulation.

(7)

Programming Languages, Compilers, Interpreters.

(7)

Simulation and Modeling.

(7)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Data structures (Computer science).

(5)

Database management.

(5)

Electronic data processing.

(5)

Numeric Computing.

(5)

Data Structures.

(4)

Computational Intelligence.

(3)

Computer Science, general.

(3)

(3)

Information systems.

(3)

Information theory.

(3)

Probability and Statistics in Computer Science.

(3)

Programming Techniques.

(3)

Theory of Computation.

(3)

Coding and Information Theory.

(2)

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer Applications.

(2)

Computer system performance.

(2)

Data Encryption.

(2)

Data encryption (Computer science).

(2)

Data protection.

(2)

Logic, Symbolic and mathematical.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

System Performance and Evaluation.

(2)

Systems and Data Security.

(2)

Algebra -- Data processing.

(1)

Biological models.

(1)

Biology -- Data processing.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer graphics.

(1)

Control, Robotics, Mechatronics.

(1)

Data Structures, Cryptology and Information Theory.

(1)

History of Computing.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Language Translation and Linguistics.

(1)

Math Applications in Computer Science.

(1)

Mathematics of Computing.

(1)

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Processor Architectures.

(1)

Quantum Information Technology, Spintronics.

(1)

Social sciences -- Data processing.

(1)

Special Purpose and Application-Based Systems.

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems Biology.

(1)

Translators (Computer programs).

(1)

User Interfaces and Human Computer Interaction.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

84 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7

000000000000DEFAULT_TR

Yazdır

Liste seç

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.

49.

Transactions on Computational Collective Intelligence XI için kapak resmi

Transactions on Computational Collective Intelligence XI

Transactions on Computational Collective Intelligence XI

Yazar

Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335144.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41776-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings için kapak resmi

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

Yazar

Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332892.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-01928-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I için kapak resmi

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Yazar

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332993.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03753-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II için kapak resmi

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Yazar

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332994.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03756-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings için kapak resmi

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Yazar

Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334073.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35873-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers için kapak resmi

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Yazar

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334034.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35705-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers için kapak resmi

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Yazar

Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.

Yer Numarası

ONLINE(334280.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36751-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Transactions on Computational Collective Intelligence IX için kapak resmi

Transactions on Computational Collective Intelligence IX

Transactions on Computational Collective Intelligence IX

Yazar

Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334300.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36815-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings için kapak resmi

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

Yazar

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334355.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37064-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers için kapak resmi

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Yazar

Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334465.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37635-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings için kapak resmi

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

Yazar

Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334572.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38267-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Transactions on Petri Nets and Other Models of Concurrency VII için kapak resmi

Transactions on Petri Nets and Other Models of Concurrency VII

Transactions on Petri Nets and Other Models of Concurrency VII

Yazar

Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.

Yer Numarası

ONLINE(334545.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38143-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11