Giriş Yapılıyor...
Kullanıcı adı
:
Şifre
:
Kayıt
Forgot your PIN?
Geç:
Arama Sonuçları
|
İçerik
|
Sayfa Sonu
|
Arama Filtreleri
Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
Not
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
437 sonuç bulundu
İşlemler:
Listelerime ekle
Eposta
Yazdır
Ayırt
Sırala:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
Tümünü Seç
1
..
33
34
35
36
37
00000
DEFAULTTR
Liste seç
Geçici Liste
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.
433.
Programming Languages and Operational Semantics A Concise Overview
Programming Languages and Operational Semantics A Concise Overview
Yazar
Fernández, Maribel. author.
http://dx.doi.org/10.1007/978-1-4471-6368-8
Format:
Electronic Resources
434.
A Beginner's Guide to Scala, Object Orientation and Functional Programming
A Beginner's Guide to Scala, Object Orientation and Functional Programming
Yazar
Hunt, John. author.
http://dx.doi.org/10.1007/978-3-319-06776-6
Format:
Electronic Resources
435.
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
Yazar
Badger, Julia M. editor.
http://dx.doi.org/10.1007/978-3-319-06200-6
Format:
Electronic Resources
436.
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.
http://dx.doi.org/10.1007/978-3-319-08311-7
Format:
Electronic Resources
437.
Euro-Par 2014 Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings
Euro-Par 2014 Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings
Yazar
Silva, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-09873-9
Format:
Electronic Resources
Tümünü Seç
1
..
33
34
35
36
37
437 sonuç bulundu
İşlemler:
Listelerime ekle
Eposta
Yazdır
Ayırt
Sırala:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
Arama Sonuçlarını Sınırlandır
Daraltılmış:
Included
Lokasyon: Springer E-Book Collection
Included
Konu: Programming Languages, Compilers, Interpreters.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(437)
Margaria, Tiziana. editor.
(9)
Steffen, Bernhard. editor.
(7)
Ölveczky, Peter Csaba. editor.
(6)
Maciaszek, Leszek A. editor.
(5)
Schaefer, Ina. editor.
(5)
van Sinderen, Marten. editor.
(5)
Artho, Cyrille. editor.
(4)
Cardoso, Jorge. editor.
(4)
Duan, Zhenhua. editor.
(4)
Hunt, John. author.
(4)
Johnsen, Einar Broch. editor.
(4)
Legay, Axel. editor.
(4)
Voronkov, Andrei. editor.
(4)
de Supinski, Bronis R. editor.
(4)
Bernardo, Marco. editor.
(3)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(3)
Butler, Michael. editor.
(3)
Chapman, Barbara M. editor.
(3)
Chiba, Shigeru. editor.
(3)
Lee, Kent D. author.
(3)
Liu, Shaoying. editor.
(3)
Müller, Matthias S. editor.
(3)
Salaün, Gwen. editor.
(3)
Zhang, Zili. editor.
(3)
Ábrahám, Erika. editor.
(3)
Alagić, Suad. author.
(2)
Badger, Julia M. editor.
(2)
Baier, Christel. editor.
(2)
Bellatreche, Ladjel. editor.
(2)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Bonsangue, Marcello. editor.
(2)
Braga, Christiano. editor.
(2)
Cabello, Enrique. editor.
(2)
Caires, Luís. editor. (orcid)0000-0002-3215-6734
(2)
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
(2)
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428
(2)
Chang, Bor-Yuh Evan. editor.
(2)
Chivers, Ian. author.
(2)
Cordeiro, José. editor.
(2)
Crnkovic, Ivica. editor.
(2)
Damiani, Ernesto. editor.
(2)
Dastani, Mehdi. editor.
(2)
De Nicola, Rocco. editor.
(2)
Dillig, Isil. editor.
(2)
Esparza, Javier. editor.
(2)
Feng, Xinyu. editor.
(2)
Furia, Carlo A. editor.
(2)
Gallagher, John P. editor. (orcid)0000-0001-6984-7419
(2)
Giannakopoulou, Dimitra. editor.
(2)
Gnesi, Stefania. editor.
(2)
Guerra, Esther. editor. (orcid)0000-0002-2818-2278
(2)
Hage, Jurriaan. editor.
(2)
Hammoudi, Slimane. editor.
(2)
Havelund, Klaus. editor.
(2)
Horváth, Zoltán. editor.
(2)
Huisman, Marieke. editor.
(2)
Lanese, Ivan. editor.
(2)
Larsen, Kim Guldstrand. editor.
(2)
Leone, Nicola. editor.
(2)
Leucker, Martin. editor.
(2)
Liu, Zhiming. editor.
(2)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(2)
Loreti, Michele. editor. (orcid)0000-0003-3061-863X
(2)
Luszczak, Andreas. author.
(2)
Majumdar, Rupak. editor.
(2)
Martí-Oliet, Narciso. editor.
(2)
Massink, Mieke. editor. (orcid)0000-0001-5089-002X
(2)
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
(2)
McCarthy, Jay. editor.
(2)
Meersman, Robert. editor.
(2)
Merayo, Mercedes G. editor.
(2)
Meseguer, José. editor.
(2)
Meyer, Bertrand. editor.
(2)
Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
(2)
Müller-Olm, Markus. editor.
(2)
Núñez, Manuel. editor.
(2)
Olivier, Stephen L. editor.
(2)
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
(2)
Perner, Petra. editor.
(2)
Pires, Luís Ferreira. editor.
(2)
Proença, José. editor.
(2)
Rabe, Florian. editor.
(2)
Raskin, Jean-François. editor.
(2)
Remke, Anne. editor.
(2)
Rensink, Arend. editor. (orcid)0000-0002-1714-6319
(2)
Roman, Dumitru. editor.
(2)
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
(2)
Roscoe, Bill. editor.
(2)
Rubin, Julia. editor.
(2)
Rumpe, Bernhard. editor.
(2)
Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443
(2)
Seidl, Martina. editor.
(2)
Selic, Bran. editor.
(2)
Shalf, John. editor.
(2)
Sirjani, Marjan. editor.
(2)
Sirjani, Marjan. editor. (orcid)0000-0001-5478-0987
(2)
Sleightholme, Jane. author.
(2)
Son, Tran Cao. editor.
(2)
Spanoudakis, George. editor.
(2)
Stephenson, Ben. author.
(2)
Taentzer, Gabriele. editor.
(2)
Tanter, Éric. editor.
(2)
Thai, Chi N. author.
(2)
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
(2)
Upadhyaya, Bhim P. author.
(2)
Vardanega, Tullio. editor.
(2)
Wąsowski, Andrzej. editor.
(2)
Zsók, Viktória. editor.
(2)
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
(2)
Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721
(2)
Abate, Alessandro. editor.
(1)
Abdelwahed, El Hassan. editor.
(1)
Abelló, Alberto. editor. (orcid)0000-0002-3223-2186
(1)
Abrahão, Silvia. editor.
(1)
Aceto, Luca. editor.
(1)
Agha, Gul. editor.
(1)
Agrawal, S. S. editor.
(1)
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
(1)
Aichernig, Bernhard K. editor.
(1)
Alam, Sadaf. editor.
(1)
Albert, Elvira. editor.
(1)
Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
(1)
Alferes, José Júlio. editor.
(1)
Alkhalaf, Muath. author.
(1)
Alper, Pinar. editor. (orcid)0000-0002-2224-0780
(1)
Altmann, Jörn. editor.
(1)
Amasaki, Sousuke. editor.
(1)
Ammeraal, Leen. author.
(1)
Amyot, Daniel. editor.
(1)
An, Bo. editor. (orcid)0000-0002-7064-7438
(1)
Anjorin, Anthony. editor. (orcid)0000-0001-6213-6243
(1)
Apduhan, Bernady O. editor.
(1)
Ardagna, Claudio Agostino. editor.
(1)
Artemov, Sergei. editor.
(1)
Ashouri, Amir H. author.
(1)
Avgeriou, Paris. editor.
(1)
Avigad, Jeremy. editor.
(1)
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
(1)
Aydin, Abdulbaki. author.
(1)
Bacci, Giorgio. editor. (orcid)0000-0003-4004-6049
(1)
Bacci, Giovanni. editor. (orcid)0000-0001-8529-0681
(1)
Bader, Markus. editor.
(1)
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
(1)
Baldoni, Matteo. editor.
(1)
Ballmann, Bastian. author.
(1)
Bansal, Nikhil. editor.
(1)
Bansal, Poonam. editor.
(1)
Barais, Olivier. editor.
(1)
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448
(1)
Barlas, Gerassimos. editor.
(1)
Barnat, Jiří. editor.
(1)
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
(1)
Barros, Márcio. editor.
(1)
Bartocci, Ezio. editor.
(1)
Basili, Roberto. editor.
(1)
Batsakis, Sotiris. editor.
(1)
Bazzan, Ana. editor. (orcid)0000-0002-2803-9607
(1)
Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241
(1)
Belhajjame, Khalid. editor. (orcid)0000-0001-6938-0820
(1)
Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066
(1)
Bellodi, Elena. editor. (orcid)0000-0002-3717-3779
(1)
Bensalem, Saddek. editor.
(1)
Benzmüller, Christoph. editor.
(1)
Bernhaupt, Regina. editor.
(1)
Bertels, Koen. editor. (orcid)0000-0001-9310-4885
(1)
Bertogna, Marko. editor.
(1)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(1)
Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701
(1)
Bhiri, Sami. editor.
(1)
Biffl, Stefan. editor.
(1)
Biro, Miklos. editor.
(1)
Bitsch, Friedemann. editor.
(1)
Black, Elizabeth. editor. (orcid)0000-0002-4295-449X
(1)
Blackburn, Patrick. editor.
(1)
Blanchette, Jasmin Christian. editor.
(1)
Blazy, Sandrine. editor.
(1)
Blieberger, Johann. editor.
(1)
Bodden, Eric. editor.
(1)
Boehme, David. editor.
(1)
Bogdan, Cristian. editor.
(1)
Bojańczyk, Mikołaj. editor.
(1)
Bollen, Peter. editor.
(1)
Bonakdarpour, Borzoo. editor.
(1)
Bonfante, Guillaume. editor.
(1)
Bordeleau, Francis. editor.
(1)
Boreale, Michele. editor. (orcid)0000-0002-1972-7491
(1)
Borruso, Giuseppe. editor. (orcid)0000-0002-0933-5208
(1)
Botterweck, Goetz. editor. (orcid)0000-0002-5556-1660
(1)
Bouajjani, Ahmed. editor.
(1)
Boucheneb, Hanifa. editor. (orcid)0000-0001-9158-6374
(1)
Bougé, Luc. editor.
(1)
Bošnački, Dragan. editor.
(1)
Brainerd, Walter S. author.
(1)
Braubach, Lars. editor.
(1)
Brauer, Johannes. author.
(1)
Breveglieri, Luca. author. (orcid)0000-0001-5294-6840
(1)
Brodman, James. editor.
(1)
Buhr, Peter A. author.
(1)
Bulling, Nils. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(437)
Dil
Dahil
Hariç
English
(437)
Basım Yılı
Dahil
Hariç
2014
(67)
2015
(71)
2016
(58)
2017
(89)
2018-2019
Konu
Dahil
Hariç
Computer science.
(366)
Software engineering.
(332)
Programming languages (Electronic computers).
(267)
Logics and Meanings of Programs.
(226)
Programming Techniques.
(177)
Mathematical Logic and Formal Languages.
(169)
Computer logic.
(163)
Artificial intelligence.
(136)
Mathematical logic.
(110)
Computer programming.
(101)
Logic design.
(87)
Algorithm Analysis and Problem Complexity.
(70)
System Performance and Evaluation.
(55)
Computers.
(53)
Computer Communication Networks.
(45)
Algorithms.
(44)
Computer simulation.
(43)
Simulation and Modeling.
(43)
Information Systems Applications (incl. Internet).
(41)
The Computing Profession.
(34)
Computation by Abstract Devices.
(33)
Computer Systems Organization and Communication Networks.
(33)
Computer system performance.
(33)
Management of Computing and Information Systems.
(33)
Operating Systems.
(32)
Operating systems (Computers).
(32)
Special Purpose and Application-Based Systems.
(32)
Artificial Intelligence (incl. Robotics).
(31)
Computer communication systems.
(31)
Computer network architectures.
(31)
Computer software.
(29)
Management information systems.
(29)
Theory of Computation.
(29)
Computer industry.
(25)
Computer system failures.
(22)
Computer System Implementation.
(21)
Computer security.
(20)
Systems and Data Security.
(20)
Information theory.
(17)
Special purpose computers.
(16)
Application software.
(15)
Computer organization.
(14)
Discrete Mathematics in Computer Science.
(10)
Processor Architectures.
(10)
Architecture, Computer.
(9)
Data Mining and Knowledge Discovery.
(9)
Data mining.
(9)
Computer Applications.
(8)
Computer hardware.
(8)
Database management.
(8)
Numeric Computing.
(8)
Probability and Statistics in Computer Science.
(8)
Computer Appl. in Administrative Data Processing.
(7)
Computer science -- Mathematics.
(7)
Data Structures.
(7)
Information Systems and Communication Service.
(7)
Microprocessors.
(7)
Models and Principles.
(7)
User Interfaces and Human Computer Interaction.
(7)
Control Structures and Microprogramming.
(6)
Information Systems.
(5)
Information systems.
(5)
Mathematical statistics.
(5)
Pattern recognition.
(5)
Software Engineering/Programming and Operating Systems.
(5)
Coding and Information Theory.
(4)
Coding theory.
(4)
Computer graphics.
(4)
Computer science—Mathematics.
(4)
Data structures (Computer scienc.
(4)
Electronic data processing.
(4)
Engineering mathematics.
(4)
Java (Computer program language).
(4)
Java.
(4)
Logic in AI.
(4)
Math Applications in Computer Science.
(4)
Numerical analysis.
(4)
Appl.Mathematics/Computational Methods of Engineering.
(3)
Applied mathematics.
(3)
Arithmetic and Logic Structures.
(3)
Computational complexity.
(3)
Computing Milieux.
(3)
Cryptology.
(3)
Data encryption (Computer science).
(3)
Data structures (Computer science).
(3)
Input/Output and Data Communications.
(3)
Mathematical Logic and Foundations.
(3)
Microprogramming.
(3)
Microprogramming .
(3)
Natural Language Processing (NLP).
(3)
Natural language processing (Computer science).
(3)
Python (Computer program language).
(3)
Python.
(3)
User interfaces (Computer systems).
(3)
Arithmetic and logic units, Computer.
(2)
Communications Engineering, Networks.
(2)
Computational intelligence.
(2)
Computer Appl. in Social and Behavioral Sciences.
(2)
Computer aided design.
(2)
Computer-Aided Engineering (CAD, CAE) and Design.
(2)
Computers and Education.
(2)
Computers and Society.
(2)
Computers and civilization.
(2)
Data protection.
(2)
Data transmission systems.
(2)
Engineering.
(2)
Information Storage and Retrieval.
(2)
Information storage and retrieval systems.
(2)
Information storage and retrieval.
(2)
Mathematics of Computing.
(2)
Professional Computing.
(2)
Robotics and Automation.
(2)
Security.
(2)
Signal, Image and Speech Processing.
(2)
Algebra -- Data processing.
(1)
Automation.
(1)
Circuits and Systems.
(1)
Computational Intelligence.
(1)
Computational linguistics.
(1)
Computer Appl. in Arts and Humanities.
(1)
Computer Crime.
(1)
Computer Science, general.
(1)
Computer crimes.
(1)
Computer engineering.
(1)
Computer games—Programming.
(1)
Computer software -- Reusability.
(1)
Computing Methodologies.
(1)
Data Storage Representation.
(1)
Document Preparation and Text Processing.
(1)
Education -- Data processing.
(1)
Education.
(1)
Electrical engineering.
(1)
Engineering Economics, Organization, Logistics, Marketing.
(1)
Engineering economy.
(1)
Game Development.
(1)
Image processing.
(1)
Input-output equipment (Computers).
(1)
Knowledge based Systems.
(1)
Knowledge representation (Information theory) .
(1)
Language Translation and Linguistics.
(1)
Law and legislation.
(1)
Legal Aspects of Computing.
(1)
Logic, Symbolic and mathematical.
(1)
Mathematical Software.
(1)
Mathematical and Computational Engineering.
(1)
Mechanics, Applied.
(1)
Mechanics.
(1)
Media Design.
(1)
Memory Structures.
(1)
Memory management (Computer scie.
(1)
Multimedia information systems.
(1)
Multimedia systems.
(1)
Music.
(1)
Performance and Reliability.
(1)
Personal Computing.
(1)
Personal computers.
(1)
Quantum Computing.
(1)
Quantum computers.
(1)
Robotics.
(1)
Signal processing.
(1)
Social sciences -- Data processing.
(1)
Software Management.
(1)
Solid Mechanics.
(1)
Speech processing systems.
(1)
Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.
(1)
Statistics.
(1)
Symbolic and Algebraic Manipulation.
(1)
Systems engineering.
(1)
Telecommunication.
(1)
Text processing (Computer science).
(1)
e-Commerce/e-business.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(437)
Kütüphane
Dahil
Hariç
TEDU library
(437)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Git:
Arama Sonuçları
|
Sayfa Başı
|
Arama Filtreleri