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)

(653)

Apduhan, Bernady O. editor.

(12)

Bernardo, Marco. 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)

Huang, De-Shuang. editor.

(7)

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

(7)

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

(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)

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

(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)

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

(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)

Ferrás, Carlos. editor. (orcid)0000-0001-9499-3784

(5)

Jin, Baohua. editor.

(5)

Mahmood, Zaigham. editor.

(5)

Meng, Weixiao. editor.

(5)

Qu, Boyang. editor.

(5)

Satapathy, Suresh Chandra. 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)

Liu, Xiaodong. editor.

(4)

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

(4)

Mandal, Jyotsna Kumar. editor.

(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)

Su, Jian. editor.

(4)

Taylor and Francis.

(4)

Thampi, Sabu M. editor.

(4)

Wang, Cliff. editor.

(4)

Yang, Yangzhao. editor.

(4)

Yin, Guangqiang. editor. (orcid)0000-0003-2178-2147

(4)

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

(4)

Alexander, Michael. editor.

(3)

Balas, Valentina Emilia. editor.

(3)

Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874

(3)

Boumerdassi, Selma. editor.

(3)

Calvo, Hiram. 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)

Jain, Lakhmi C. editor.

(3)

Jonsson, Magnus. editor.

(3)

Ju, Zhaojie. editor.

(3)

Kozyrev, Dmitry V. editor.

(3)

Lent, Ricardo. editor.

(3)

Li, Guoliang. editor.

(3)

Liu, Jinguo. editor.

(3)

Liu, Lianqing. editor.

(3)

Liu, Yuwang. editor.

(3)

Mohapatra, Durga Prasad. editor.

(3)

Natwichai, Juggapong. editor.

(3)

Patnaik, Srikanta. editor.

(3)

Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313

(3)

Renault, Éric. editor.

(3)

Rocha, Alvaro. editor.

(3)

Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187

(3)

Samouylov, Konstantin E. editor.

(3)

Scott, Stephen L. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Tong, Yongxin. editor.

(3)

Vinel, Alexey. editor.

(3)

Vo, Nguyen-Son. editor.

(3)

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

(3)

Whitaker, Jerry C.

(3)

Yang, Jun. editor.

(3)

Yu, Haibin. editor.

(3)

Zelinka, Ivan. 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)

(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)

Bououden, Sofiane. editor. (orcid)0000-0001-9395-4417

(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)

Chadli, Mohammed. editor.

(2)

Chen, Hsinchun. editor.

(2)

Chen, Min. editor.

(2)

Cheng, Siyao. editor.

(2)

Cheng, Xiang. author.

(2)

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

(2)

Christianson, Bruce. editor.

(2)

Das, Swagatam. editor.

(2)

De Paz, Juan F. editor.

(2)

Diéguez Rebolledo, Mauricio. editor.

(2)

Doldi, Laurent.

(2)

Donnellan, Brian. editor.

(2)

Dorf, Richard C.

(2)

Dudin, Alexander. editor. (orcid)0000-0003-2881-0227

(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)

Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946

(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)

Hochstetter Diez, Jorge. 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)

Imran, Muhammad Ali, editor.

(2)

Ioannides, Marinos. editor.

(2)

Jamil, Akhtar. 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)

Kacprzyk, Janusz. 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)

Kozierkiewicz, Adrianna. editor. (orcid)0000-0001-8445-3979

(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, Jingchao. editor.

(2)

Li, Shuo. editor.

(2)

Li, Zhiyang. editor.

(2)

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

(2)

Liu, Lei. editor.

(2)

Lobiyal, Daya K. editor.

(2)

Lopes, Luís. editor.

(2)

Ludwig, André. editor. (orcid)0000-0002-0358-3470

(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)

Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434

(2)

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

(2)

Min, Geyong. editor.

(2)

Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X

(2)

Monsuez, Bruno. editor.

(2)

Monteiro, Edmundo. editor.

(2)

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

(2)

Morvan, Franck. editor.

(2)

Mukherjee, Animesh. editor.

(2)

Nagar, Atulya. editor. (orcid)0000-0001-5549-6435

(2)

Nagaraj, H. C. editor.

(2)

Nalini, N. editor.

(2)

Tümünü genişlet

Dil

(714)

(1)

Yayın Yılı

-

(264)

(215)

(50)

(35)

(31)

(25)

(21)

(20)

(8)

(7)

(5)

(5)

(4)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer communication systems.

(469)

Application software.

(186)

Artificial intelligence.

(176)

Software engineering.

(111)

Computer security.

(93)

Electrical engineering.

(82)

Computer science.

(75)

(70)

Optical data processing.

(70)

(61)

Computer Communication Networks.

(56)

Computational intelligence.

(54)

Telecommunication.

(53)

Computer network architectures.

(50)

Special purpose computers.

(50)

Communications Engineering, Networks.

(49)

Computer Systems Organization and Communication Networks.

(48)

Computer networks .

(41)

User interfaces (Computer systems).

(40)

Data encryption (Computer science).

(39)

Computer system failures.

(38)

(32)

Data protection.

(27)

Information theory.

(27)

Information storage and retrieval.

(26)

Management information systems.

(26)

Computer science—Mathematics.

(25)

Data structures (Computer science).

(25)

Signal processing.

(25)

Computers and civilization.

(24)

Computer and Information Systems Applications.

(22)

Computer simulation.

(22)

Electronic books.

(22)

Database management.

(21)

(20)

Signal, Speech and Image Processing.

(17)

Information systems.

(16)

Operating systems (Computers).

(15)

Control engineering.

(14)

Mathematical statistics.

(14)

Programming languages (Electronic computers).

(14)

Architecture, Computer.

(13)

Computer logic.

(13)

(13)

(12)

Machine learning.

(12)

TECHNOLOGY & ENGINEERING.

(12)

Computer graphics.

(11)

Computer vision.

(11)

Engineering -- Data processing.

(11)

Internet of things.

(11)

Computer science -- Mathematics.

(10)

Information Systems Applications (incl. Internet).

(10)

Information Systems and Communication Service.

(10)

Input-output equipment (Computers).

(10)

Computer engineering.

(9)

Computer networks -- Security measures.

(9)

Computer programming.

(9)

Computer software.

(9)

Data Engineering.

(9)

Pattern recognition.

(9)

(9)

User Interfaces and Human Computer Interaction.

(9)

Wireless communication systems.

(9)

Computer hardware.

(8)

Control and Systems Theory.

(8)

Human-computer interaction.

(8)

Mobile communication systems.

(8)

Multimedia information systems.

(8)

Algorithm Analysis and Problem Complexity.

(7)

Bioinformatics.

(7)

(7)

Computer Engineering and Networks.

(7)

Computers, Special purpose.

(7)

Electronic circuits.

(7)

Image processing.

(7)

Information storage and retrieval systems.

(7)

Mathematical logic.

(7)

Microprocessors.

(7)

Special Purpose and Application-Based Systems.

(7)

(6)

Computer Networks.

(6)

Computer system performance.

(6)

(6)

Information Storage and Retrieval.

(6)

System Performance and Evaluation.

(6)

Artificial Intelligence (incl. Robotics).

(5)

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Computer Modelling.

(5)

Computers and Society.

(5)

Control, Robotics, Automation.

(5)

Cooperating objects (Computer systems).

(5)

Cyber-Physical Systems.

(5)

Health informatics.

(5)

Information technology.

(5)

Law and legislation.

(5)

Mathematics of Computing.

(5)

Microprogramming .

(5)

Mobile & Wireless Communications.

(5)

Multimedia systems.

(5)

Numerical analysis.

(5)

Operating Systems.

(5)

Power electronics.

(5)

Probability and Statistics in Computer Science.

(5)

Signal, Image and Speech Processing.

(5)

Speech processing systems.

(5)

Computer System Implementation.

(4)

Computers and Education.

(4)

Data and Information Security.

(4)

(4)

Education -- Data processing.

(4)

Electronic Circuits and Systems.

(4)

Electronic digital computers -- Evaluation.

(4)

Image processing -- Digital techniques.

(4)

Intelligence (AI) & Semantics.

(4)

Intelligence artificielle.

(4)

Natural language processing (Computer science).

(4)

Theory of Computation.

(4)

Traffic engineering.

(4)

Transportation engineering.

(4)

Wireless and Mobile Communication.

(4)

Wireless communication systems -- Computer simulation.

(4)

Artificial intelligence

(3)

Business—Data processing.

(3)

Coding and Information Theory.

(3)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer networks.

(3)

Computer systems.

(3)

Data Structures and Information Theory.

(3)

Data transmission systems.

(3)

Education—Data processing.

(3)

Health Informatics.

(3)

Information Systems.

(3)

Internet des objets.

(3)

(3)

(3)

Medical informatics.

(3)

Microelectronics.

(3)

Mobile communication systems -- Computer simulation.

(3)

Multimedia Information Systems.

(3)

Natural Language Processing (NLP).

(3)

Processor Architectures.

(3)

Simulation and Modeling.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Systems and Data Security.

(3)

Telecommunications.

(3)

Transportation Technology and Traffic Engineering.

(3)

Applied Dynamical Systems.

(2)

Artificial Intelligence

(2)

Biomedical engineering.

(2)

Cloud Computing.

(2)

Cloud computing.

(2)

Complex Systems.

(2)

Computational Biology/Bioinformatics.

(2)

Computational intelligence

(2)

Computer architecture.

(2)

Computer mathematics.

(2)

Computer organization.

(2)

Computer software—Reusability.

(2)

Data Mining and Knowledge Discovery.

(2)

Data Structures, Cryptology and Information Theory.

(2)

(2)

(2)

Electric power production.

(2)

Electrical Engineering.

(2)

Electrical Power Engineering.

(2)

Engineering design.

(2)

Engineering geology.

(2)

Engineering mathematics.

(2)

(2)

Geoengineering.

(2)

Geographical information systems.

(2)

Intelligence informatique.

(2)

Intelligent agents (Computer software)

(2)

Internet of things

(2)

Logics and Meanings of Programs.

(2)

Management of Computing and Information Systems.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical and Computational Engineering Applications.

(2)

Mathematical optimization.

(2)

(2)

Medical records -- Data processing.

(2)

Microwaves, RF Engineering and Optical Communications.

(2)

Mobile and Network Security.

(2)

Mobile communication systems

(2)

Mobile computing.

(2)

Multiagent systems.

(2)

(2)

Nonlinear theories.

(2)

Optique quantique.

(2)

Personal computers.

(2)

(2)

Power Electronics, Electrical Machines and Networks.

(2)

Production of electric energy or power.

(2)

Quantum computers.

(2)

(2)

Quantum optics.

(2)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Wiley E-Kitap Koleksiyonu

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

715 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 60

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.

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:

2.

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:

3.

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:

4.

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:

5.

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:

6.

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:

7.

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures için kapak resmi

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Yazar

Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68894-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures için kapak resmi

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Yazar

Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72522-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings için kapak resmi

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

Yazar

Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11753810

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures için kapak resmi

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Yazar

Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11757283

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings için kapak resmi

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

Yazar

Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136094

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures için kapak resmi

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Yazar

Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b135888

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 60

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11