Search Results for France.

|

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

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

181 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 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.

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings için kapak resmi

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Yazar

Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02227-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings için kapak resmi

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Yazar

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99639-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings için kapak resmi

Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

Yazar

Naccache, David. editor. (orcid)0000-0002-8651-6555 Xu, Shouhuai. editor. (orcid)0000-0001-8034-0942 Qing, Sihan. editor. Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620 Blanc, Gregory. editor. (orcid)0000-0001-8150-6617

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01950-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings için kapak resmi

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings

Yazar

Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Halloy, José. editor. Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Lepora, Nathan. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings için kapak resmi

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Yazar

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings için kapak resmi

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings için kapak resmi

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Yazar

Stepney, Susan. editor. (orcid)0000-0003-3146-5401 Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 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

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings için kapak resmi

Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings

Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings

Yazar

Casteleyn, Sven. editor. Rossi, Gustavo. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

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

Yazar

Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers için kapak resmi

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-12904-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 16

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11