Search Results for Systems theory.

|

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ış:

+

Konu: Artificial intelligence.

Yazar

SpringerLink (Online service)

(163)

Pichler, Franz. editor.

(9)

Moreno-Díaz, Roberto. editor.

(7)

Quesada-Arencibia, Alexis. editor.

(7)

Cetto, Juan Andrade. editor.

(3)

Ferrier, Jean-Louis. editor.

(3)

Filipe, Joaquim. editor.

(3)

Iagnemma, Karl. editor.

(3)

Khatib, Oussama. editor.

(3)

Kreinovich, Vladik. editor.

(3)

Kumar, Vijay. editor.

(3)

Laugier, Christian. editor.

(3)

Nedjah, Nadia. editor.

(3)

Alla, Hassane. author.

(2)

Bouchon-Meunier, Bernadette. editor.

(2)

Buehler, Martin. editor.

(2)

Buss, Martin. editor.

(2)

Cabrera, Inma P. editor.

(2)

Chatila, Raja. editor.

(2)

Corke, Peter. author.

(2)

Das, Swagatam. editor.

(2)

David, René. author.

(2)

Gosselin, Clément. author.

(2)

Huang, De-Shuang. editor.

(2)

Irwin, George William. editor.

(2)

Jain, Lakhmi C. editor.

(2)

Kacprzyk, Janusz. editor.

(2)

Li, Kang. editor.

(2)

Medina, Jesús. editor.

(2)

Moreno Díaz, Roberto. editor.

(2)

Nijmeijer, Henk. editor.

(2)

Ojeda-Aciego, Manuel. editor.

(2)

Pelta, David A. editor.

(2)

Prassler, Erwin. editor.

(2)

Quesada Arencibia, Alexis. editor.

(2)

Ren, Wei. author.

(2)

Rigatos, Gerasimos G. author.

(2)

Sekiyama, Kosuke. editor.

(2)

Sgurev, Vassil. editor.

(2)

Siegwart, Roland. editor.

(2)

Singh, Sanjiv. editor.

(2)

Thrun, Sebastian. editor.

(2)

Verdegay, José Luis. editor.

(2)

Yager, Ronald R. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abidi, Khalid. author.

(1)

Abraham, Ajith. editor.

(1)

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X

(1)

Ahn, Hyo-Sung. author.

(1)

Akella, Srinivas. editor.

(1)

Alanís, Alma Y. author.

(1)

Ali, Moonis. editor.

(1)

Alterovitz, Ron. author.

(1)

Amato, Nancy M. editor.

(1)

Amirat, Yacine. editor.

(1)

Anastassiou, George A. author.

(1)

Andrew, Alex M. author.

(1)

Ang, Marcelo H. editor.

(1)

Angelov, P. editor.

(1)

Antonelli, Gianluca. author.

(1)

Aracil, Rafael. editor.

(1)

Argyros, Ioannis K. author.

(1)

Asadi-Zeydabadi, Masoud. author.

(1)

Asama, Hajima. editor.

(1)

Asama, Hajime. editor.

(1)

Assawinchaichote, Wudhichai. author.

(1)

Atanassov, K.T. editor.

(1)

Aubin, Jean-Pierre. author.

(1)

Azar, Ahmad Taher. editor.

(1)

Bai, Quan. editor.

(1)

Baik, Doo-Kwon. editor.

(1)

Baillieul, John. editor.

(1)

Balaguer, Carlos. editor.

(1)

Baranyi, Péter. author.

(1)

Barthe, Gilles. editor.

(1)

Beard, Randal W. author.

(1)

Bessière, Pierre. editor.

(1)

Bessmertny, Igor. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bicchi, Antonio. editor.

(1)

Birglen, Lionel. author.

(1)

Bravo, José. editor.

(1)

Breda, Marco. author.

(1)

Brooks, Rodney. editor.

(1)

Brovko, Alexander. editor.

(1)

Brugali, Davide. editor.

(1)

Bruyninckx, Herman. author.

(1)

Bruyninckx, Herman. editor.

(1)

Bubnicki, Zdzislaw. author.

(1)

Budiyono, Agus. editor.

(1)

Burgard, Wolfram. editor.

(1)

Busawon, Krishna. author.

(1)

Buscema, Paolo Massimo. author.

(1)

Bușoniu, Lucian. editor.

(1)

Cao, Yongcan. author.

(1)

Castillo, Oscar. author.

(1)

Castillo, Oscar. editor.

(1)

Ceberio, Martine. editor.

(1)

Ceroni, Jose. author.

(1)

Chang, Kuo-Chi. editor.

(1)

Chen, Shanben. editor.

(1)

Chen, Shengyong. editor.

(1)

Chen, YangQuan. author.

(1)

Chikrii, Arkadii. editor.

(1)

Chirikjian, Gregory S. editor.

(1)

Choset, Howie. editor.

(1)

Christensen, Henrik I. editor.

(1)

Corke, Peter. editor.

(1)

Costa dias Pereira, José Miguel. editor.

(1)

Dario, Paolo. editor.

(1)

Dillmann, Rüdiger. editor.

(1)

Dolinina, Olga. editor.

(1)

Doukovska, L. editor.

(1)

Durrant-Whyte, Hugh. editor.

(1)

El-Sousy, Fayez F. M. author.

(1)

Erdmann, Michael. editor.

(1)

Ernst, Marc O. editor.

(1)

Esparza, Javier. editor.

(1)

Fantuzzi, Cesare. author.

(1)

Faucher, Colette. editor.

(1)

Favorskaya, Margarita N. editor.

(1)

Feng, Zhili. editor.

(1)

Ferre, Manuel. editor.

(1)

Ferrer-Comalat, Joan Carles. editor.

(1)

Filev, Dimitar. editor.

(1)

Flanagan, Cormac. editor.

(1)

Friedrich, Gerhard. editor.

(1)

Fu, Yongling. editor.

(1)

Gero, John S. editor.

(1)

Gil, Eduardo. editor.

(1)

Gil, Eva. editor.

(1)

Gil, Juan. editor.

(1)

Gil, María Ángeles. editor.

(1)

Gil-Aluja, Jaime. editor.

(1)

Gil-Lafuente, Anna M. editor.

(1)

Gini, Giuseppina. editor.

(1)

Goldberg, Ken. author.

(1)

Gonçalves, Paulo J. Sequeira. editor.

(1)

Gordon, Andrew D. editor.

(1)

Grunwald, Gerhard. editor.

(1)

Gusikhin, Oleg. editor.

(1)

Hadjiski, M. editor.

(1)

Hadjiski, Mincho. editor.

(1)

Haktanır, Elif. editor.

(1)

Handa, Hisashi. editor.

(1)

Hanna, Sean. editor.

(1)

Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681

(1)

Hirsch, Michael J. editor.

(1)

Hofbaur, Michael W. author.

(1)

Hoffmann, Frank. editor.

(1)

Howard, Andrew. editor.

(1)

Hsu, David. editor.

(1)

Huang, Wesley H. editor.

(1)

Huisman, Marieke. editor.

(1)

Hägele, Martin. editor.

(1)

Hüllermeier, Eyke. editor.

(1)

Iossifidis, Ioannis. editor.

(1)

Ishibuchi, Hisao. editor.

(1)

Ito, Takayuki. editor.

(1)

Jachimczyk, Witold. author.

(1)

Jeong, Wootae. author.

(1)

Jia, Yingmin. editor.

(1)

Joelianto, Endra. editor.

(1)

Jotsov, V. editor.

(1)

Jotsov, Vladimir. editor.

(1)

Kachroo, Pushkin. author.

(1)

Kacprzyk, J. editor.

(1)

Kahraman, Cengiz. editor.

(1)

Kandel, Abraham. editor.

(1)

Kar, Arpan Kumar. editor.

(1)

Kar, Rajib. editor.

(1)

Kasabov, N. editor.

(1)

Kawamura, Sadao. editor.

(1)

Kelly, Alonzo. editor.

(1)

Kleeman, Lindsay. author.

(1)

Koitz-Hristov, Roxane. editor.

(1)

Kolekar, Maheshkumar H. editor.

(1)

Kondratenko, Yuriy P. editor.

(1)

Kong, Kyoungchul. editor.

(1)

Kong, Xianwen. author.

(1)

Kreinovich, Vladik. author.

(1)

Kruse, Rudolf. editor.

(1)

Kröger, Torsten. author.

(1)

Kröger, Torsten. editor.

(1)

Kubota, Naoyuki. editor.

(1)

Kuechler, Bill. editor.

(1)

Kulich, Miroslav. editor.

(1)

Kumar, Anupam. editor.

(1)

Kurokawa, Haruhisa. editor.

(1)

König, Barbara. editor.

(1)

Laliberté, Thierry. author.

(1)

Lamon, Pierre. author.

(1)

Lawitzky, Gisbert. editor.

(1)

Lefebvre, Tine. author.

(1)

Leino, K. Rustan M. editor.

(1)

Leonard, Naomi. editor.

(1)

Li, Y. F. editor.

(1)

Lima, Pedro U. author.

(1)

Linares-Mustarós, Salvador. editor.

(1)

Linde, Richard Q. author.

(1)

Tümünü genişlet

Dil

(163)

Yayın Yılı

-

(23)

(22)

(18)

(16)

(15)

(14)

(13)

(12)

(11)

(7)

(6)

(4)

(2)

Tümünü genişlet

Konu

(91)

Systems theory.

(83)

Computational intelligence.

(29)

Control engineering.

(25)

Computer science.

(22)

Control and Systems Theory.

(22)

Computer vision.

(14)

Computer simulation.

(12)

(10)

Computer Communication Networks.

(10)

Control engineering systems.

(10)

Control, Robotics, Automation.

(10)

Engineering mathematics.

(10)

(10)

(9)

Computer aided design.

(8)

Software engineering.

(8)

Artificial Intelligence (incl. Robotics).

(7)

Optical pattern recognition.

(7)

Systems Theory, Control.

(7)

(7)

(6)

Cognitive psychology.

(4)

Computer software.

(4)

Control theory.

(4)

(4)

Industrial engineering.

(4)

Information systems.

(4)

(4)

Biomedical engineering.

(3)

Computational Intelligence.

(3)

Computer-Aided Engineering (CAD, CAE) and Design.

(3)

Industrial and Production Engineering.

(3)

Mathematical optimization.

(3)

Operations research.

(3)

Production engineering.

(3)

Signal processing.

(3)

Simulation and Modeling.

(3)

Telecommunication.

(3)

Applied Dynamical Systems.

(2)

Bioinformatics.

(2)

Computational complexity.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer hardware.

(2)

Computer network architectures.

(2)

(2)

(2)

Data Analysis and Big Data.

(2)

Data protection.

(2)

Digital and Analog Signal Processing.

(2)

(2)

Electronic data processing.

(2)

Engineering -- Data processing.

(2)

Engineering design.

(2)

Human physiology.

(2)

Image Processing and Computer Vision.

(2)

Information storage and retrieval systems.

(2)

Logic, Symbolic and mathematical.

(2)

Machine learning.

(2)

Nonlinear theories.

(2)

(2)

Pattern Recognition.

(2)

(2)

Quantitative research.

(2)

Algebra -- Data processing.

(1)

(1)

Application software.

(1)

(1)

Biology -- Mathematics.

(1)

Biomathematics.

(1)

Chemistry, Technical.

(1)

Cities, Countries, Regions.

(1)

Cloud Computing.

(1)

Communications Engineering, Networks.

(1)

Computational and Systems Biology.

(1)

Computer Modelling.

(1)

Computer and Information Systems Applications.

(1)

Computer logic.

(1)

Computer networks -- Security measures.

(1)

Computer networks .

(1)

Computer organization.

(1)

Computer-aided engineering.

(1)

(1)

Data Engineering.

(1)

Data Mining and Knowledge Discovery.

(1)

Data and Information Security.

(1)

Database management.

(1)

(1)

Economic sociology.

(1)

Education in Physics.

(1)

Electric power distribution.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Energy Grids and Networks.

(1)

Engineering economy.

(1)

(1)

(1)

Health Informatics.

(1)

History of Science.

(1)

Industrial Chemistry.

(1)

Information theory.

(1)

Innovation and Technology Management.

(1)

Intelligence Infrastructure.

(1)

Internet of things.

(1)

Machines, Tools, Processes.

(1)

(1)

Mathematical Models of Cognitive Processes and Neural Networks.

(1)

Mathematical and Computational Biology.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical logic.

(1)

Measure and Integration.

(1)

(1)

(1)

Medical informatics.

(1)

Microprogramming.

(1)

Mobile and Network Security.

(1)

Mobile communication systems.

(1)

Multimedia systems.

(1)

Neural networks (Computer science) .

(1)

(1)

Operation Research/Decision Theory.

(1)

Operations Management.

(1)

Operations Research, Management Science.

(1)

Physics -- Study and teaching.

(1)

(1)

Production management.

(1)

Quantum optics.

(1)

Robotics and Automation.

(1)

Science -- History.

(1)

Signal, Speech and Image Processing.

(1)

Sociological Methods.

(1)

Sociology -- Methodology.

(1)

(1)

Systems engineering.

(1)

Technological innovations.

(1)

Traffic Engineering.

(1)

Wireless and Mobile Communication.

(1)

Wireless communication systems.

(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

163 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 14

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.

1.

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland için kapak resmi

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland

Yazar

Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19216-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses için kapak resmi

Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses

Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses

Yazar

Angelov, P. editor. Atanassov, K.T. editor. Doukovska, L. editor. Hadjiski, M. editor. Jotsov, V. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11313-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Advances in Type-2 Fuzzy Sets and Systems Theory and Applications için kapak resmi

Advances in Type-2 Fuzzy Sets and Systems Theory and Applications

Advances in Type-2 Fuzzy Sets and Systems Theory and Applications

Yazar

Sadeghian, Alireza. editor. Mendel, Jerry M. editor. Tahayori, Hooman. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332085.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-6666-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Aspects of Computational Intelligence: Theory and Applications Revised and Selected Papers of the 15th IEEE International Conference on Intelligent Engineering Systems 2011, INES 2011 için kapak resmi

Aspects of Computational Intelligence: Theory and Applications Revised and Selected Papers of the 15th IEEE International Conference on Intelligent Engineering Systems 2011, INES 2011

Aspects of Computational Intelligence: Theory and Applications Revised and Selected Papers of the 15th IEEE International Conference on Intelligent Engineering Systems 2011, INES 2011

Yazar

Madarász, Ladislav. editor. Živčák, Jozef. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333347.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I için kapak resmi

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

Yazar

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335219.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II için kapak resmi

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

Yazar

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335220.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I için kapak resmi

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

Yazar

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II için kapak resmi

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

Yazar

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings için kapak resmi

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

Yazar

Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Yazar

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Yazar

Barthe, Gilles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Yazar

Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 14

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11