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

26

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.

1.

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings için kapak resmi

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

by

Fischbach, Kai. editor.

https://doi.org/10.1007/978-3-319-05359-2

Format:

Alıntı:

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17

SD_ILS:148816

2.

Beginning Application Lifecycle Management için kapak resmi

Beginning Application Lifecycle Management

Beginning Application Lifecycle Management

by

Rossberg, Joachim. author.

https://doi.org/10.1007/978-1-4302-5813-1

Format:

Alıntı:

Computer Engineering and Networks.

SD_ILS:144278

3.

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings için kapak resmi

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

by

Avgeriou, Paris. editor.

https://doi.org/10.1007/978-3-319-09970-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:141013

4.

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings için kapak resmi

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

by

Giannakopoulou, Dimitra. editor.

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

Format:

Alıntı:

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France

SD_ILS:141016

5.

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings için kapak resmi

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

by

Amyot, Daniel. editor.

https://doi.org/10.1007/978-3-319-11743-0

Format:

Alıntı:

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014

SD_ILS:141117

6.

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings için kapak resmi

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

by

Merz, Stephan. editor.

https://doi.org/10.1007/978-3-319-11737-9

Format:

Alıntı:

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods

SD_ILS:141141

7.

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof için kapak resmi

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

by

Kovalev, Mikhail. author.

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

Format:

Alıntı:

Theoretical Computer Science and General Issues,

SD_ILS:169582

8.

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

by

Cassez, Franck. editor.

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

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:169632

9.

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings için kapak resmi

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

by

Poole, Stephen. editor. (orcid)0000-0002-4531-7453

https://doi.org/10.1007/978-3-319-05215-1

Format:

Alıntı:

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop

SD_ILS:171513

10.

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings için kapak resmi

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

by

Jones, Richard. editor.

https://doi.org/10.1007/978-3-662-44202-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:172774

11.

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings için kapak resmi

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

by

Cabot, Jordi. editor.

https://doi.org/10.1007/978-3-319-09195-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:174056

12.

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings için kapak resmi

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

by

Merayo, Mercedes G. editor.

https://doi.org/10.1007/978-3-662-44857-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:175511

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 18

Copyright 2011 SirsiDynix - Portfolio Version 4.5 (36068)