Search Results for Logic

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: Computer Communication Networks.

Yazar

SpringerLink (Online service)

(299)

Dix, Jürgen. editor.

(7)

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)

Leite, João. editor.

(5)

Stafford, Judith A. editor.

(5)

Torroni, Paolo. 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)

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)

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)

Satoh, Ken. 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)

Toni, Francesca. 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)

Amouzegar, Mahyar A. editor.

(1)

Andres, Frederic. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Antoš, David. editor.

(1)

Anutariya, Chutiporn. editor.

(1)

Ao, Sio-long. editor.

(1)

Apel, Sven. editor.

(1)

Araki, Keijiro. editor.

(1)

Arjeski, Trevor. author.

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

Tümünü genişlet

Dil

(299)

Yayın Yılı

-

(45)

(41)

(32)

(32)

(31)

(31)

(30)

(23)

(18)

(11)

(5)

Tümünü genişlet

Konu

Computer science.

(290)

(288)

Software engineering.

(243)

Artificial intelligence.

(89)

Information Systems.

(42)

Information systems.

(37)

Operating systems (Computers).

(31)

Computer software.

(26)

Information storage and retrieval systems.

(25)

Logics and Meanings of Programs.

(21)

Multimedia systems.

(21)

Computer system performance.

(20)

Programming Languages, Compilers, Interpreters.

(15)

Data transmission systems.

(13)

Data protection.

(11)

Data encryption (Computer science).

(10)

Computer simulation.

(9)

(8)

Mathematical Logic and Formal Languages.

(8)

Artificial Intelligence (incl. Robotics).

(7)

Programming Techniques.

(7)

Information Systems Applications (incl. Internet).

(6)

Computer networks .

(5)

Data structures (Computer science).

(5)

Database management.

(5)

Management of Computing and Information Systems.

(5)

Telecommunication.

(5)

Computer network architectures.

(4)

Algorithm Analysis and Problem Complexity.

(3)

Communications Engineering, Networks.

(3)

Computation by Abstract Devices.

(3)

Information theory.

(3)

Management information systems.

(3)

Operating Systems.

(3)

Computer security.

(2)

Engineering mathematics.

(2)

Simulation and Modeling.

(2)

Bioinformatics.

(1)

Computational complexity.

(1)

Computational intelligence.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer vision.

(1)

Discrete Mathematics in Computer Science.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Engineering -- Data processing.

(1)

Information Storage and Retrieval.

(1)

Mathematical and Computational Engineering Applications.

(1)

Medical records -- Data processing.

(1)

Microelectromechanical systems.

(1)

Microprogramming.

(1)

Microsystems and MEMS.

(1)

Microtechnology.

(1)

Models and Principles.

(1)

Monoclonal antibodies.

(1)

Register-Transfer-Level Implementation.

(1)

Signal processing.

(1)

Signal, Speech and Image Processing.

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

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.

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings için kapak resmi

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Yazar

Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335024.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

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:

3.

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:

4.

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:

5.

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:

6.

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:

7.

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:

8.

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:

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.

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:

12.

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:

1 .. 3 4 5 6 7 .. 25

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11