Search Results for Computer Engineering and Networks.

|

Kütüphane Hesabım

|

|

İstek Oluştur

|

Dili değiştir

English
Türkçe

|

|

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

10

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Compilers (Computer programs).

Yazar

SpringerLink (Online service)

(212)

Bernardo, Marco. editor.

(6)

Baldoni, Matteo. editor.

(4)

Barthe, Gilles. editor.

(4)

Vardanega, Tullio. editor.

(4)

Winikoff, Michael. editor.

(4)

Crnkovic, Ivica. editor.

(3)

Dastani, Mehdi. editor. (orcid)0000-0002-4641-4087

(3)

Gschwind, Thomas. editor.

(3)

Haugen, Oystein. editor.

(3)

Kordon, Fabrice. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Omicini, Andrea. editor.

(3)

Reed, Rick. editor.

(3)

Romanovsky, Alexander. editor.

(3)

Sardina, Sebastian. editor.

(3)

Stafford, Judith A. editor.

(3)

Torroni, Paolo. editor.

(3)

Zavattaro, Gianluigi. editor.

(3)

Avgeriou, Paris. editor.

(2)

Book, Matthias. editor.

(2)

Bordini, Rafael H. editor.

(2)

Bruni, Roberto. editor.

(2)

Butler, Michael. editor.

(2)

Cabot, Jordi. editor.

(2)

Endriss, Ulle. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Gorton, Ian. editor.

(2)

Gotzhein, Reinhard. editor.

(2)

Gruhn, Volker. editor.

(2)

Hierons, Robert M. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Kiumi, Akingbehin. editor.

(2)

Kudenko, Daniel. editor.

(2)

Kämper, Sabine. author.

(2)

König, Barbara. editor.

(2)

Lopes, Antonia. editor.

(2)

Lumpe, Markus. editor.

(2)

Maciaszek, Leszek A. editor.

(2)

Margaria, Tiziana. editor.

(2)

Noble, James. editor.

(2)

Petriu, Dorina C. editor.

(2)

Plasil, Frantisek. editor.

(2)

Rauber, Thomas. author.

(2)

Reussner, Ralf H. editor.

(2)

Rouquette, Nicolas. editor.

(2)

Rubin, Julia. editor.

(2)

Rünger, Gudula. author.

(2)

Schäfer, Wilhelm. editor.

(2)

Seghrouchni, Amal El Fallah. editor.

(2)

Son, Tran Cao. editor.

(2)

Steffen, Bernhard. editor.

(2)

Südholt, Mario. editor.

(2)

Troubitsyna, Elena. editor.

(2)

Ulrich, Andreas. editor.

(2)

Vasconcelos, Wamberto. editor.

(2)

Vitek, Jan. editor.

(2)

Yeo, Sang-Soo. editor.

(2)

Zdun, Uwe. editor. (orcid)0000-0002-6233-2591

(2)

de Lara, Juan. editor. (orcid)0000-0001-9425-6362

(2)

van Riemsdijk, M. Birna. editor.

(2)

Abdennahder, Nabil. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abts, Dietmar. author.

(1)

Adeli, Hojjat. editor.

(1)

Agha, Gul. editor.

(1)

Agotnes, Thomas. editor.

(1)

Aho, Alfred V. editor.

(1)

Ajmone Marsan, Marco. editor.

(1)

Ali Babar, Muhammad. editor.

(1)

Alonso, Eduardo. editor.

(1)

Alonso, Gustavo. editor.

(1)

Amyot, Daniel. editor.

(1)

Andres, Frederic. editor.

(1)

Aoki, Toshiaki. editor.

(1)

Apel, Sven. editor.

(1)

Armando, Alessandro. editor.

(1)

Assmann, Uwe. editor.

(1)

Baker, Paul. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Ballmann, Bastian. author.

(1)

Banatre, Jean-Pierre. editor.

(1)

Barbosa, Luis Soares. editor.

(1)

Baudry, Michel. editor.

(1)

Bentahar, Jamal. editor.

(1)

Bergel, Alexandre. editor.

(1)

Bergstra, Jan A. author.

(1)

Berry, Daniel M. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bishop, Judith. editor.

(1)

Black, Andrew. editor.

(1)

Blum, Edward K. editor.

(1)

Boella, Guido. editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Boissier, Olivier. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bordbar, Behzad. editor.

(1)

Bordini, R.H. editor.

(1)

Borgida, Alex T. editor.

(1)

Bottaci, Leonardo. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Bouyssounouse, Bruno. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Bravetti, Mario. editor.

(1)

Brennan, Rob. editor.

(1)

Brorsson, Mats. editor.

(1)

Bultan, Tevfik. editor.

(1)

Calinescu, Radu. editor. (orcid)0000-0002-2678-9260

(1)

Campbell, Roy H. editor.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cebulla, Michael. editor.

(1)

Cerami, Ethan. author.

(1)

Cerqueira, Renato. editor.

(1)

Cha, Sungdeok. editor.

(1)

Chakraborty, Supratik. editor.

(1)

Chaudhri, Vinay. editor.

(1)

Chin, Wei-Ngan. editor.

(1)

Choi, Jin-Young. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Cofer, Darren. editor.

(1)

Cohen, Albert. editor.

(1)

Colnaric, Matjaž. author.

(1)

Consel, Charles. editor.

(1)

Cook, Byron. editor.

(1)

Cuellar, Jorge. editor.

(1)

Cámara, Javier. editor.

(1)

D'Hondt, Theo. editor.

(1)

Damian, Daniela. editor.

(1)

Danvy, Olivier. editor.

(1)

Dastani, M. editor.

(1)

De Nicola, Rocco. editor.

(1)

De Paoli, Flavio. editor.

(1)

De Vos, Alexis. editor.

(1)

Degano, Pierpaolo. editor.

(1)

Deutz, Robert. author.

(1)

Dignum, Virginia. editor.

(1)

Dingel, Juergen. editor.

(1)

Dix, J. editor.

(1)

Dong, Jin Song. editor.

(1)

Dony, Christophe. editor.

(1)

Draheim, Dirk. author.

(1)

Drira, Khalil. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Echtle, Klaus. editor.

(1)

El Fallah Seghrouchni, A. editor.

(1)

El Fallah Seghrouchni, Amal. editor.

(1)

Eleftherakis, George. editor.

(1)

Eliassen, Frank. editor.

(1)

Engels, Gregor. editor.

(1)

Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X

(1)

Ernst, Erik. editor.

(1)

Esparza, Javier. editor.

(1)

Fabry, Johan. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Ferrucci, Filomena. editor.

(1)

Fischbach, Kai. editor.

(1)

Flanagan, Cormac. editor.

(1)

Fleck II, Joel. editor.

(1)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(1)

Fournet, Cédric. editor.

(1)

France, Robert B. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Franch, Xavier. editor.

(1)

Fraser, Gordon. editor.

(1)

Furia, Carlo A. editor.

(1)

Garlan, David. editor.

(1)

Gastin, Paul. editor.

(1)

Gervais, Marie-Pierre. editor.

(1)

Ghanea-Hercock, Robert. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghezzi, Carlo. editor.

(1)

Giese, Holger. editor.

(1)

Giorgini, Paolo. editor. (orcid)0000-0003-4152-9683

(1)

Gogolla, Martin. editor.

(1)

Gomez-Sanz, Jorge J. editor.

(1)

González Harbour, Michael. editor.

(1)

González-Pérez, César. editor.

(1)

Gordon, Andrew. editor.

(1)

Gorrieri, Roberto. editor.

(1)

Graba, Jan. author.

(1)

Grieskamp, Wolfgang. editor.

(1)

Groves, Lindsay. editor.

(1)

Grunske, Lars. editor.

(1)

Guessoum, Zahia. editor.

(1)

Gupta, Rajiv. editor.

(1)

Han, Youn-Hee. editor.

(1)

Harman, Mark. editor.

(1)

Harrison, Neil B. editor.

(1)

Hasegawa, Toru. editor.

(1)

Hatcliff, John. editor.

(1)

Heineman, George T. editor.

(1)

Heineman, George. editor.

(1)

Heinemann, George T. editor.

(1)

Henning, Michi. editor.

(1)

Hernandez, Oscar. editor.

(1)

Herrmann, Peter. editor.

(1)

Higashino, Teruo. editor.

(1)

Tümünü genişlet

Dil

(204)

(8)

Yayın Yılı

-

(37)

(31)

(28)

(19)

(18)

(17)

(17)

(17)

(15)

(13)

Tümünü genişlet

Konu

Compilers and Interpreters.

(212)

Computer networks .

(205)

Software engineering.

(204)

Computer Communication Networks.

(189)

Computer science.

(151)

Computer Science Logic and Foundations of Programming.

(145)

Computer programming.

(123)

Programming Techniques.

(123)

Formal Languages and Automata Theory.

(44)

Machine theory.

(44)

Electronic data processing-Management.

(38)

(38)

Artificial intelligence.

(37)

Application software.

(30)

Computer and Information Systems Applications.

(30)

Operating Systems.

(21)

Operating systems (Computers).

(21)

Computer Engineering and Networks.

(20)

Computer engineering.

(20)

Computers, Special purpose.

(19)

Special Purpose and Application-Based Systems.

(19)

(17)

Theory of Computation.

(8)

Communications Engineering, Networks.

(6)

Telecommunication.

(6)

Computers and Society.

(5)

Computers and civilization.

(5)

Computer System Implementation.

(4)

Computer systems.

(4)

Data and Information Security.

(4)

Data protection.

(4)

Engineering mathematics.

(4)

Engineering-Data processing.

(4)

Mathematical and Computational Engineering Applications.

(4)

Models of Computation.

(4)

Data Mining and Knowledge Discovery.

(3)

(3)

Human-computer interaction.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Applied Dynamical Systems.

(2)

Computational Mathematics and Numerical Analysis.

(2)

Computer Modelling.

(2)

Computer input-output equipment.

(2)

Computer science-Mathematics.

(2)

Computer simulation.

(2)

(2)

(2)

Data encryption (Computer science).

(2)

Database management.

(2)

(2)

Input/Output and Data Communications.

(2)

Mathematics of Computing.

(2)

Mathematics-Data processing.

(2)

Mechanical engineering.

(2)

Nonlinear theories.

(2)

Adaptive Immunity.

(1)

Artificial intelligence-Data processing.

(1)

Bioinformatics.

(1)

Coding and Information Theory.

(1)

(1)

Computer Hardware.

(1)

Computer architecture.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

(1)

Control Structures and Microprogramming.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic digital computers-Evaluation.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Engineering design.

(1)

Immunospecificity.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Information theory.

(1)

Language and languages-Style.

(1)

Microprocessors.

(1)

Microprogramming .

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Processor Architectures.

(1)

(1)

System Performance and Evaluation.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Springer E-Kitap Koleksiyonu

Kütüphane

Ferit Melen Kütüphanesi

{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

212 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 18

000000000000DEFAULT

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.

13.

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings için kapak resmi

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

by

Yahav, Eran. editor.

https://doi.org/10.1007/978-3-319-13338-6

Format:

Alıntı:

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference

SD_ILS:177866

14.

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings için kapak resmi

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

by

Drira, Khalil. editor.

https://doi.org/10.1007/978-3-642-39031-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:172477

15.

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings için kapak resmi

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

by

Yenigün, Hüsnü. editor. (orcid)0000-0003-0947-8150

https://doi.org/10.1007/978-3-642-41707-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:170383

16.

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers için kapak resmi

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

by

Wu, Chenggang. editor.

https://doi.org/10.1007/978-3-642-45293-2

Format:

Alıntı:

Theoretical Computer Science and General Issues,

SD_ILS:169838

17.

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings için kapak resmi

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

by

Hierons, Robert M. editor.

https://doi.org/10.1007/978-3-642-40561-7

Format:

Alıntı:

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain

SD_ILS:170253

18.

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings için kapak resmi

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

by

Groves, Lindsay. editor.

https://doi.org/10.1007/978-3-642-41202-8

Format:

Alıntı:

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods

SD_ILS:171657

19.

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers için kapak resmi

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

by

Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X

https://doi.org/10.1007/978-3-642-35737-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:150668

20.

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers için kapak resmi

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers

by

Haugen, Oystein. editor.

https://doi.org/10.1007/978-3-642-36757-1

Format:

Alıntı:

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck

SD_ILS:151173

21.

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings için kapak resmi

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

by

Bertacco, Valeria. editor.

https://doi.org/10.1007/978-3-319-03077-7

Format:

Alıntı:

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference

SD_ILS:151566

22.

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings için kapak resmi

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings

by

Van Gorp, Pieter. editor.

https://doi.org/10.1007/978-3-642-39013-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:176201

23.

SDL 2013: Model Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings için kapak resmi

SDL 2013: Model Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings

SDL 2013: Model Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings

by

Khendek, Ferhat. editor.

https://doi.org/10.1007/978-3-642-38911-5

Format:

Alıntı:

Computer Engineering and Networks.

SD_ILS:147410

24.

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings için kapak resmi

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings

by

Castagna, Giuseppe. editor.

https://doi.org/10.1007/978-3-642-39038-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:148736

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 18

Copyright 2011 SirsiDynix - Portfolio Version 4.5 (36068)