Search Results for SpringerLink (Online service)

|

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: Programming Techniques.

Yazar

SpringerLink (Online service)

(1229)

Dongarra, Jack. editor.

(13)

Voronkov, Andrei. editor.

(13)

Riolo, Rick. editor.

(10)

Wasniewski, Jerzy. editor.

(9)

Barthe, Gilles. editor.

(7)

Machado, Penousal. editor.

(7)

Romanovsky, Alexander. editor.

(7)

Cagnoni, Stefano. editor.

(6)

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

(6)

El Fallah Seghrouchni, Amal. editor.

(6)

Kim, Tai-hoon. editor.

(6)

Moore, Jason H. editor.

(6)

Bramer, Max. author.

(5)

Cotta, Carlos. editor.

(5)

Drechsler, Rolf. editor.

(5)

Giacobini, Mario. editor.

(5)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(5)

Karczewski, Konrad. editor.

(5)

Kordon, Fabrice. editor.

(5)

Margenov, Svetozar D. editor. (orcid)0000-0001-8858-831X

(5)

Müller, Matthias S. editor.

(5)

O'Neill, Michael. editor.

(5)

Rauber, Thomas. author.

(5)

Reussner, Ralf H. editor.

(5)

Rothlauf, Franz. editor.

(5)

Rünger, Gudula. author.

(5)

Seidl, Helmut. author.

(5)

Seipel, Dietmar. editor.

(5)

Squillero, Giovanni. editor.

(5)

Wilhelm, Reinhard. author.

(5)

Worzel, Bill. editor.

(5)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(5)

Alexander, Michael. editor.

(4)

Ali, Moonis. editor.

(4)

Arbab, Farhad. editor.

(4)

Boissier, Olivier. editor.

(4)

Boles, Dietrich. author.

(4)

Bonsangue, Marcello M. editor.

(4)

Branke, Jürgen. editor.

(4)

Butler, Michael. editor.

(4)

Chapman, Barbara. editor.

(4)

D'Ambra, Pasqua. editor.

(4)

Das, Swagatam. editor.

(4)

Dignum, Virginia. editor.

(4)

Ebner, Marc. editor.

(4)

Ekart, Aniko. editor.

(4)

Farooq, Muddassar. editor.

(4)

Fyfe, Colin. editor.

(4)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(4)

Huang, De-Shuang. editor.

(4)

Jansen, Klaus. editor.

(4)

Jeannot, Emmanuel. editor.

(4)

Kirchner, Claude. editor.

(4)

Klusch, Matthias. editor.

(4)

Langtangen, Hans Petter. author.

(4)

Leite, Joao. editor.

(4)

Lämmel, Ralf. editor. (orcid)0000-0001-9946-4363

(4)

Löwe, Benedikt. editor.

(4)

Messnarz, Richard. editor.

(4)

Namyst, Raymond. editor.

(4)

Noble, James. editor.

(4)

Ossowski, Sascha. editor.

(4)

Peña, Ricardo. editor.

(4)

Pfahl, Dietmar. editor.

(4)

Roman, Jean. editor.

(4)

Romero, Juan. editor.

(4)

Schwiegelshohn, Uwe. editor.

(4)

Silva, Sara. editor.

(4)

Sirjani, Marjan. editor.

(4)

Stafford, Judith A. editor.

(4)

Szyperski, Clemens. editor.

(4)

Vardanega, Tullio. editor.

(4)

Visser, Joost. editor.

(4)

Wang, Qing. editor.

(4)

Woodcock, Jim. editor.

(4)

Zavattaro, Gianluigi. editor.

(4)

de Lemos, Rogério. editor.

(4)

Agha, Gul. editor.

(3)

Barbosa, Luis Soares. editor.

(3)

Benítez Sánchez, José Manuel. editor.

(3)

Bjørner, Dines. author.

(3)

Bordini, Rafael H. editor.

(3)

Boyle, Richard. editor.

(3)

Brabazon, Anthony. editor.

(3)

Brooks, David R. author.

(3)

Butterfield, Andrew. editor.

(3)

Cannataro, Mario. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Chiba, Shigeru. editor.

(3)

Choren, Ricardo. editor.

(3)

Crnkovic, Ivica. editor.

(3)

Dandamudi, Sivarama P. author.

(3)

Danelutto, Marco. editor.

(3)

Deb, Kalyanmoy. editor.

(3)

Di Caro, Gianni A. editor.

(3)

Di Chio, Cecilia. editor.

(3)

Di Martino, Beniamino. editor.

(3)

Dillon, Tharam. editor.

(3)

Dix, Jürgen. editor. (orcid)0000-0002-8528-1440

(3)

Dolev, Shlomi. editor.

(3)

Du, Ding-Zhu. editor.

(3)

Ekárt, Anikó. editor.

(3)

Esparcia-Alcázar, Anna I. editor.

(3)

Fink, Andreas. editor.

(3)

Frachtenberg, Eitan. editor.

(3)

Fraser, Gordon. editor.

(3)

Garcia, Alessandro. editor.

(3)

García-Pedrajas, Nicolás. editor.

(3)

Giannakopoulou, Dimitra. editor.

(3)

Giese, Holger. editor.

(3)

Gleizes, Marie-Pierre. editor.

(3)

Gschwind, Thomas. editor.

(3)

Gustafson, Steven. editor.

(3)

Hack, Sebastian. author.

(3)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(3)

Hermenegildo, Manuel. editor.

(3)

Herrera, Francisco. editor.

(3)

Herrero, Pilar. editor.

(3)

Hoffmann, Frank. editor.

(3)

Hofstedt, Petra. author.

(3)

Hunt, John. author.

(3)

Hüllermeier, Eyke. editor.

(3)

Kamel, Mohamed. editor.

(3)

Klügl, Franziska. editor.

(3)

Kobayashi, Naoki. editor.

(3)

Koracin, Darko. editor.

(3)

Kruse, Rudolf. editor.

(3)

Kucera, Antonin. editor.

(3)

Leavens, Gary T. editor.

(3)

Li, Daoliang. editor.

(3)

Lucena, Carlos. editor.

(3)

Marchiori, Elena. editor.

(3)

Matson, Eric T. editor.

(3)

Mayr, Ernst W. editor.

(3)

Meyer, Bertrand. editor.

(3)

O'Connor, Rory. editor.

(3)

Palsberg, Jens. editor.

(3)

Parvin, Bahram. editor.

(3)

Plasil, Frantisek. editor.

(3)

Preuss, Mike. editor.

(3)

Rolim, José. editor.

(3)

Rosu, Grigore. editor.

(3)

Rozenberg, Grzegorz. editor.

(3)

Salaün, Gwen. editor.

(3)

Saraiva, João. editor. (orcid)0000-0002-5686-7151

(3)

Simao, Adenilso. editor. (orcid)0000-0002-1454-2607

(3)

Soule, Terence. editor.

(3)

Suganthan, Ponnuthurai Nagaratnam. editor. (orcid)0000-0003-0901-5105

(3)

Tanter, Éric. editor.

(3)

Tarantino, Ernesto. editor.

(3)

Traff, Jesper Larsson. editor.

(3)

Vanneschi, Leonardo. editor.

(3)

Veith, Helmut. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Vitek, Jan. editor.

(3)

Vladislavleva, Ekaterina. editor.

(3)

Wolf, Armin. editor.

(3)

Yang, Shengxiang. editor.

(3)

Zhao, Chunjiang. editor.

(3)

de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006

(3)

van der Hoek, Wiebe. editor.

(3)

Abramsky, Samson. editor.

(2)

Abreu, Salvador. editor. (orcid)0000-0002-1613-4631

(2)

Aceto, Luca. editor.

(2)

Aguilera, Marcos K. editor.

(2)

Albers, Susanne. editor.

(2)

Alpuente, María. editor.

(2)

Altman, Eitan. editor.

(2)

Amir, Amihood. editor.

(2)

Arns, Laura. editor.

(2)

Ayguadé, Eduard. editor.

(2)

Baddoo, Nathan. editor.

(2)

Bandyopadhyay, Samir Kumar. editor.

(2)

Baral, Chitta. editor.

(2)

Barnes, John. author.

(2)

Bartenstein, Oskar. editor.

(2)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(2)

Beierle, Christoph. author.

(2)

Beliczynski, Bartlomiej. editor.

(2)

Belloum, Adam. editor.

(2)

Bernardo, Marco. editor.

(2)

Birattari, Mauro. editor. (orcid)0000-0003-3309-2194

(2)

Blum, Christian. editor.

(2)

Boldyreff, Cornelia. editor.

(2)

Bononi, Luciano. editor.

(2)

Bosilca, George. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Brambilla, Marco. editor.

(2)

Brands, Gilbert. author.

(2)

Braubach, Lars. editor.

(2)

Bravetti, Mario. editor.

(2)

Broy, Manfred. editor.

(2)

Brukardt, Randall L. editor.

(2)

Bruni, Roberto. editor.

(2)

Butz, Martin V. editor.

(2)

Calude, Christian S. editor.

(2)

Campilho, Aurelio. editor. (orcid)0000-0002-5317-6275

(2)

Cao, Jinde. editor.

(2)

Casati, Fabio. editor.

(2)

Tümünü genişlet

Dil

(1157)

(71)

(1)

Yayın Yılı

-

(242)

(185)

(171)

(112)

(101)

(100)

(96)

(89)

(73)

(60)

Tümünü genişlet

Konu

Computer programming.

(1229)

Software engineering.

(718)

Computer science.

(670)

Compilers (Computer programs).

(535)

Compilers and Interpreters.

(535)

Computer networks .

(391)

Computer Science Logic and Foundations of Programming.

(367)

Computer Communication Networks.

(346)

Artificial intelligence.

(343)

(332)

Theory of Computation.

(296)

Formal Languages and Automata Theory.

(255)

Machine theory.

(255)

Application software.

(183)

Computer and Information Systems Applications.

(183)

Computer science-Mathematics.

(146)

Electronic data processing-Management.

(89)

(89)

Discrete mathematics.

(87)

Discrete Mathematics in Computer Science.

(85)

Computer Modelling.

(80)

Computer simulation.

(80)

Operating Systems.

(80)

Operating systems (Computers).

(80)

Models of Computation.

(69)

Artificial intelligence-Data processing.

(68)

(68)

Database management.

(58)

Computer Engineering and Networks.

(57)

Computer engineering.

(57)

Automated Pattern Recognition.

(54)

Pattern recognition systems.

(54)

Computer System Implementation.

(51)

Computer systems.

(51)

Data Mining and Knowledge Discovery.

(49)

(49)

Numerical analysis.

(49)

Information Storage and Retrieval.

(47)

Information storage and retrieval systems.

(47)

Computer vision.

(44)

Information theory.

(44)

Computers, Special purpose.

(43)

Special Purpose and Application-Based Systems.

(43)

(38)

(38)

Data encryption (Computer science).

(38)

Data Structures and Information Theory.

(37)

Data structures (Computer science).

(37)

Electronic digital computers-Evaluation.

(34)

System Performance and Evaluation.

(34)

Computer graphics.

(33)

Mathematics of Computing.

(33)

Computers and Society.

(28)

Computers and civilization.

(28)

Data and Information Security.

(28)

Data protection.

(28)

(26)

Human-computer interaction.

(26)

User Interfaces and Human Computer Interaction.

(26)

User interfaces (Computer systems).

(26)

Computer architecture.

(24)

Bioinformatics.

(22)

Computational and Systems Biology.

(21)

(20)

Symbolic and Algebraic Manipulation.

(20)

Engineering mathematics.

(19)

Engineering-Data processing.

(19)

Mathematical Applications in Computer Science.

(19)

Mathematical and Computational Engineering Applications.

(19)

Microprocessors.

(19)

Processor Architectures.

(19)

Computer Application in Administrative Data Processing.

(18)

Information technology-Management.

(18)

Mathematics-Data processing.

(17)

Coding and Information Theory.

(16)

(16)

Multimedia systems.

(15)

Computer Hardware.

(14)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(14)

Image processing-Digital techniques.

(14)

Multimedia Information Systems.

(14)

Mathematical statistics.

(12)

Probability and Statistics in Computer Science.

(12)

Arithmetic and Logic Structures.

(11)

Computer arithmetic and logic units.

(11)

Computational Science and Engineering.

(10)

Natural Language Processing (NLP).

(10)

Natural language processing (Computer science).

(10)

Hardware Performance and Reliability.

(9)

(9)

Business information services.

(8)

Computational Mathematics and Numerical Analysis.

(8)

Computer input-output equipment.

(8)

IT in Business.

(8)

Input/Output and Data Communications.

(8)

Mathematical optimization.

(8)

(8)

Telecommunication.

(8)

(7)

Apple computer.

(7)

Communications Engineering, Networks.

(7)

(6)

Biometric identification.

(6)

(6)

Control engineering.

(6)

Electronic Circuits and Systems.

(6)

Electronic circuits.

(6)

Electronics and Microelectronics, Instrumentation.

(6)

(6)

(6)

Mobile computing.

(6)

Applications of Mathematics.

(5)

(5)

Computer Application in Social and Behavioral Sciences.

(5)

Control Structures and Microprogramming.

(5)

Control, Robotics, Automation.

(5)

Data Storage Representation.

(5)

Information retrieval.

(5)

Java (Computer program language).

(5)

(5)

Mathematical physics.

(5)

Microprogramming .

(5)

Operations research.

(5)

(5)

Social sciences-Data processing.

(5)

Theoretical, Mathematical and Computational Physics.

(5)

Computer software.

(4)

Computers and Education.

(4)

Education-Data processing.

(4)

(4)

(4)

(4)

Management science.

(4)

Mathematical Software.

(4)

Signal processing.

(4)

Signal, Speech and Image Processing .

(4)

Technology and Engineering.

(4)

Computational intelligence.

(3)

Electrical and Electronic Engineering.

(3)

Electrical engineering.

(3)

Mechanical engineering.

(3)

Microsoft .NET Framework.

(3)

Microsoft software.

(3)

(3)

Operations Research and Decision Theory.

(3)

Operations Research, Management Science .

(3)

Applied Dynamical Systems.

(2)

(2)

Computer games-Programming.

(2)

Computer industry.

(2)

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

(2)

Computer-aided engineering.

(2)

Computing Milieux.

(2)

Control and Systems Theory.

(2)

Digital humanities.

(2)

(2)

Electronic commerce.

(2)

Elementary Particles, Quantum Field Theory.

(2)

Elementary particles (Physics).

(2)

Engineering design.

(2)

Fourier analysis.

(2)

Game Development.

(2)

Humanities and Social Sciences.

(2)

(2)

(2)

Interactive multimedia.

(2)

Internet programming.

(2)

Language and languages-Style.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical logic.

(2)

(2)

Microcomputers.

(2)

Microwaves, RF Engineering and Optical Communications.

(2)

Nonlinear theories.

(2)

Personal Computing.

(2)

(2)

(2)

Probability Theory.

(2)

Quantum field theory.

(2)

Social sciences.

(2)

(2)

(2)

The Computer Industry.

(2)

Web Development.

(2)

e-Commerce and e-Business.

(2)

(1)

Applied and Technical Physics.

(1)

Automotive engineering.

(1)

Biology-Research.

(1)

Biomedical Research.

(1)

Business Strategy and Leadership.

(1)

Business and Management.

(1)

Business mathematics.

(1)

(1)

Calculus of Variations and Optimization.

(1)

Calculus of variations.

(1)

Cancer Biology.

(1)

(1)

Classical and Continuum Physics.

(1)

(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

1229 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 103

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.

25.

Beginning Java 8 Games Development için kapak resmi

Beginning Java 8 Games Development

Beginning Java 8 Games Development

by

Jackson, Wallace. author.

https://doi.org/10.1007/978-1-4842-0415-3

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:140137

26.

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

by

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

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

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:141111

27.

JRuby Rails Web Application Development için kapak resmi

JRuby Rails Web Application Development

JRuby Rails Web Application Development

by

Vohra, Deepak. author.

https://doi.org/10.1007/978-3-319-03934-3

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:143217

28.

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers için kapak resmi

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

by

McCarthy, Jay. editor.

https://doi.org/10.1007/978-3-642-45340-3

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:178005

29.

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers için kapak resmi

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

by

Hinze, Ralf. editor.

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

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:172220

30.

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings için kapak resmi

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings

by

Sagonas, Kostis. editor. (orcid)0000-0001-9657-0179

https://doi.org/10.1007/978-3-642-45284-0

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:172524

31.

Ada 2012 Rationale The Language -- The Standard Libraries için kapak resmi

Ada 2012 Rationale The Language -- The Standard Libraries

Ada 2012 Rationale The Language -- The Standard Libraries

by

Barnes, John. author.

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

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:173131

32.

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

by

Albert, Elvira. editor.

https://doi.org/10.1007/978-3-642-38197-3

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:173891

33.

Requirements Engineering and Management for Software Development Projects için kapak resmi

Requirements Engineering and Management for Software Development Projects

Requirements Engineering and Management for Software Development Projects

by

Chemuturi, Murali. author.

https://doi.org/10.1007/978-1-4614-5377-2

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:167638

34.

Distributed Algorithms for Message-Passing Systems için kapak resmi

Distributed Algorithms for Message-Passing Systems

Distributed Algorithms for Message-Passing Systems

by

Raynal, Michel. author.

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

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:168911

35.

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers için kapak resmi

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

by

Liu, Shaoying. editor.

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

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:169604

36.

BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion için kapak resmi

BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion

BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion

by

King, Ralf Simon. author.

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

Format:

Alıntı:

SpringerLink (Online service)

SD_ILS:147922

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 103

Copyright 2011 SirsiDynix - Portfolio Version 4.5 (36068)