Search Results for Computer communication systems.

|

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

Yazar

SpringerLink (Online service)

(549)

Apduhan, Bernady O. editor.

(12)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(12)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(12)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(12)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(12)

Bernardo, Marco. editor.

(11)

Huang, De-Shuang. editor.

(7)

Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X

(7)

Falcão, Maria Irene. editor.

(6)

Hussain, Abir. editor.

(6)

Jo, Kang-Hyun. editor.

(6)

Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

(6)

Premaratne, Prashan. editor.

(6)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(6)

Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886

(6)

Rocha, Jorge Gustavo. editor.

(6)

Stankova, Elena. editor. (orcid)0000-0003-2625-452X

(6)

Taniar, David. editor.

(6)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(6)

Tarantino, Eufemia. editor. (orcid)0000-0002-2468-0771

(6)

Jin, Baohua. editor.

(5)

Mahmood, Zaigham. editor.

(5)

Meng, Weixiao. editor.

(5)

Qu, Boyang. editor.

(5)

Winckler, Marco. editor. (orcid)0000-0002-0756-6934

(5)

Lamas, David. editor. (orcid)0000-0003-0295-453X

(4)

Le-Ngoc, Tho. author.

(4)

Loizides, Fernando. editor. (orcid)0000-0003-0531-6760

(4)

Nacke, Lennart. editor. (orcid)0000-0003-4290-8829

(4)

Obaidat, Mohammad S. editor.

(4)

Park, James J. (Jong Hyuk). editor.

(4)

Petrie, Helen. editor. (orcid)0000-0002-0100-9846

(4)

Wang, Cliff. editor.

(4)

Zaphiris, Panayiotis. editor. (orcid)0000-0001-8112-5099

(4)

Alexander, Michael. editor.

(3)

Boumerdassi, Selma. editor.

(3)

Cannataro, Mario. editor.

(3)

Costan, Alexandru. editor.

(3)

Gama, Joao. editor. (orcid)0000-0003-3357-1195

(3)

Gelenbe, Erol. editor.

(3)

Hameurlain, Abdelkader. editor.

(3)

Helfert, Markus. editor.

(3)

Jonsson, Magnus. editor.

(3)

Ju, Zhaojie. editor.

(3)

Lent, Ricardo. editor.

(3)

Li, Guoliang. editor.

(3)

Liu, Jinguo. editor.

(3)

Liu, Lianqing. editor.

(3)

Liu, Yuwang. editor.

(3)

Natwichai, Juggapong. editor.

(3)

Renault, Éric. editor.

(3)

Scott, Stephen L. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Thampi, Sabu M. editor.

(3)

Tong, Yongxin. editor.

(3)

Vinel, Alexey. editor.

(3)

Vo, Nguyen-Son. editor.

(3)

Wang, Guojun. editor. (orcid)0000-0001-9875-4182

(3)

Yang, Jun. editor.

(3)

Yu, Haibin. editor.

(3)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(3)

Zhou, Dalin. editor. (orcid)0000-0003-2363-9125

(3)

Zu, Qiaohong. editor.

(3)

Althoefer, Kaspar. editor.

(2)

Altmann, Jörn. editor. (orcid)0000-0002-8880-9546

(2)

Antona, Margherita. editor.

(2)

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

(2)

Balandin, Sergey. editor. (orcid)0000-0003-3238-4830

(2)

Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241

(2)

Benkner, Siegfried. editor.

(2)

Berbineau, Marion. editor. (orcid)0000-0003-3807-9669

(2)

Boavida, Fernando. editor.

(2)

Bouguettaya, Athman. author.

(2)

Bouzefrane, Samia. editor.

(2)

Breitbart, Jens. editor.

(2)

Buchmann, Johannes. editor.

(2)

Cai, Zhipeng. editor.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

Cecílio, José. author.

(2)

Chen, Hsinchun. editor.

(2)

Chen, Min. editor.

(2)

Cheng, Siyao. editor.

(2)

Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336

(2)

Christianson, Bruce. editor.

(2)

Doldi, Laurent.

(2)

Donnellan, Brian. editor.

(2)

Duffy, Vincent G. editor.

(2)

Duong, Trung Q. editor.

(2)

Esparza, Javier. editor.

(2)

Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988

(2)

Faruque, Saleh. author.

(2)

Filipe, Joaquim. editor.

(2)

Fortino, Giancarlo. editor.

(2)

Fraigniaud, Pierre. editor.

(2)

Furtado, Pedro. author.

(2)

Gaj, Piotr. editor. (orcid)0000-0002-2291-7341

(2)

Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377

(2)

Gao, Honghao. editor.

(2)

Gentile, Manuel. editor.

(2)

Gracia, José. editor.

(2)

Guo, Hua. editor.

(2)

Guo, Qing. editor.

(2)

Gusikhin, Oleg. editor.

(2)

Hamdi, Mounir. author.

(2)

Hamsavath, Prasad Naik. editor.

(2)

Han, Shuai. editor.

(2)

Hawari, Kamarul Bin Ghazali. editor.

(2)

Hofheinz, Dennis. editor.

(2)

Hu, Changjun. editor.

(2)

Hu, Dewen. editor.

(2)

Huang, Xinyi. editor.

(2)

Hunold, Sascha. editor.

(2)

Husfeldt, Thore. editor.

(2)

Iliadis, Lazaros. editor.

(2)

Ioannides, Marinos. editor.

(2)

Jeannot, Emmanuel. editor.

(2)

Jeong, Hwa-Young. editor.

(2)

Jia, Min. editor. (orcid)0000-0003-3551-8654

(2)

Johnsen, Einar Broch. editor.

(2)

Kassler, Andreas. editor.

(2)

Kecskemeti, Gabor. editor.

(2)

Klapp, Jaime. editor. (orcid)0000-0003-1828-9183

(2)

Klein, Cornel. editor.

(2)

Konstantinova, Jelizaveta. editor.

(2)

Kott, Alexander. editor.

(2)

Koucheryavy, Yevgeni. editor. (orcid)0000-0003-3976-297X

(2)

Koutsoupias, Elias. editor.

(2)

Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430

(2)

Lankes, Stefan. editor.

(2)

Lanz, Oswald. editor. (orcid)0000-0003-4793-4276

(2)

Leal-Taixé, Laura. editor.

(2)

Lengauer, Christian. editor.

(2)

Leung, Victor C.M. editor.

(2)

Li, Daoliang. editor.

(2)

Li, Shuo. editor.

(2)

Li, Zhiyang. editor.

(2)

Liu, Huaping. editor. (orcid)0000-0002-4042-6044

(2)

Liu, Lei. editor.

(2)

Lopes, Luís. editor.

(2)

Luhach, Ashish Kumar. editor.

(2)

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X

(2)

Malcolm, James. editor.

(2)

Mazzeo, Pier Luigi. editor.

(2)

Mellouk, Abdelhamid. editor.

(2)

Meng, Weizhi. editor. (orcid)0000-0003-4384-5786

(2)

Messelodi, Stefano. editor. (orcid)0000-0002-4673-9607

(2)

Min, Geyong. editor.

(2)

Monteiro, Edmundo. editor.

(2)

Moriai, Shiho. editor. (orcid)0000-0002-6072-6183

(2)

Morvan, Franck. editor.

(2)

Mukherjee, Animesh. editor.

(2)

Nagaraj, H. C. editor.

(2)

Nalini, N. editor.

(2)

Niu, Ben. editor.

(2)

Nugent, Chris. editor.

(2)

Patnaik, L. M. editor.

(2)

Patnaik, Srikanta. editor.

(2)

Percannella, Gennaro. editor. (orcid)0000-0002-1227-0353

(2)

Petit, Salvador. editor.

(2)

Pierro, Alessandra. editor.

(2)

Pino, Robinson E. editor.

(2)

Pirovano, Alain. editor.

(2)

Qu, Wenyu. editor.

(2)

Quak, Ewald. editor.

(2)

Rawat, Danda B. editor.

(2)

Ricci, Laura. editor.

(2)

Rosen, Alon. editor.

(2)

Roth, Stefan. editor. (orcid)0000-0001-9002-9832

(2)

Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680

(2)

Scarano, Vittorio. editor.

(2)

Sebe, Nicu. editor. (orcid)0000-0002-6597-7248

(2)

Shetty, N. R. editor.

(2)

Shi, Yuhui. editor.

(2)

Spagnolo, Paolo. editor.

(2)

Stiller, Burkhard. editor.

(2)

Stojmenovic, Ivan. editor.

(2)

Sun, Fuchun. editor.

(2)

Sun, Xiang-he. editor.

(2)

Tan, Gary. editor.

(2)

Tan, Ying. editor. (orcid)0000-0001-8243-4731

(2)

Tang, Tiffany. editor.

(2)

Tang, Yong. editor.

(2)

Teo, Yong Meng. editor.

(2)

Vento, Mario. editor. (orcid)0000-0002-2948-741X

(2)

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847

(2)

Wagner, Roland. editor.

(2)

Wiklicky, Herbert. editor.

(2)

Wiley InterScience (Online service)

(2)

Wong, Kok Wai. editor.

(2)

Wu, Yulei. editor.

(2)

Yan, Feng. editor.

(2)

Yang, Tingting. editor.

(2)

Ye, Liang. editor.

(2)

Yu, Shui. author.

(2)

Yung, Moti. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Zhang, Ketao. editor. (orcid)0000-0002-6033-071X

(2)

Zhang, Qian. author.

(2)

Tümünü genişlet

Dil

(561)

(1)

Yayın Yılı

-

(260)

(212)

(49)

(12)

(4)

(4)

(4)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer communication systems.

(469)

Application software.

(164)

Artificial intelligence.

(135)

Software engineering.

(104)

Computer security.

(93)

Electrical engineering.

(81)

Computer science.

(73)

Optical data processing.

(70)

(69)

(59)

Computer network architectures.

(50)

Special purpose computers.

(50)

Computer Systems Organization and Communication Networks.

(48)

Data encryption (Computer science).

(39)

Computer system failures.

(38)

User interfaces (Computer systems).

(33)

(30)

Information storage and retrieval.

(26)

Management information systems.

(26)

Computer science—Mathematics.

(25)

Data protection.

(23)

Data structures (Computer science).

(22)

Information theory.

(22)

Computers and civilization.

(21)

Telecommunication.

(20)

Computer Communication Networks.

(19)

Database management.

(19)

Communications Engineering, Networks.

(18)

(17)

Computer simulation.

(17)

Information systems.

(16)

Programming languages (Electronic computers).

(14)

Architecture, Computer.

(13)

Computer logic.

(13)

(13)

Operating systems (Computers).

(13)

(12)

Computer graphics.

(11)

Computational intelligence.

(10)

Information Systems Applications (incl. Internet).

(10)

Information Systems and Communication Service.

(10)

Input-output equipment (Computers).

(10)

Computer software.

(9)

Mathematical statistics.

(9)

Pattern recognition.

(9)

Computer hardware.

(8)

Computer programming.

(8)

Multimedia information systems.

(8)

Signal processing.

(8)

Algorithm Analysis and Problem Complexity.

(7)

Bioinformatics.

(7)

Computer networks -- Security measures.

(7)

Image processing.

(7)

Mathematical logic.

(7)

Computer system performance.

(6)

Artificial Intelligence (incl. Robotics).

(5)

Health informatics.

(5)

Law and legislation.

(5)

Microprocessors.

(5)

Numerical analysis.

(5)

Signal, Image and Speech Processing.

(5)

Speech processing systems.

(5)

(4)

Information storage and retrieval systems.

(4)

Machine learning.

(4)

Microprogramming .

(4)

Multimedia systems.

(4)

Power electronics.

(4)

(4)

Wireless communication systems.

(4)

Business—Data processing.

(3)

Education—Data processing.

(3)

(3)

Information Storage and Retrieval.

(3)

Information Systems.

(3)

Information technology.

(3)

(3)

Mobile communication systems -- Computer simulation.

(3)

Multimedia Information Systems.

(3)

Simulation and Modeling.

(3)

Software Engineering/Programming and Operating Systems.

(3)

System Performance and Evaluation.

(3)

Systems and Data Security.

(3)

Theory of Computation.

(3)

Wireless communication systems -- Computer simulation.

(3)

(2)

Computational Biology/Bioinformatics.

(2)

Computer engineering.

(2)

Computer mathematics.

(2)

Computer networks.

(2)

Computer organization.

(2)

Computer software—Reusability.

(2)

Computer vision.

(2)

Computers and Society.

(2)

Data Structures, Cryptology and Information Theory.

(2)

Data transmission systems.

(2)

(2)

Electrical Engineering.

(2)

Electronic circuits.

(2)

(2)

Geographical information systems.

(2)

Logics and Meanings of Programs.

(2)

(2)

Management of Computing and Information Systems.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical optimization.

(2)

Mobile communication systems.

(2)

(2)

Operating Systems.

(2)

Personal computers.

(2)

Power Electronics, Electrical Machines and Networks.

(2)

Production of electric energy or power.

(2)

SDL (Computer program language)

(2)

(2)

User Interfaces and Human Computer Interaction.

(2)

Aerospace Technology and Astronautics.

(1)

Antennas (Electronics) -- Computer simulation.

(1)

Applied and Technical Physics.

(1)

Arithmetic and logic units, Computer.

(1)

(1)

(1)

(1)

Bilgisayar ağları.

(1)

Biomathematics.

(1)

Biomedicine general.

(1)

(1)

Biometrics (Biology).

(1)

Business Information Systems.

(1)

(1)

BİLGİSAYAR AĞLARI.

(1)

Circuits and Systems.

(1)

Commercial law.

(1)

Communication systems, Computer

(1)

Complex Networks.

(1)

Complex Systems.

(1)

Computation by Abstract Devices.

(1)

Computational Intelligence.

(1)

Computational Science and Engineering.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science, general.

(1)

Computer System Implementation.

(1)

Computer architecture.

(1)

Computer crimes.

(1)

Computer industry.

(1)

Computer networks -- Evaluation.

(1)

Control engineering.

(1)

Control, Robotics, Mechatronics.

(1)

(1)

Data Structures.

(1)

Diagnostic imaging -- Digital techniques.

(1)

Differential equations, partial.

(1)

Economic theory.

(1)

Economics/Management Science, general.

(1)

Economics/Management Science.

(1)

Electric distortion -- Computer simulation.

(1)

Electronic books.

(1)

Electronic data processing.

(1)

Electronic digital computers -- Evaluation.

(1)

Electronic systems -- Maintenance and repair -- Handbooks, manuals, etc.

(1)

Electronic systems -- Reliability -- Handbooks, manuals, etc.

(1)

Embedded computer systems -- Design and construction.

(1)

Engineering design.

(1)

Engineering ethics.

(1)

Entrepreneurship.

(1)

Extraterrestrial Physics, Space Sciences.

(1)

Geographical Information Systems/Cartography.

(1)

Haberleşme sistemleri, Bilgisayar.

(1)

Health Informatics.

(1)

Image Processing and Computer Vision.

(1)

Industrial engineering.

(1)

Information and Communication, Circuits.

(1)

Input/Output and Data Communications.

(1)

International law.

(1)

Knowledge representation (Information theory) .

(1)

(1)

Law and Economics.

(1)

Law of the sea.

(1)

Management science.

(1)

(1)

Medical informatics.

(1)

Medical records -- Data processing.

(1)

(1)

Microelectronics.

(1)

(1)

Mobile computing.

(1)

Models and Principles.

(1)

Monoclonal antibodies.

(1)

Multiprocessors.

(1)

Natural language processing (Computer science).

(1)

Neurochemistry.

(1)

Neuropsychology.

(1)

Nonlinear systems -- Computer simulation.

(1)

Numeric Computing.

(1)

Optical engineering.

(1)

Optical pattern recognition.

(1)

(1)

Partial Differential Equations.

(1)

Pattern Recognition.

(1)

Pattern recognition systems.

(1)

Performance and Reliability.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Kütüphane

Beytepe Kütüphanesi

Ç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

562 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 47

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.

Computer communication systems için kapak resmi

Computer communication systems

Computer communication systems

Yazar

Nussbaumer, Henri J.

Yer Numarası

TK 5105.5 N8713 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

2.

Computer, Communication, and Signal Processing. AI, Knowledge Engineering and IoT for Smart Systems 7th IFIP TC 12 International Conference, ICCCSP 2023, Chennai, India, January 4-6, 2023, Revised Selected Papers için kapak resmi

Computer, Communication, and Signal Processing. AI, Knowledge Engineering and IoT for Smart Systems 7th IFIP TC 12 International Conference, ICCCSP 2023, Chennai, India, January 4-6, 2023, Revised Selected Papers

Computer, Communication, and Signal Processing. AI, Knowledge Engineering and IoT for Smart Systems 7th IFIP TC 12 International Conference, ICCCSP 2023, Chennai, India, January 4-6, 2023, Revised Selected Papers

Yazar

Mercier-Laurent, Eunika. editor. Fernando, Xavier. editor. Chandrabose, Aravindan. editor. SpringerLink (Online service)

Yer Numarası

XX(520779.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-39811-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings için kapak resmi

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Yazar

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35092-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings için kapak resmi

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Yazar

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00359-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures için kapak resmi

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Yazar

Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Yer Numarası

XX(519008.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-18941-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures için kapak resmi

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Yazar

Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07317-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures için kapak resmi

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Yazar

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334688.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures için kapak resmi

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Yazar

Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures için kapak resmi

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Yazar

Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers için kapak resmi

Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers

Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers

Yazar

Hummel, Karin Anna. editor. Hlavacs, Helmut. editor. Gansterer, Wilfried. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures için kapak resmi

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Yazar

Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures için kapak resmi

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Yazar

Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 47

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11