Search Results for Computer Communication Networks

|

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: Logic design.

Yazar

SpringerLink (Online service)

(288)

Dix, Jürgen. editor.

(6)

Stenström, Per. editor.

(6)

Aldini, Alessandro. editor.

(5)

Baldoni, Matteo. editor.

(5)

Barthe, Gilles. editor.

(5)

Bernardo, Marco. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Stafford, Judith A. editor.

(5)

Higashino, Teruo. editor.

(4)

Jacko, Julie A. editor.

(4)

Reussner, Ralf. editor.

(4)

Ungerer, Theo. editor.

(4)

Winikoff, Michael. editor.

(4)

Zavattaro, Gianluigi. editor.

(4)

Bordini, Rafael H. editor.

(3)

Bravetti, Mario. editor.

(3)

Bruni, Roberto. editor.

(3)

Crnkovic, Ivica. editor.

(3)

Dastani, Mehdi. editor.

(3)

Gorton, Ian. editor.

(3)

Heineman, George T. editor.

(3)

Leite, João. editor.

(3)

Liu, Zhiming. editor.

(3)

Maciaszek, Leszek A. editor.

(3)

Małuszyński, Jan. editor.

(3)

Métais, Elisabeth. editor.

(3)

Omicini, Andrea. editor.

(3)

Ossowski, Sascha. editor.

(3)

Palanque, Philippe. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Sardina, Sebastian. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Torroni, Paolo. editor.

(3)

Allemang, Dean. editor.

(2)

Ayala, José L. editor.

(2)

Aßmann, Uwe. editor.

(2)

Baroglio, Cristina. editor.

(2)

Boella, Guido. editor.

(2)

Boissier, Olivier. editor.

(2)

Book, Matthias. editor.

(2)

Decker, Stefan. editor.

(2)

Dignum, Virginia. editor.

(2)

Eijk, Rogier M. editor.

(2)

Endriss, Ulle. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Gavrilova, Marina L. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Gomez-Sanz, Jorge J. editor.

(2)

Governatori, Guido. editor.

(2)

Gruhn, Volker. editor.

(2)

Gschwind, Thomas. editor.

(2)

Hermanns, Holger. editor.

(2)

Hinchey, Mike. editor.

(2)

Hung, Dang. editor.

(2)

Kim, Haeng-kon. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Kiumi, Akingbehin. editor.

(2)

Kordon, Fabrice. editor.

(2)

Kudenko, Daniel. editor.

(2)

König, Barbara. editor.

(2)

Lara, Juan. editor.

(2)

Lopes, Antónia. editor.

(2)

Luck, Michael. editor.

(2)

Lumpe, Markus. editor.

(2)

Margaria, Tiziana. editor.

(2)

Matson, Eric. editor.

(2)

Maynard, Diana. editor.

(2)

Mayr, Heinrich C. editor.

(2)

Mezini, Mira. editor.

(2)

Mika, Peter. editor.

(2)

Mizoguchi, Riichiro. editor.

(2)

Müller, Jörg P. editor.

(2)

Nicola, Rocco. editor.

(2)

Noriega, Pablo. editor.

(2)

Overhage, Sven. editor.

(2)

Padget, Julian. editor.

(2)

Padgham, Lin. editor.

(2)

Palsberg, Jens. editor.

(2)

Plasil, Frantisek. editor.

(2)

Reed, Rick. editor.

(2)

Romanovsky, Alexander. editor.

(2)

Sadananda, Ramakoti. editor.

(2)

Schmidt, Heinz W. editor.

(2)

Schäfer, Wilhelm. editor.

(2)

Shi, Zhongzhi. editor.

(2)

Sicard, Gilles. editor.

(2)

Sichman, Jaime Simão. editor.

(2)

Son, Tran Cao. editor.

(2)

Steffen, Bernhard. editor.

(2)

Suzuki, Kenji. editor.

(2)

Szyperski, Clemens A. editor.

(2)

Südholt, Mario. editor.

(2)

Telek, Miklós. editor.

(2)

Ulidowski, Irek. editor.

(2)

Ulrich, Andreas. editor.

(2)

Vardanega, Tullio. editor.

(2)

Vasconcelos, Wamberto. editor.

(2)

Vitek, Jan. editor.

(2)

Vázquez-Salceda, Javier. editor.

(2)

Wirsing, Martin. editor.

(2)

Woodcock, Jim. editor.

(2)

Zambonelli, Franco. editor.

(2)

Abadi, Martín. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Aberer, Karl. editor.

(1)

Aceto, Luca. editor.

(1)

Adeli, Hojjat. editor.

(1)

Agha, Gul. editor.

(1)

Al-Begain, Khalid. editor.

(1)

Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191

(1)

Alfaro, Luca. editor.

(1)

Alonistioti, Nancy. editor.

(1)

Alonso, Eduardo. editor.

(1)

Andres, Frederic. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Antoš, David. editor.

(1)

Anutariya, Chutiporn. editor.

(1)

Apel, Sven. editor.

(1)

Araki, Keijiro. editor.

(1)

Aroyo, Lora M. editor.

(1)

Artikis, Alexander. editor.

(1)

Babar, Muhammad Ali. editor.

(1)

Badia, Rosa M. editor.

(1)

Baier, Christel. editor.

(1)

Banâtre, Jean-Pierre. editor.

(1)

Barbosa, Jorge G. editor.

(1)

Barbosa, Luís Soares. editor.

(1)

Barkaoui, Kamel. editor.

(1)

Barley, Michael Wayne. editor.

(1)

Baudry, Benoît. editor.

(1)

Becker, Steffen. editor.

(1)

Beckert, Bernhard. editor.

(1)

Benjamins, V. Richard. editor.

(1)

Bentahar, Jamal. editor.

(1)

Berdine, Josh. editor.

(1)

Berekovic, Mladen. editor.

(1)

Bergel, Alexandre. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bishop, Judith. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Black, Andrew P. editor.

(1)

Blandford, Ann. editor.

(1)

Blass, Andreas. editor.

(1)

Boer, Frank S. editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Bonatti, Piero A. editor.

(1)

Bononi, Luciano. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bordbar, Behzad. editor.

(1)

Bosschere, Koen. editor.

(1)

Bottaci, Leonardo. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Bouda, Jan. editor.

(1)

Bougé, Luc. editor.

(1)

Breugel, Franck. editor.

(1)

Brorsson, Mats. editor.

(1)

Bry, François. editor.

(1)

Buchty, Rainer. editor.

(1)

Bui, The Duy. editor.

(1)

Bultan, Tevfik. editor.

(1)

Cabot, Jordi. editor.

(1)

Caires, Luís. editor.

(1)

Calude, Cristian S. editor.

(1)

Cao, Longbing. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cebulla, Michael. editor.

(1)

Cerone, Antonio. editor.

(1)

Cervesato, Iliano. editor.

(1)

Cha, Sungdeok (Steve). editor.

(1)

Chakraborty, Supratik. editor.

(1)

Chang, Chip-Hong. editor.

(1)

Chattopadhyay, Sanatan. editor.

(1)

Chattopadhyay, Santanu. editor.

(1)

Chechik, Marsha. editor.

(1)

Chin, Wei-Ngan. editor.

(1)

Cho, Sangyeun. editor.

(1)

Choi, Jin-Young. editor.

(1)

Choi, Key-Sun. editor.

(1)

Choi, Lynn. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Coninx, Karin. editor.

(1)

Consel, Charles. editor.

(1)

Conte, Tom. editor.

(1)

Cook, Byron. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Craven, Robert. editor.

(1)

Crnković, Ivica. editor.

(1)

Cruz, Isabel. editor.

(1)

Cudré-Mauroux, Philippe. editor.

(1)

Cámara, Javier. editor.

(1)

Daniel, Peter. editor.

(1)

Danvy, Olivier. editor.

(1)

Dastani, Mehdi M. editor.

(1)

Datta, Anupam. editor.

(1)

Dean, Mike. editor.

(1)

Degano, Pierpaolo. editor.

(1)

Derrick, John. editor.

(1)

Tümünü genişlet

Dil

(288)

Yayın Yılı

-

(44)

(41)

(32)

(30)

(30)

(30)

(30)

(22)

(18)

(11)

Tümünü genişlet

Konu

Computer Communication Networks.

(288)

Computer science.

(284)

Software engineering.

(242)

Artificial intelligence.

(84)

Information Systems.

(42)

Information systems.

(37)

Operating systems (Computers).

(31)

Computer software.

(25)

Information storage and retrieval systems.

(25)

Logics and Meanings of Programs.

(21)

Multimedia systems.

(21)

Computer system performance.

(20)

Programming Languages, Compilers, Interpreters.

(14)

Data transmission systems.

(13)

Data protection.

(11)

Data encryption (Computer science).

(10)

Computer simulation.

(9)

(8)

Artificial Intelligence (incl. Robotics).

(7)

Mathematical Logic and Formal Languages.

(7)

Information Systems Applications (incl. Internet).

(6)

Programming Techniques.

(6)

Data structures (Computer science).

(5)

Database management.

(5)

Management of Computing and Information Systems.

(5)

Computer network architectures.

(4)

Computation by Abstract Devices.

(3)

Information theory.

(3)

Management information systems.

(3)

Operating Systems.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Computer security.

(2)

Simulation and Modeling.

(2)

Telecommunication.

(2)

Bioinformatics.

(1)

Computational complexity.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer vision.

(1)

Discrete Mathematics in Computer Science.

(1)

Engineering mathematics.

(1)

Information Storage and Retrieval.

(1)

Medical records -- Data processing.

(1)

Microprogramming.

(1)

Models and Principles.

(1)

Monoclonal antibodies.

(1)

Register-Transfer-Level Implementation.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Special Purpose and Application-Based Systems.

(1)

System Performance and Evaluation.

(1)

Systems and Data Security.

(1)

Translators (Computer programs).

(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

288 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 24

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.

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings için kapak resmi

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Yazar

Schmitt, Jens B. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings için kapak resmi

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Yazar

Seidl, Helmut. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Yazar

Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday için kapak resmi

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

Yazar

Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers için kapak resmi

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

Yazar

Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings için kapak resmi

Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Yazar

Giese, Holger. editor. Rosu, Grigore. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings için kapak resmi

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

Yazar

Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings için kapak resmi

CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

Yazar

Koutny, Maciej. editor. Ulidowski, Irek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings için kapak resmi

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Yazar

Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers için kapak resmi

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

Yazar

Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers için kapak resmi

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Yazar

Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers için kapak resmi

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Yazar

Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 24

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11