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: Software engineering.

Yazar

SpringerLink (Online service)

(119)

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.

(10)

Falcão, Maria Irene. editor.

(6)

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

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

Alexander, Michael. editor.

(3)

Cannataro, Mario. editor.

(3)

Costan, Alexandru. editor.

(3)

Scott, Stephen L. editor.

(3)

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

(2)

Benkner, Siegfried. editor.

(2)

Boavida, Fernando. editor.

(2)

Breitbart, Jens. editor.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

Fortino, Giancarlo. editor.

(2)

Gracia, José. editor.

(2)

Guo, Hua. editor.

(2)

Huang, Guangyan. editor.

(2)

Hunold, Sascha. editor.

(2)

Jeannot, Emmanuel. editor.

(2)

Kecskemeti, Gabor. editor.

(2)

Lankes, Stefan. editor.

(2)

Lengauer, Christian. editor.

(2)

Li, Zhiyang. editor.

(2)

Lin, Xuemin. editor.

(2)

Liu, Lei. editor.

(2)

Lopes, Luís. editor.

(2)

Manolopoulos, Yannis. editor.

(2)

Merayo, Mercedes G. editor.

(2)

Min, Geyong. editor.

(2)

Monteiro, Edmundo. editor.

(2)

Nugent, Chris. editor.

(2)

Papadopoulos, George A. editor.

(2)

Petit, Salvador. editor.

(2)

Pierro, Alessandra. editor.

(2)

Qu, Wenyu. editor.

(2)

Ricci, Laura. editor.

(2)

Scarano, Vittorio. editor.

(2)

Srivastava, Divesh. editor.

(2)

Stojmenovic, Ivan. editor.

(2)

Sun, Xiang-he. editor.

(2)

Wiklicky, Herbert. editor.

(2)

Wu, Yulei. editor.

(2)

Yang, Tingting. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Zhou, Wanlei. editor.

(2)

Žilinskas, Julius. editor.

(2)

Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X

(1)

Ait Ameur, Yamine. editor.

(1)

Aldini, Alessandro. editor.

(1)

Almeroth, Kevin. editor.

(1)

Altmann, Jörn. editor.

(1)

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

(1)

Amyot, Daniel. editor.

(1)

Attrapadung, Nuttapong. editor. (orcid)0000-0003-4116-1751

(1)

Avgeriou, Paris. editor.

(1)

Badia, Rosa Maria. editor.

(1)

Baker, Paul. editor.

(1)

Batista, Thais. author.

(1)

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

(1)

Bellalta, Boris. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

Belyaev, Evgeny. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bernhaupt, Regina. editor.

(1)

Bertino, Elisa. editor. (orcid)0000-0002-4029-7051

(1)

Bhargava, Bharat. editor.

(1)

Bhiri, Sami. editor.

(1)

Bielova, Nataliia. editor.

(1)

Black, James P. editor.

(1)

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

(1)

Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797

(1)

Bogliolo, Alessandro. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Bouassida Rodriguez, Ismael. editor.

(1)

Boutaba, Raouf. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bravo, Jose. editor.

(1)

Bravo, José. editor.

(1)

Broenink, Jan. editor.

(1)

Brucker, Achim. editor.

(1)

Brugali, Davide. editor.

(1)

Buchmann, Johannes. editor.

(1)

Cao, Jian-nong. editor.

(1)

Caragiannis, Ioannis. editor.

(1)

Carlini, Emanuele. editor. (orcid)0000-0003-3643-5404

(1)

Cassez, Franck. editor.

(1)

Chatterjee, Mainak. editor.

(1)

Chatzigiannakis, Ioannis. editor. (orcid)0000-0001-8955-9270

(1)

Chen, Liming. editor.

(1)

Chen, Min. editor.

(1)

Chhabra, Jitender Kumar. editor.

(1)

Ciaramella, Angelo. editor. (orcid)0000-0001-5592-7995

(1)

Cimatti, Alessandro. editor.

(1)

Cirne, Walfredo. editor.

(1)

Cong Vinh, Phan. editor.

(1)

Coppola, Massimo. editor. (orcid)0000-0002-7937-4157

(1)

Corradini, Flavio. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Cristea, Ana Daniela. author.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Da Silva, Dilma. editor.

(1)

Dai, Dong. editor.

(1)

Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887

(1)

Damiani, Ferruccio. editor.

(1)

Danelutto, Marco. editor.

(1)

Daniel, Florian. editor.

(1)

Das, Vinu V. editor.

(1)

De Ruyter, Boris. editor. (orcid)0000-0002-2682-7538

(1)

Degano, Pierpaolo. editor.

(1)

Delicato, Flávia C. author.

(1)

Deng, Robert H. editor. (orcid)0000-0003-3491-8146

(1)

Desai, Narayan. editor.

(1)

Desprez, Frédéric. editor.

(1)

Di Fatta, Giuseppe. editor.

(1)

Diener, Matthias. author.

(1)

Dix, Jürgen. editor. (orcid)0000-0002-8528-1440

(1)

Dongarra, Jack. editor.

(1)

Dressler, Falko. editor.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Dvořák, Zdeněk. editor.

(1)

D’Agostino, Daniele. editor. (orcid)0000-0003-2649-0071

(1)

El-Kafrawy, Passent M. editor.

(1)

Elmenreich, Wilfried. editor.

(1)

Elovici, Yuval. editor.

(1)

Enea, Constantin. editor.

(1)

Erciyes, K. author.

(1)

Faber, Wolfgang. editor.

(1)

Felber, Pascal. editor.

(1)

Felderer, Michael. editor.

(1)

Ferguson, Donald. editor.

(1)

Fidopiastis, Cali M. editor.

(1)

Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890

(1)

Fischbach, Kai. editor.

(1)

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

(1)

Forbrig, Peter. editor.

(1)

Franch, Xavier. editor.

(1)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(1)

Gansterer, Wilfried. editor.

(1)

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Garg, Vijay. editor.

(1)

Gayraud, Thierry. editor.

(1)

Gellert, Ulrich. author.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghose, Aditya K. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Giorgini, Paolo. editor.

(1)

Guerrieri, Antonio. editor. (orcid)0000-0003-1469-9484

(1)

Guo, Song. editor.

(1)

H. M. Cruz, Eduardo. author.

(1)

Ha Huy Cuong, Nguyen. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462

(1)

Hamid, Brahim. editor.

(1)

Han, Jinguang. editor. (orcid)0000-0002-4993-9452

(1)

Helfert, Markus. editor.

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Hervás, Ramón. editor.

(1)

Hillston, Jane. editor.

(1)

Hlavacs, Helmut. editor.

(1)

Hliněný, Petr. editor.

(1)

Horváth, Gábor. editor.

(1)

Hu, Changjun. editor.

(1)

Huang, Xinyi. editor.

(1)

Hummel, Karin Anna. editor.

(1)

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

(1)

Issarny, Valérie. editor.

(1)

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

(1)

Jiang, Congfeng. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Johnson, Ralph. editor.

(1)

Jones, Richard. editor.

(1)

Jonsson, Magnus. editor.

(1)

Jürjens, Jan. editor.

(1)

Karczewski, Konrad. editor.

(1)

Kaushal, Narottam Chand. editor.

(1)

Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472

(1)

Khendek, Ferhat. editor.

(1)

Kofroň, Jan. editor.

(1)

Kothapalli, Kishore. editor.

(1)

Kovalev, Mikhail. author.

(1)

Kořenek, Jan. editor.

(1)

Krammer, Bettina. editor.

(1)

Krcmar, Helmut. editor.

(1)

Krieger, Udo R. editor.

(1)

Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931

(1)

Kroeger, Torsten. editor.

(1)

Tümünü genişlet

Dil

(119)

Yayın Yılı

-

(48)

(39)

(15)

(3)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer communication systems.

(84)

Computer science.

(37)

Application software.

(36)

Artificial intelligence.

(25)

(23)

Information systems.

(16)

Programming languages (Electronic computers).

(14)

Computer Communication Networks.

(13)

Computer system failures.

(13)

Computer security.

(12)

Computer logic.

(11)

(10)

Information Systems and Communication Service.

(10)

(10)

(9)

Optical data processing.

(8)

Computer network architectures.

(6)

Computer programming.

(6)

Computers and civilization.

(6)

User interfaces (Computer systems).

(6)

Computer software.

(5)

Data encryption (Computer science).

(5)

Management information systems.

(5)

Mathematical logic.

(5)

Software Engineering/Programming and Operating Systems.

(5)

(4)

Computer Systems Organization and Communication Networks.

(4)

Computer hardware.

(4)

Computer simulation.

(4)

Computer system performance.

(4)

Information theory.

(4)

Input-output equipment (Computers).

(4)

Operating systems (Computers).

(4)

Architecture, Computer.

(3)

Bioinformatics.

(3)

Data Mining and Knowledge Discovery.

(3)

Data protection.

(3)

Database management.

(3)

Electrical engineering.

(3)

Information Systems Applications (incl. Internet).

(3)

Information storage and retrieval systems.

(3)

Logics and Meanings of Programs.

(3)

Special purpose computers.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Artificial Intelligence (incl. Robotics).

(2)

Business Information Systems.

(2)

Computational Biology/Bioinformatics.

(2)

Computer science—Mathematics.

(2)

Information Systems.

(2)

Information storage and retrieval.

(2)

Information technology.

(2)

Microprogramming .

(2)

Telecommunication.

(2)

User Interfaces and Human Computer Interaction.

(2)

(1)

Business planning.

(1)

Business—Data processing.

(1)

Computation by Abstract Devices.

(1)

Computer industry.

(1)

Computer organization.

(1)

Computers and Society.

(1)

Data transmission systems.

(1)

(1)

Economic theory.

(1)

(1)

Economics/Management Science.

(1)

Electronic data processing.

(1)

(1)

Information Storage and Retrieval.

(1)

Law and legislation.

(1)

Machine learning.

(1)

Management of Computing and Information Systems.

(1)

Mathematical statistics.

(1)

Monoclonal antibodies.

(1)

Multimedia systems.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Operating Systems.

(1)

Organization/Planning.

(1)

Pattern recognition.

(1)

Performance and Reliability.

(1)

Programming Languages, Compilers, Interpreters.

(1)

(1)

Simulation and Modeling.

(1)

System Performance and Evaluation.

(1)

Theory of Computation.

(1)

e-Commerce/e-business.

(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

119 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 10

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.

OFDM Concepts for Future Communication Systems için kapak resmi

OFDM Concepts for Future Communication Systems

OFDM Concepts for Future Communication Systems

Yazar

Rohling, Hermann. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Computing and Communication Systems in Urban Development A Detailed Perspective için kapak resmi

Computing and Communication Systems in Urban Development A Detailed Perspective

Computing and Communication Systems in Urban Development A Detailed Perspective

Yazar

Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462 Ramu, Arulmurugan. author. (orcid)0000-0003-1030-9565 Murugan, Suriya. author. (orcid)0000-0002-8130-7228 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-26013-2

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.

Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings için kapak resmi

Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings

Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings

Yazar

Cong Vinh, Phan. editor. Ha Huy Cuong, Nguyen. editor. Vassev, Emil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses için kapak resmi

Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses

Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses

Yazar

H. M. Cruz, Eduardo. author. Diener, Matthias. author. O. A. Navaux, Philippe. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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:

8.

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:

9.

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:

10.

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:

11.

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:

12.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 10

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11