Search Results for France.

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: Software engineering.

Yazar

SpringerLink (Online service)

(181)

Bensalem, Saddek. editor.

(4)

Jeannot, Emmanuel. editor.

(4)

Namyst, Raymond. editor.

(4)

Roman, Jean. editor.

(4)

Alexander, Michael. editor.

(3)

Barthe, Gilles. editor.

(3)

France, Robert B. editor.

(3)

Kotlarsky, Julia. editor.

(3)

Legay, Axel. editor.

(3)

Oshri, Ilan. editor.

(3)

Willcocks, Leslie P. editor.

(3)

Wolff, Burkhart. editor.

(3)

Altman, Eitan. editor.

(2)

Barkaoui, Kamel. editor.

(2)

Belloum, Adam. editor.

(2)

Bosilca, George. editor.

(2)

Bougé, Luc. editor.

(2)

Cannataro, Mario. editor.

(2)

Cherifi, Hocine. editor.

(2)

Cousot, Radhia. editor.

(2)

Cuppens, Frédéric. editor.

(2)

Cérin, Christophe. editor.

(2)

Danelutto, Marco. editor.

(2)

Daniel, Florian. editor.

(2)

Dustdar, Schahram. editor.

(2)

D’Ambra, Pasqua. editor.

(2)

El-Qawasmeh, Eyas. editor.

(2)

Gerndt, Michael. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Herrero, Pilar. editor.

(2)

Huisman, Marieke. editor.

(2)

Kordon, Fabrice. editor.

(2)

Lacroix, Zoé. editor.

(2)

Lanet, Jean-Louis. editor.

(2)

Martino, Beniamino. editor.

(2)

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948

(2)

Meersman, Robert. editor.

(2)

Muntean, Traian. editor.

(2)

Méry, Dominique. editor.

(2)

Najm, Elie. editor.

(2)

Ober, Ileana. editor.

(2)

Ober, Iulian. editor.

(2)

Palanque, Philippe. editor.

(2)

Paulin-Mohring, Christine. editor.

(2)

Petit, Franck. editor.

(2)

Salaün, Gwen. editor.

(2)

Scott, Stephen L. editor.

(2)

Tari, Zahir. editor.

(2)

Traff, Jesper Larsson. editor.

(2)

Vallée, Geoffroy. editor.

(2)

Verlan, Sergey. editor. (orcid)0000-0001-7800-1618

(2)

Weidendorfer, Josef. editor.

(2)

Winckler, Marco. editor.

(2)

Winckler, Marco. editor. (orcid)0000-0002-0756-6934

(2)

Wolf, Karsten. editor.

(2)

Zain, Jasni Mohamad. editor.

(2)

Abelló, Alberto. editor.

(1)

Abraham, Erika. editor.

(1)

Abramsky, Samson. editor.

(1)

Afsarmanesh, Hamideh. editor.

(1)

Aguado, Marina. editor.

(1)

Ahmed, Mobyen Uddin. editor.

(1)

Al-Begain, Khalid. editor.

(1)

Albani, Antonia. editor.

(1)

Ali, Moonis. editor.

(1)

Alix, Thècle. editor.

(1)

Alonso, Gustavo. editor.

(1)

Amestoy, Patrick R. editor.

(1)

Argente, Estefanía. editor. (orcid)0000-0002-5431-3868

(1)

Artikis, Alexander. editor.

(1)

Asarin, Eugene. editor.

(1)

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

(1)

Atkinson, Colin. editor.

(1)

Attiogbé, Christian. editor. (orcid)0000-0002-7815-1752

(1)

Audebaud, Philippe. editor.

(1)

Aßmann, Uwe. editor.

(1)

Badonnel, Rémi. editor.

(1)

Bakhshi, Rena. editor.

(1)

Baldoni, Roberto. editor.

(1)

Ballarini, Paolo. editor.

(1)

Barbot, Benoît. editor.

(1)

Barjis, Joseph. editor.

(1)

Bauchet, Jérémy. editor.

(1)

Beckert, Bernhard. editor.

(1)

Begum, Shahina. editor. (orcid)0000-0002-1212-7637

(1)

Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794

(1)

Bellahsène, Zohra. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

Benatallah, Boualem. editor.

(1)

Bencomo, Nelly. editor.

(1)

Berbineau, Marion. editor.

(1)

Bernard, Alain. editor.

(1)

Bernhaupt, Regina. editor.

(1)

Bertolotto, Michela. editor.

(1)

Bhiri, Sami. editor.

(1)

Bikakis, Antonis. editor.

(1)

Bitsch, Friedemann. editor.

(1)

Blanc, Gregory. editor. (orcid)0000-0001-8150-6617

(1)

Blanc-Talon, Jacques. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bliudze, Simon. editor. (orcid)0000-0002-7900-5271

(1)

Boavida, Fernando. editor.

(1)

Boer, Frank S. editor.

(1)

Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797

(1)

Bonnin, Jean-Marie. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bordbar, Behzad. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Bouassida Rodriguez, Ismael. editor.

(1)

Boucher, Xavier. editor.

(1)

Bouyer, Patricia. editor.

(1)

Bravetti, Mario. editor.

(1)

Breu, Ruth. editor.

(1)

Bruel, Jean-Michel. editor.

(1)

Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148

(1)

Burdy, Lilian. editor.

(1)

Bures, Tomas. editor.

(1)

Camarinha-Matos, Luis M. editor.

(1)

Canals, Gérôme. editor.

(1)

Carbone, Marco. editor.

(1)

Carrera, Iacopo. editor.

(1)

Cascini, Gaetano. editor.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Castel-Taleb, Hind. editor.

(1)

Casteleyn, Sven. editor.

(1)

Cavallucci, Denis. editor.

(1)

Cavazza, Marc. editor.

(1)

Chahed, Tijani. editor.

(1)

Chaintreau, Augustin. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chaudron, Michel R. V. editor.

(1)

Cheng, Betty H.C. editor.

(1)

Cherkaoui, Soumaya. editor.

(1)

Childs, Stephen. editor.

(1)

Chrisment, Isabelle. editor.

(1)

Claramunt, Christophe. editor.

(1)

Cohen, Albert. editor.

(1)

Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999

(1)

Collart-Dutilleul, Simon. editor.

(1)

Consel, Charles. editor.

(1)

Cook, Byron. editor.

(1)

Couch, Alva. editor.

(1)

Coudert, David. editor.

(1)

Cranefield, Stephen. editor.

(1)

Cuppens, Nora. editor.

(1)

Cuppens-Boulahia, Nora. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887

(1)

Damiani, Ernesto. editor.

(1)

Danos, Vincent. editor.

(1)

Dapoigny, Richard. editor.

(1)

Dastani, Mehdi. editor.

(1)

Daydé, Michel. editor.

(1)

Dearle, Alan. editor.

(1)

Denazis, Spyros. editor.

(1)

Deneckère, Rébecca. editor.

(1)

Dietz, Jan L. G. editor.

(1)

Dissaux, Pierre. editor.

(1)

Dix, Jürgen. editor.

(1)

Donikian, Stéphane. editor.

(1)

Donzeau-Gouge, Véronique Viguié. editor.

(1)

Drira, Khalil. editor.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Dua, Sumeet. editor.

(1)

Dubois, Catherine. editor.

(1)

Duchien, Laurence. editor. (orcid)0000-0002-4517-5862

(1)

Duchier, Denys. editor.

(1)

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

(1)

Dutta, Debasish. editor.

(1)

Défago, Xavier. editor.

(1)

Eisenbach, Susan. editor.

(1)

El-Azouzi, Rachid. editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Fasquel, Jean-Baptiste. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Fernàndez Anta, Antonio. editor.

(1)

Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233

(1)

Fiems, Dieter. editor.

(1)

Filali-Amine, Mamoun. editor.

(1)

Filipe, Joaquim. editor.

(1)

Finkel, Alain. editor.

(1)

Fisher, Michael. editor.

(1)

Fontaine, Pascal. editor.

(1)

Forbrig, Peter. editor.

(1)

Fornara, Nicoletta. editor.

(1)

Forsell, Martti. editor.

(1)

Fournet, Cédric. editor.

(1)

France, Robert. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Franch, Xavier. editor.

(1)

Galmiche, Didier. editor.

(1)

Gangopadhyay, Aryya. editor.

(1)

Ganter, Bernhard. editor.

(1)

Garcia-Alfaro, Joaquin. editor.

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Gastin, Paul. editor.

(1)

Gaston, Christophe. editor. (orcid)0000-0001-6865-5108

(1)

Gaudel, Marie-Claude. editor.

(1)

Tümünü genişlet

Dil

(181)

Yayın Yılı

-

(23)

(21)

(20)

(20)

(17)

(13)

(13)

(12)

(11)

(11)

(10)

(10)

Tümünü genişlet

Konu

Computer science.

(152)

Computer Communication Networks.

(62)

(59)

Artificial intelligence.

(47)

Computer software.

(38)

Information systems.

(36)

Information Systems.

(31)

Computer simulation.

(21)

Computer system performance.

(20)

Operating systems (Computers).

(20)

Database management.

(16)

Computer network architectures.

(13)

Information storage and retrieval systems.

(13)

Logics and Meanings of Programs.

(11)

Management information systems.

(10)

Computational complexity.

(9)

Application software.

(8)

Information theory.

(8)

Mathematical Logic and Formal Languages.

(8)

Programming languages (Electronic computers).

(8)

Computer logic.

(7)

Data encryption (Computer science).

(7)

Data protection.

(7)

Programming Languages, Compilers, Interpreters.

(7)

Algorithm Analysis and Problem Complexity.

(6)

Artificial Intelligence (incl. Robotics).

(6)

Computer security.

(6)

Computer vision.

(6)

Electronic data processing.

(6)

Information Systems Applications (incl. Internet).

(6)

Management of Computing and Information Systems.

(6)

Computer programming.

(5)

(5)

(5)

Programming Techniques.

(5)

Bioinformatics.

(4)

Computer industry.

(4)

Mathematical logic.

(4)

Multimedia systems.

(4)

Business planning.

(3)

Computer communication systems.

(3)

Computer organization.

(3)

Data structures (Computer scienc.

(3)

Discrete Mathematics in Computer Science.

(3)

Industrial procurement.

(3)

Optical pattern recognition.

(3)

Special purpose computers.

(3)

Algebra -- Data processing.

(2)

(2)

Business Information Systems.

(2)

(2)

Computation by Abstract Devices.

(2)

Computer graphics.

(2)

Computer hardware.

(2)

Data Encryption.

(2)

Data structures (Computer science).

(2)

Data transmission systems.

(2)

Information Storage and Retrieval.

(2)

Medical records -- Data processing.

(2)

Simulation and Modeling.

(2)

Special Purpose and Application-Based Systems.

(2)

Systems and Data Security.

(2)

Telecommunication.

(2)

User interfaces (Computer systems).

(2)

(1)

Biology -- Data processing.

(1)

Business—Data processing.

(1)

Climatic changes.

(1)

Computer Science, general.

(1)

Computer aided design.

(1)

Computer science -- Mathematics.

(1)

Computers and Society.

(1)

Computing Methodologies.

(1)

Data Structures, Cryptology and Information Theory.

(1)

(1)

Engineering mathematics.

(1)

(1)

Health Informatics.

(1)

Information storage and retrieval.

(1)

Information technology.

(1)

Math Applications in Computer Science.

(1)

Mathematical geography.

(1)

Mathematics of Computing.

(1)

Memory management (Computer scie.

(1)

Models and Principles.

(1)

Organization/Planning.

(1)

(1)

(1)

Social sciences -- Data processing.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

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

181 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 16

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.

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Shao, Zhong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings için kapak resmi

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Yazar

George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Cohen, Albert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings için kapak resmi

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Yazar

Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers için kapak resmi

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Yazar

Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers için kapak resmi

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Yazar

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334034.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings için kapak resmi

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Yazar

Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334236.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings için kapak resmi

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

Yazar

Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.

Yer Numarası

ONLINE(334508.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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

Yazar

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334711.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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

Yazar

Drira, Khalil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334714.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334715.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 16

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11