Giriş Yapılıyor...
Kullanıcı adı
:
Şifre
:
Kayıt
Forgot your PIN?
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:
To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Daraltılmış:
Included
Konu: Logics and Meanings of Programs.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(24)
Bernardo, Marco. editor.
(3)
Steffen, Bernhard. editor.
(3)
Johnsen, Einar Broch. editor.
(2)
Liu, Zhiming. editor.
(2)
Margaria, Tiziana. editor.
(2)
Abrahão, Silvia. editor.
(1)
Badger, Julia M. editor.
(1)
Barbosa, Simone D.J. editor.
(1)
Berger, Christian. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Damiani, Ferruccio. editor.
(1)
Daneva, Maya. editor.
(1)
Daniel, Florian. editor.
(1)
De Nicola, Rocco. editor.
(1)
Dingel, Juergen. editor.
(1)
Ebert, Achim. editor.
(1)
Fitzgerald, John. editor.
(1)
Heisel, Maritta. editor.
(1)
Hillston, Jane. editor.
(1)
Humayoun, Shah Rukh. editor.
(1)
Hähnle, Reiner. editor.
(1)
Hölzl, Matthias. editor.
(1)
Iida, Shusaku. editor.
(1)
Insfran, Emilio. editor.
(1)
Joosen, Wouter. editor.
(1)
Jureta, Ivan. author.
(1)
Koch, Nora. editor.
(1)
Krivine, Jean. editor.
(1)
Larsen, Peter Gorm. editor.
(1)
Li, Xuandong. editor.
(1)
Lopez, Javier. editor.
(1)
Martinelli, Fabio. editor.
(1)
Mayer, Philip. editor.
(1)
Meseguer, José. editor.
(1)
Meyer, Bertrand. editor.
(1)
Meyer, Roland. editor.
(1)
Mousavi, Mohammad Reza. editor.
(1)
Nordio, Martin. editor.
(1)
Ogata, Kazuhiro. editor.
(1)
Pastor, Oscar. editor.
(1)
Perini, Anna. editor.
(1)
Platzer, André. editor.
(1)
Ramos, Isidro. editor.
(1)
Rozier, Kristin Yvonne. editor.
(1)
Ruscio, Davide Di. editor.
(1)
Schaefer, Ina. editor.
(1)
Schulte, Wolfram. editor.
(1)
Seyff, Norbert. editor.
(1)
Stefani, Jean-Bernard. editor.
(1)
Troubitsyna, Elena. editor.
(1)
Varró, Dániel. editor.
(1)
Verhoef, Marcel. editor.
(1)
Wang, Jianmin. editor.
(1)
Weber, Barbara. editor.
(1)
Wehrheim, Heike. editor.
(1)
Wirsing, Martin. editor.
(1)
Yi, Wang. editor.
(1)
Zhang, Zili. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(24)
Dil
Dahil
Hariç
English
(24)
Basım Yılı
Dahil
Hariç
2013
(1)
2014
(9)
2015
(8)
2016
(6)
Konu
Dahil
Hariç
Software engineering.
(24)
Computer logic.
(23)
Computer science.
(23)
Programming Languages, Compilers, Interpreters.
(15)
Programming languages (Electronic computers).
(15)
Mathematical Logic and Formal Languages.
(10)
Mathematical logic.
(10)
Artificial Intelligence (incl. Robotics).
(8)
Artificial intelligence.
(8)
Management information systems.
(8)
Management of Computing and Information Systems.
(8)
Computer simulation.
(5)
Information Systems Applications (incl. Internet).
(5)
Simulation and Modeling.
(5)
Computer programming.
(4)
Computers.
(4)
Programming Techniques.
(4)
Computation by Abstract Devices.
(3)
Algorithm Analysis and Problem Complexity.
(2)
Algorithms.
(2)
Computer Communication Networks.
(2)
Computer communication systems.
(2)
Logic design.
(2)
Mathematical statistics.
(2)
Probability and Statistics in Computer Science.
(2)
Special Purpose and Application-Based Systems.
(2)
Special purpose computers.
(2)
Business Information Systems.
(1)
Circuits and Systems.
(1)
Computer Appl. in Administrative Data Processing.
(1)
Computer engineering.
(1)
Computer security.
(1)
Computer system failures.
(1)
Data Encryption.
(1)
Data encryption (Computer science).
(1)
Economics.
(1)
Economics/Management Science.
(1)
Electronic circuits.
(1)
Information storage and retrieval.
(1)
Information systems.
(1)
Mathematical Logic and Foundations.
(1)
Operating Systems.
(1)
Operating systems (Computers).
(1)
Quantum Computing.
(1)
Quantum computers.
(1)
Software Engineering/Programming and Operating Systems.
(1)
System Performance and Evaluation.
(1)
Systems and Data Security.
(1)
Theory of Computation.
(1)
User Interfaces and Human Computer Interaction.
(1)
User interfaces (Computer systems).
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(24)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(24)
Kütüphane
Dahil
Hariç
TEDU library
(24)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
No results found