Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Search Limit
Tümü
E-Kitap
Dergiler
Beytepe Kütüphanesi
Sağlık Bilimleri Kütüphanesi
Konservatuvar Kütüphanesi
Hukuk Kütüphanesi
Sosyal Bilimler Meslek Yüksek Okulu
DVD Koleksiyonu
Prof.Dr. Onur Bilge Kula Koleksiyonu
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
ISSN
12
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Daraltılmış:
+
Konu: Software engineering.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(107)
Silhavy, Petr. editor.
(8)
Silhavy, Radek. editor.
(8)
Ao, Sio-Iong. editor.
(4)
O'Regan, Gerard. author.
(4)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Noll, Thomas. editor. (orcid)0000-0002-1865-1798
(3)
Quatmann, Tim. editor. (orcid)0000-0002-2843-5511
(3)
Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165
(3)
Volk, Matthias. editor. (orcid)0000-0002-3810-4185
(3)
Castillo, Oscar. editor.
(2)
Huang, Xu. editor.
(2)
Kim, Haeng Kon. editor.
(2)
Mahmood, Zaigham. editor.
(2)
Rumpe, Bernhard. author.
(2)
Yang, Gi-Chul. editor.
(2)
Abraham, Ajith. author. (orcid)0000-0002-0169-6738
(1)
Ahrendt, Wolfgang. editor.
(1)
Alebrahim, Azadeh. author.
(1)
Alkhalaf, Muath. author.
(1)
Amouzegar, Mahyar A. editor.
(1)
Auger, François.
(1)
Avila-George, Himer. editor. (orcid)0000-0001-8578-0170
(1)
Aydin, Abdulbaki. author.
(1)
Balakrishnan, Arunkumar. editor.
(1)
Barukh, Moshe Chai. author.
(1)
Batista, Thaís. author.
(1)
Baumann, Christoph. author.
(1)
Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
(1)
Benatallah, Boualem. author.
(1)
Benduhn, Fabian. author.
(1)
Bermbach, David. author.
(1)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(1)
Brandt, Steven R. author.
(1)
Brooks, David R. author.
(1)
Bruni, Roberto. author.
(1)
Bubel, Richard. editor.
(1)
Buhr, Peter A. author.
(1)
Bultan, Tevfik. author.
(1)
Burbaitė, Renata. author.
(1)
Börger, Egon. author.
(1)
Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172
(1)
Deng, Lizhen. author.
(1)
Desprez, Frédéric. editor.
(1)
Dick, Jeremy. author.
(1)
Diehl, Patrick. author.
(1)
Dustdar, Schahram. author.
(1)
Dutot, Pierre-François. editor.
(1)
Elgedawy, Islam. author. (orcid)0000-0002-9884-1590
(1)
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764
(1)
Fairley, R. E. (Richard E.), 1937- author.
(1)
Ferragina, Paolo. author.
(1)
Ferrari, Alessio. editor. (orcid)0000-0002-0636-5663
(1)
Fettke, Peter. author.
(1)
Filipovic, Nenad. editor. (orcid)0000-0001-9964-5615
(1)
Filipović, Nenad. editor. (orcid)0000-0001-9964-5615
(1)
Fischer, Joachim. author. (orcid)0000-0003-2476-3996
(1)
Fitzgerald, John. editor. (orcid)0000-0001-7041-1807
(1)
Fontoura de Gusmão Cerqueira, Renato. author.
(1)
Foster, Simon. editor. (orcid)0000-0002-9889-9514
(1)
Furht, Borko. author.
(1)
Gelman, Len. editor.
(1)
Gervasi, Vincenzo. author.
(1)
Gheorghe, Adrian V. author.
(1)
Ginde, Gouri. editor. (orcid)0000-0001-7519-3503
(1)
Goldbach, Tobias. author.
(1)
Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742
(1)
Gonzalez Torres, Raul E. author.
(1)
Gorrieri, Roberto. author.
(1)
Gruner, Stefan. editor.
(1)
Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023
(1)
Ha, Soonhoi. editor.
(1)
Herdt, Vladimir. author.
(1)
Hernández Pérez, Yasmin. editor. (orcid)0000-0002-8842-0899
(1)
Hjort Blindell, Gabriel. author.
(1)
Hull, Elizabeth. author.
(1)
Hung, Jason C. editor.
(1)
Hunold, Sascha. editor.
(1)
Hähnle, Reiner. editor.
(1)
Höst, Martin. author.
(1)
Isazadeh, Ayaz. author.
(1)
Izadkhah, Habib. author. (orcid)0000-0001-7595-8350
(1)
Jackson, Ken. author.
(1)
Kaiser, Hartmut. author.
(1)
Kaklamanis, Christos. editor.
(1)
Karagiannis, Dimitris. editor.
(1)
Katina, Polinpapilinho F. author.
(1)
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
(1)
Kephart, Jeffrey O. editor.
(1)
Khan, Arif Ali, editor.
(1)
Khondoker, Rahamatullah. author.
(1)
Klügl, Franziska. editor.
(1)
Knapp, Alexander. editor. (orcid)0000-0002-4050-3249
(1)
Kolesnikov, Andrey. author.
(1)
Kotsialos, Apostolos. editor.
(1)
Kounev, Samuel. author.
(1)
Kounev, Samuel. editor.
(1)
Krogstie, John. author.
(1)
Kuhrmann, Marco. editor.
(1)
Kunze, Matthias. author.
(1)
Lange, Klaus-Dieter. author.
(1)
Langerak, Rom. editor.
(1)
Lankes, Stefan. editor.
(1)
Lankhorst, Marc. author.
(1)
Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500
(1)
Le, Dac-Nhuong, 1983- editor.
(1)
Lee, Edward A. editor. (orcid)0000-0002-5663-0584
(1)
Lee, Roger. editor.
(1)
Leich, Thomas. author.
(1)
Leite, Jair. author.
(1)
Lemos, Angel Lagares. author.
(1)
Li, Kuan-Ching. editor.
(1)
Liebenberg, Janet. editor.
(1)
Lin, Dan. editor. (orcid)0000-0001-7067-2396
(1)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(1)
Luccio, Fabrizio. author.
(1)
Lutsyk, Petro. author.
(1)
Lyu, Michael R. author.
(1)
Ma, Kun. author.
(1)
Mangler, Jürgen. author.
(1)
Marchal, Loris. editor.
(1)
Mariani, Stefano. author.
(1)
Marques Afonso, Luiz. author.
(1)
Matulevičius, Raimundas. author. (orcid)0000-0002-1829-4794
(1)
Maurer, Christian. author.
(1)
Mayr, Heinrich C. editor.
(1)
McCluskey, Thomas Leo. editor.
(1)
Meinicke, Jens. author.
(1)
Meisen, Philipp. author.
(1)
Mejia Alvarez, Pedro. author.
(1)
Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318
(1)
Menzies, Tim. editor.
(1)
Milenkoski, Aleksandar. editor.
(1)
Mohanty, Hrushikesha. editor.
(1)
Mohanty, J. R. editor.
(1)
Molitorisz, Korbinian. editor.
(1)
Montanari, Ugo. author.
(1)
Morazán, Marco T. author.
(1)
Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
(1)
Muñoz, Mirna. editor.
(1)
Mylopoulos, John. editor. (orcid)0000-0002-8698-3292
(1)
Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308
(1)
Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260
(1)
Müller, Jörg P. editor.
(1)
Münch, Jürgen. editor.
(1)
Nafz, Florian. editor. (orcid)0000-0001-5725-4827
(1)
Nagl, Manfred. author.
(1)
Nastić, Stefan. author.
(1)
Natarajan, Aarthi. author.
(1)
Ohlsson, Magnus C. author.
(1)
Oquendo, Flavio. author.
(1)
Ortega Cisneros, Susana. author.
(1)
Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
(1)
Oğuztüzün, Halit. author.
(1)
Paik, Hye-young. author.
(1)
Painer, Sven. author.
(1)
Pan, Yushan. author. (orcid)0000-0002-6877-3937
(1)
Paul, Wolfgang J. author.
(1)
Pedrycz, Witold. editor.
(1)
Petke, Justyna. editor.
(1)
Pires, Luís Ferreira. author.
(1)
Ponsar, Hella. editor. (orcid)0000-0001-6376-9683
(1)
Prinz, Andreas. author. (orcid)0000-0002-0646-2877
(1)
Quartel, Dick A.C. author.
(1)
Ramachandran, Muthu. editor.
(1)
Rana, Omer. editor.
(1)
Rausch, Andreas. editor.
(1)
Regnell, Björn. author.
(1)
Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810
(1)
Rensink, Arend. editor.
(1)
Ricci, Laura. editor.
(1)
Richardson, Ita. editor.
(1)
Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108
(1)
Ritter, Daniel. author. (orcid)0000-0001-6146-3365
(1)
Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187
(1)
Rossi de Mello Brandão, Rafael. author.
(1)
Roubtsova, Ella. author.
(1)
Runeson, Per. author.
(1)
Saake, Gunter. author.
(1)
Sajja, Priti Srinivas. author.
(1)
Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X
(1)
Scarano, Vittorio. editor.
(1)
Schellhorn, Gerhard. editor. (orcid)0000-0001-6712-7178
(1)
Schiendorfer, Alexander. editor. (orcid)0000-0002-5283-5304
(1)
Schmaltz, Sabine. author.
(1)
Schmitt, Peter H. editor.
(1)
Schröter, Reimar. author.
(1)
Schumann, René. editor.
(1)
Scott, Stephen L. editor.
(1)
Serazzi, Giuseppe. author.
(1)
Sieckenius de Souza, Clarisse. author.
(1)
Sillitti, Alberto. editor.
(1)
Silvis-Cividjian, Natalia. author.
(1)
Soares Jansen Ferreira, Juliana. author.
(1)
Staron, Miroslaw. author.
(1)
Succi, Giancarlo. editor.
(1)
Sun, Runyuan. author.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(110)
Yayın Yılı
Dahil
Hariç
-
2017
(36)
2016
(30)
2025
(21)
2024
(20)
2014
(1)
2019
(1)
2022
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
Computer networks .
(20)
Computer science.
(20)
Application software.
(18)
Computer and Information Systems Applications.
(18)
Computational intelligence.
(17)
Computer Communication Networks.
(16)
Software Management.
(15)
Software engineering -- Management.
(15)
Artificial intelligence.
(13)
Computer Science Logic and Foundations of Programming.
(9)
Information technology -- Management.
(9)
Compilers (Computer programs).
(8)
Compilers and Interpreters.
(8)
Computers.
(8)
Theory of Computation.
(8)
Business information services.
(7)
Computer Modelling.
(7)
Computer simulation.
(7)
Electronic data processing -- Management.
(7)
Formal Languages and Automata Theory.
(7)
IT Operations.
(7)
Machine theory.
(7)
Programming Language.
(7)
Programming languages (Electronic computers).
(7)
Business Process Management.
(6)
Computer programming.
(6)
Electronic digital computers -- Evaluation.
(6)
Models of Computation.
(6)
Programming Techniques.
(6)
System Performance and Evaluation.
(6)
Algorithms.
(5)
Computer Engineering and Networks.
(5)
Computer engineering.
(5)
Computer science -- Mathematics.
(5)
Computer vision.
(5)
Engineering -- Data processing.
(5)
IT in Business.
(4)
Robotics.
(4)
Communications Engineering, Networks.
(3)
Computer Application in Administrative Data Processing.
(3)
Control Structures and Microprogramming.
(3)
Data Engineering.
(3)
Data Structures and Information Theory.
(3)
Data and Information Security.
(3)
Data protection.
(3)
Data structures (Computer science).
(3)
Database management.
(3)
Hardware Performance and Reliability.
(3)
Human-computer interaction.
(3)
Industrial and Production Engineering.
(3)
Industrial engineering.
(3)
Information theory.
(3)
Mathematical Modeling and Industrial Mathematics.
(3)
Mathematical models.
(3)
Microprogramming .
(3)
Production engineering.
(3)
Professions.
(3)
Telecommunication.
(3)
The Computing Profession.
(3)
User Interfaces and Human Computer Interaction.
(3)
User interfaces (Computer systems).
(3)
Automation.
(2)
Computer Hardware.
(2)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(2)
Computers and Education.
(2)
Control engineering.
(2)
Control, Robotics, Automation.
(2)
Data Mining and Knowledge Discovery.
(2)
Data mining.
(2)
Education -- Data processing.
(2)
Electronic Circuits and Systems.
(2)
Electronic books.
(2)
Electronic circuits.
(2)
Electronics.
(2)
Engineering mathematics.
(2)
Enterprise Architecture.
(2)
Génie logiciel.
(2)
Image processing -- Digital techniques.
(2)
Mathematical Applications in Computer Science.
(2)
Mathematical and Computational Engineering Applications.
(2)
Mathematics of Computing.
(2)
Security Science and Technology.
(2)
Security systems.
(2)
Software engineering
(2)
Automated Pattern Recognition.
(1)
Automotive engineering.
(1)
Blockchain.
(1)
Blockchains (Databases).
(1)
Business IT Infrastructure.
(1)
Business Information Systems.
(1)
Business ethics.
(1)
COMPUTERS -- Software Development & Engineering -- General.
(1)
COMPUTERS.
(1)
Chemical Safety.
(1)
Chemicals -- Safety measures.
(1)
Client/server computing -- Equipment and supplies.
(1)
Computational Science and Engineering.
(1)
Computer Application in Social and Behavioral Sciences.
(1)
Computer Networks.
(1)
Computer System Implementation.
(1)
Computer architecture.
(1)
Computer graphics.
(1)
Computer software -- Development
(1)
Computer software -- Development.
(1)
Computer software.
(1)
Computer systems.
(1)
Computers -- Law and legislation.
(1)
Computers and Society.
(1)
Computers and civilization.
(1)
Computers, Special purpose.
(1)
Cooperating objects (Computer systems).
(1)
Cyber-Physical Systems.
(1)
Design and Analysis of Algorithms.
(1)
Electrical and Electronic Engineering.
(1)
Electrical engineering.
(1)
Electronic commerce.
(1)
Electronics and Microelectronics, Instrumentation.
(1)
Environmental Physics.
(1)
Environmental sciences.
(1)
Ethics of Technology.
(1)
Geographic information systems.
(1)
Geographical Information System.
(1)
Industrial organization.
(1)
Information Storage and Retrieval.
(1)
Information storage and retrieval systems.
(1)
Information technology -- Law and legislation.
(1)
Ingénierie des systèmes.
(1)
Legal Aspects of Computing.
(1)
Logic design.
(1)
Mathematical Logic and Foundations.
(1)
Mathematical Software.
(1)
Mathematical logic.
(1)
Mathematical physics.
(1)
Mathematics -- Data processing.
(1)
Microprocessors.
(1)
Natural Language Processing (NLP).
(1)
Natural language processing (Computer science).
(1)
Networking.
(1)
Operating Systems.
(1)
Operating systems (Computers).
(1)
Pattern recognition systems.
(1)
Physics.
(1)
Processor Architectures.
(1)
Project management.
(1)
Python (Computer program language).
(1)
Python.
(1)
Robotic Engineering.
(1)
Servers.
(1)
Signal processing.
(1)
Social sciences -- Data processing.
(1)
Sociological Methods.
(1)
Sociology -- Methodology.
(1)
Special Purpose and Application-Based Systems.
(1)
Symbolic and Algebraic Manipulation.
(1)
Systems engineering
(1)
Systems engineering.
(1)
TECHNOLOGY & ENGINEERING.
(1)
Technology -- Moral and ethical aspects.
(1)
Theoretical, Mathematical and Computational Physics.
(1)
Traffic engineering.
(1)
Transportation Technology and Traffic Engineering.
(1)
Transportation engineering.
(1)
e-Commerce and e-Business.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Shelf Location
Dahil
Hariç
1:SPRINGER
Elektronik Kütüphane
Wiley E-Kitap Koleksiyonu
Kütüphane
Dahil
Hariç
Çevrimiçi Kütüphane
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
110 sonuç bulundu
1
..
6
7
8
9
10
Sıralama:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
00
DEFAULT_TR
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.
1.
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Yazar
Herdt, Vladimir. author. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
https://doi.org/10.1007/978-3-658-12680-3
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2.
Signal processing with free software practical experiments
Signal processing with free software practical experiments
Yazar
Auger, François.
Yer Numarası
ONLINE(341600.1)
Elektronik Erişim
Ebook Library
http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657
John Wiley
http://onlinelibrary.wiley.com/book/10.1002/9781118579619
John Wiley
http://dx.doi.org/10.1002/9781118579619
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
6
7
8
9
10