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.

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings için kapak resmi

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Yazar

Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers için kapak resmi

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

Yazar

Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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:

4.

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:

5.

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:

6.

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:

7.

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:

8.

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:

9.

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings için kapak resmi

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

Yazar

Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings için kapak resmi

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

Yazar

Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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:

12.

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings için kapak resmi

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Yazar

Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

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