Search Results for Computer Communication Networks

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

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ç

288 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 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.

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings için kapak resmi

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Yazar

Ramanujam, R. editor. Ramaswamy, Srini. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

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:

3.

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings için kapak resmi

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

Yazar

Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Yazar

Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems için kapak resmi

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Yazar

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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:

7.

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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:

9.

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:

10.

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings için kapak resmi

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

Yazar

Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings için kapak resmi

Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings

Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings

Yazar

Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings için kapak resmi

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Yazar

Gschwind, Thomas. editor. Paoli, Flavio. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 .. 3 4 5 6 7 .. 24

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11