Search Results for 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

Daraltılmış:

+

Konu: Computer science.

Yazar

SpringerLink (Online service)

(137)

Bernardo, Marco. editor.

(9)

Schmidt, Andreas U. editor.

(4)

Lian, Shiguo. editor.

(3)

Nguyen, Ngoc Thanh. editor.

(3)

Russello, Giovanni. editor.

(3)

Boavida, Fernando. editor.

(2)

Christianson, Bruce. editor.

(2)

Emmanouilidis, Christos. editor.

(2)

Huang, Guangyan. editor.

(2)

Kiritsis, Dimitris. editor.

(2)

Lin, Xuemin. editor.

(2)

Lioy, Antonio. editor.

(2)

Malcolm, James. editor.

(2)

Manolopoulos, Yannis. editor.

(2)

Merayo, Mercedes G. editor.

(2)

Monteiro, Edmundo. editor.

(2)

Pierro, Alessandra. editor.

(2)

Srivastava, Divesh. editor.

(2)

Taisch, Marco. editor.

(2)

Wiklicky, Herbert. editor.

(2)

Wimmer, Maria A. editor.

(2)

Wu, Yanwen. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Aalberg, Trond. editor.

(1)

Abadi, Martín. editor.

(1)

Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000

(1)

Aikat, Jay. author.

(1)

Aldini, Alessandro. editor.

(1)

Alexander, Michael. editor.

(1)

Almeroth, Kevin. editor.

(1)

Altmann, Jörn. editor.

(1)

Amyot, Daniel. editor.

(1)

Anderson, Jonathan. editor.

(1)

Ang, Li-minn. author.

(1)

Angelis, Constantinos T. editor.

(1)

Arabnia, Hamid R. editor.

(1)

Ariwa, Ezendu. editor.

(1)

Askoxylakis, Ioannis. editor.

(1)

Atallah, Mikhail J.

(1)

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

(1)

Au, Man Ho. editor.

(1)

Avgeriou, Paris. editor.

(1)

Babu, M. Rajasekhara. editor.

(1)

Badia, Rosa Maria. editor.

(1)

Baker, Paul. editor.

(1)

Bandyopadhyay, Sanghamitra. author.

(1)

Barnden, Andrew. editor.

(1)

Barry, Chris. editor.

(1)

Batista, Thais. author.

(1)

Beckner, Mark. author.

(1)

Bellalta, Boris. editor.

(1)

Belyaev, Evgeny. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bernard, Alain. editor. (orcid)0000-0002-7037-2980

(1)

Bettini, Claudio. editor.

(1)

Bhattacharyya, Shuvra S. editor.

(1)

Bhiri, Sami. editor.

(1)

Black, James P. editor.

(1)

Blanton, Marina.

(1)

Bliudze, Simon. editor. (orcid)0000-0002-7900-5271

(1)

Bogliolo, Alessandro. editor.

(1)

Bouras, Abdelaziz. editor.

(1)

Boutaba, Raouf. editor.

(1)

Brezovan, Marius. editor.

(1)

Brisk, Philip. editor.

(1)

Bruaset, Are Magnus. editor.

(1)

Burg, Andreas. editor.

(1)

Bursa, Miroslav. editor.

(1)

Bǎdicǎ, Costin. editor.

(1)

Cai, Zhipeng. editor.

(1)

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961

(1)

Cannataro, Mario. editor.

(1)

Caragiannis, Ioannis. editor.

(1)

Carminati, Barbara. editor.

(1)

Catthoor, Francky. author.

(1)

Cervesato, Iliano. author.

(1)

Chakraborty, Rajat Subhra. editor.

(1)

Chen, Chaomei. author.

(1)

Chen, Hsinchun. editor.

(1)

Chen, Shigang. author.

(1)

Cheng, Siyao. editor.

(1)

Chesñevar, Carlos Iván. editor.

(1)

Chew, Li Wern. author.

(1)

Chia, Wai Chong. author.

(1)

Cimatti, Alessandro. editor.

(1)

Collet, Pierre. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Costan, Alexandru. editor.

(1)

Cowley, John. author.

(1)

Coṣkun, Ayṣe. editor.

(1)

Cristea, Ana Daniela. author.

(1)

Cummins, Stephen. author.

(1)

Dainotti, Alberto. editor.

(1)

Danelutto, Marco. editor.

(1)

Daniel, Florian. editor.

(1)

De Decker, Bart. editor.

(1)

Degano, Pierpaolo. editor.

(1)

Delicato, Flávia C. author.

(1)

Deprettere, Ed F. editor.

(1)

Desprez, Frédéric. editor.

(1)

Dickerson, John P. author.

(1)

Diniz, Pedro C. editor.

(1)

Dobreva, Milena. editor.

(1)

Doolin, Bill. editor.

(1)

Drachsler, Hendrik. author.

(1)

Dutta, Rudra. author.

(1)

Duval, Erik. author.

(1)

Dvořák, Zdeněk. editor.

(1)

Faber, Wolfgang. editor.

(1)

Farkas, Károly. editor.

(1)

Farrugia, Charles J. editor.

(1)

Fasthuber, Robert. author.

(1)

Felderer, Michael. editor.

(1)

Figueiredo Coutinho, José Gabriel. editor.

(1)

Fisher, Julie. editor.

(1)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(1)

Fortin, Clement. editor.

(1)

Fotiadis, Dimitrios. editor.

(1)

Franch, Xavier. editor.

(1)

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

(1)

Gallais, Antoine. editor.

(1)

Gansterer, Wilfried. editor.

(1)

Gao, Hong. editor.

(1)

Gassen, Jan. author.

(1)

Gayraud, Thierry. editor.

(1)

Geers, D. Glenn. author.

(1)

Gelenbe, Erol. editor.

(1)

Gellert, Ulrich. author.

(1)

Gerhards-Padilla, Elmar. author.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghose, Aditya K. editor.

(1)

Gil, Joon-Min. editor.

(1)

Giuliani, Giovanni. editor.

(1)

Gkoulalas-Divanis, Aris. editor.

(1)

Glance, David. author.

(1)

Glitho, Roch. editor.

(1)

Gregory, Mark A. author.

(1)

Gritzalis, Dimitris. editor.

(1)

Gu, Qijun. editor.

(1)

Guo, Li. editor.

(1)

Guo, Song. editor.

(1)

Guthaus, Matthew. editor.

(1)

Hamdi, Mounir. author.

(1)

Han, Weihong. editor.

(1)

Harkins, Malcolm. author.

(1)

Hesselbach-Serra, Xavier. editor.

(1)

Hillston, Jane. editor.

(1)

Hlavacs, Helmut. editor.

(1)

Hliněný, Petr. editor.

(1)

Hsu, Ching-Hsien. editor.

(1)

Hsu, Robert C.-H. editor.

(1)

Hu, Changjun. editor.

(1)

Huang, Zi. editor.

(1)

Hummel, Karin Anna. editor.

(1)

Hřebíček, Jiří. editor.

(1)

Imamura, Kazayuki. editor.

(1)

Issarny, Valérie. editor.

(1)

Jagadeesh, Madhu. author.

(1)

Jain, Lakhmi C. editor.

(1)

Janssen, Marijn. editor.

(1)

Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804

(1)

Jeffay, Kevin. author.

(1)

Jiang, Xuxian. author.

(1)

Jin, Hai. author.

(1)

Jin, Jesse S. author.

(1)

Jonsson, Magnus. editor.

(1)

Kantarci, Melike Erol. editor.

(1)

Karmouch, Ahmed. editor.

(1)

Kasamatsu, Takuji. editor.

(1)

Katkoori, Srinivas. editor.

(1)

Khendek, Ferhat. editor.

(1)

Khuri, Sami. editor.

(1)

Kianmehr, Keivan. editor.

(1)

Kiayias, Aggelos. editor.

(1)

Kim, Cheonshik. editor.

(1)

Klingert, Sonja. editor.

(1)

Kofroň, Jan. editor.

(1)

Koronacki, Jacek. editor.

(1)

Kořenek, Jan. editor.

(1)

Kościelny, Czesław. author.

(1)

Krammer, Bettina. editor.

(1)

Kremer, Steve. editor.

(1)

Krishna, P. Venkata. editor.

(1)

Krontiris, Ioannis. editor.

(1)

Kubásek, Miroslav. editor.

(1)

Kuo, C.-C. Jay. editor.

(1)

Kurkowski, Mirosław. author.

(1)

Kuttyamma, A. J. editor.

(1)

Kłopotek, Mieczysław A. editor.

(1)

Lamprou, Eleni. editor.

(1)

Lang, Michael. editor.

(1)

Lau, Rynson. editor.

(1)

Lawrenz, Wolfhard. editor.

(1)

Lee, Kun Chang. editor.

(1)

Lehner, Wolfgang. author.

(1)

Lembo, Domenico. editor.

(1)

Lent, Ricardo. editor.

(1)

Leupers, Rainer. editor.

(1)

Lewis, Grace A. editor.

(1)

Tümünü genişlet

Dil

(138)

Yayın Yılı

-

(86)

(23)

(5)

(4)

(4)

(4)

(3)

(3)

(2)

(2)

(1)

(1)

Tümünü genişlet

Konu

Information systems.

(65)

Information Systems and Communication Service.

(56)

Computer Communication Networks.

(40)

Computer network architectures.

(38)

Software engineering.

(37)

Computer Systems Organization and Communication Networks.

(33)

Artificial intelligence.

(28)

Computer communication systems.

(26)

Artificial Intelligence (incl. Robotics).

(22)

Management information systems.

(21)

Information Systems Applications (incl. Internet).

(20)

Data encryption (Computer science).

(16)

Application software.

(13)

Computer software.

(12)

Telecommunication.

(12)

(10)

Data protection.

(10)

(10)

Communications Engineering, Networks.

(9)

Computer security.

(9)

Data structures (Computer science).

(9)

Information storage and retrieval systems.

(9)

Computer simulation.

(8)

Data Mining and Knowledge Discovery.

(8)

Systems and Data Security.

(8)

Algorithm Analysis and Problem Complexity.

(7)

Business Information Systems.

(7)

Computer system performance.

(7)

Computers and Society.

(7)

(6)

Bioinformatics.

(6)

Computer Appl. in Administrative Data Processing.

(6)

Information Systems.

(6)

Computer hardware.

(5)

Computer vision.

(5)

(5)

Information Storage and Retrieval.

(5)

Information theory.

(5)

Simulation and Modeling.

(5)

Software Engineering/Programming and Operating Systems.

(5)

Computational Biology/Bioinformatics.

(4)

Computer Science, general.

(4)

Data Encryption.

(4)

Data Structures, Cryptology and Information Theory.

(4)

Database management.

(4)

Health Informatics.

(4)

Medical records -- Data processing.

(4)

Multimedia systems.

(4)

Operating systems (Computers).

(4)

User Interfaces and Human Computer Interaction.

(4)

Computational Intelligence.

(3)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(3)

Computer logic.

(3)

Information storage and retrieval.

(3)

Logics and Meanings of Programs.

(3)

Management of Computing and Information Systems.

(3)

Multimedia Information Systems.

(3)

Operating Systems.

(3)

Programming languages (Electronic computers).

(3)

System Performance and Evaluation.

(3)

Theory of Computation.

(3)

Business—Data processing.

(2)

Computation by Abstract Devices.

(2)

Computational complexity.

(2)

Computer Applications.

(2)

Computer engineering.

(2)

Computer system failures.

(2)

Computers -- Law and legislation.

(2)

Computers and Education.

(2)

Computers and civilization.

(2)

Data transmission systems.

(2)

Document Preparation and Text Processing.

(2)

(2)

(2)

Electrical Engineering.

(2)

Models and Principles.

(2)

Processor Architectures.

(2)

Signal, Image and Speech Processing.

(2)

Text processing (Computer science.

(2)

e-Commerce/e-business.

(2)

Biometrics (Biology).

(1)

Business planning.

(1)

Circuits and Systems.

(1)

(1)

Computational Science and Engineering.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer System Implementation.

(1)

Computer algorithms.

(1)

Computer industry.

(1)

Control, Robotics, Mechatronics.

(1)

Data Structures.

(1)

Differential equations, partial.

(1)

(1)

Economic theory.

(1)

Economics/Management Science, general.

(1)

Economics/Management Science.

(1)

Education (general).

(1)

Electrical engineering.

(1)

Electronic data processing.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Engineering design.

(1)

(1)

Geographical Information Systems/Cartography.

(1)

Geographical information systems.

(1)

Image Processing and Computer Vision.

(1)

Information technology.

(1)

Input/Output and Data Communications.

(1)

Language Translation and Linguistics.

(1)

Legal Aspects of Computing.

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

(1)

Mobile communication systems.

(1)

Monoclonal antibodies.

(1)

Numeric Computing.

(1)

Optical pattern recognition.

(1)

Organization/Planning.

(1)

Organizational Studies, Economic Sociology.

(1)

Partial Differential Equations.

(1)

Pattern Recognition.

(1)

Performance and Reliability.

(1)

Physiological, Cellular and Medical Topics.

(1)

Physiology -- Mathematics.

(1)

Power Electronics, Electrical Machines and Networks.

(1)

Production of electric energy or power.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Programming Techniques.

(1)

Social sciences -- Data processing.

(1)

Special purpose computers.

(1)

Systems engineering.

(1)

Translators (Computer programs).

(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

138 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 12

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

2.

Security in Emerging Wireless Communication and Networking Systems First International ICST Workshop, SEWCN 2009, Athens, Greece, September 14, 2009, Revised Selected Papers için kapak resmi

Security in Emerging Wireless Communication and Networking Systems First International ICST Workshop, SEWCN 2009, Athens, Greece, September 14, 2009, Revised Selected Papers

Security in Emerging Wireless Communication and Networking Systems First International ICST Workshop, SEWCN 2009, Athens, Greece, September 14, 2009, Revised Selected Papers

Yazar

Gu, Qijun. editor. Zang, Wanyu. editor. Yu, Meng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings için kapak resmi

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

Yazar

Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Security and Privacy in Mobile Information and Communication Systems Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, Revised Selected Papers için kapak resmi

Security and Privacy in Mobile Information and Communication Systems Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, Revised Selected Papers

Security and Privacy in Mobile Information and Communication Systems Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, Revised Selected Papers

Yazar

Schmidt, Andreas U. editor. Russello, Giovanni. editor. Lioy, Antonio. editor. Prasad, Neeli R. editor. Lian, Shiguo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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:

6.

Security and Privacy in Mobile Information and Communication Systems First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers için kapak resmi

Security and Privacy in Mobile Information and Communication Systems First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers

Security and Privacy in Mobile Information and Communication Systems First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers

Yazar

Schmidt, Andreas U. editor. Lian, Shiguo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings için kapak resmi

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Yazar

Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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:

9.

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:

10.

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:

11.

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:

12.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 12

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11