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

(299)

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)

Chen, Xu. 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)

Guo, Deke. editor.

(2)

Hermanns, Holger. editor.

(2)

Hinchey, Mike. editor.

(2)

Hung, Dang. editor.

(2)

Hähnle, Reiner. 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)

Lintas, Alessandra. 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)

Min, Geyong. 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)

Pu, Lingjun. editor.

(2)

Rahaman, Hafizur. editor.

(2)

Reed, Rick. editor.

(2)

Romanovsky, Alexander. editor.

(2)

Rovetta, Stefano. 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)

Verschure, Paul F.M.J. editor.

(2)

Villa, Alessandro E.P. editor.

(2)

Vitek, Jan. editor.

(2)

Vázquez-Salceda, Javier. editor.

(2)

Wirsing, Martin. editor.

(2)

Woodcock, Jim. editor.

(2)

Xie, Xia. 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)

Athanasopoulos, Elias. 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)

Bodden, Eric. 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)

Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949

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

Tümünü genişlet

Dil

(299)

Yayın Yılı

-

(44)

(41)

(32)

(30)

(30)

(30)

(30)

(22)

(18)

(11)

(7)

(3)

(1)

Tümünü genişlet

Konu

Computer Communication Networks.

(293)

Computer science.

(285)

Software engineering.

(245)

Artificial intelligence.

(91)

Information Systems.

(42)

Operating systems (Computers).

(38)

Information systems.

(37)

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.

(12)

Data encryption (Computer science).

(11)

Operating Systems.

(10)

Computer simulation.

(9)

(9)

Computer networks .

(8)

Artificial Intelligence (incl. Robotics).

(7)

Mathematical Logic and Formal Languages.

(7)

Programming Techniques.

(7)

Information Systems Applications (incl. Internet).

(6)

Computer vision.

(5)

Data structures (Computer science).

(5)

Database management.

(5)

Management of Computing and Information Systems.

(5)

Special Purpose and Application-Based Systems.

(5)

Computer input-output equipment.

(4)

Computer network architectures.

(4)

Computers, Special purpose.

(4)

Control Structures and Microprogramming.

(4)

Input/Output and Data Communications.

(4)

Microprogramming .

(4)

Computation by Abstract Devices.

(3)

Computer Engineering and Networks.

(3)

Computer engineering.

(3)

Information theory.

(3)

Management information systems.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Computer architecture.

(2)

Computer security.

(2)

Microprocessors.

(2)

Processor Architectures.

(2)

Simulation and Modeling.

(2)

Telecommunication.

(2)

(1)

Application software.

(1)

Bioinformatics.

(1)

Computational complexity.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Memory Structure.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer and Information Systems Applications.

(1)

Computer programming.

(1)

Computer storage devices.

(1)

(1)

(1)

Data Mining and Knowledge Discovery.

(1)

Data and Information Security.

(1)

Discrete Mathematics in Computer Science.

(1)

Engineering mathematics.

(1)

Formal Languages and Automata Theory.

(1)

Image processing -- Digital techniques.

(1)

Information Storage and Retrieval.

(1)

Machine theory.

(1)

Medical records -- Data processing.

(1)

Memory management (Computer science).

(1)

Microprogramming.

(1)

Models and Principles.

(1)

Monoclonal antibodies.

(1)

Register-Transfer-Level Implementation.

(1)

Software Engineering/Programming and Operating 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

299 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 25

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.

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:

2.

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:

3.

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:

4.

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:

5.

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:

6.

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers için kapak resmi

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

Yazar

Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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:

8.

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:

9.

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:

10.

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:

11.

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:

12.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 25

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11