Limit Search Results
Author
SpringerLink (Online service)
(755)
Vorozhtsov, Evgenii V. editor.
(10)
Lipschutz, Seymour.
(9)
Bourbaki, N. author.
(8)
Gerdt, Vladimir P. editor.
(8)
Language
Publication Date
-
Subject
Algebra.
(487)
Mathematics.
(461)
Computer science.
(252)
Algebra -- Data processing.
(218)
Computational complexity.
(119)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1292 Results Found Subscribe to search results
000000000000DEFAULT
Print
589. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520864.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
590. 
Cover image for Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Author 
Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520890.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28083-2
Format: 
Availability 
Online Library~1
Available:
Copies:
591. 
Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520944.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Availability 
Online Library~1
Available:
Copies:
592. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
XX(520973.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42293-5
Format: 
Availability 
Online Library~1
Available:
Copies:
593. 
Cover image for Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Author 
Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521025.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34411-4
Format: 
Availability 
Online Library~1
Available:
Copies:
594. 
Cover image for Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings
Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings
Author 
Iida, Fumiya. editor. Maiolino, Perla. editor. Abdulali, Arsen. editor. Wang, Mingfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521131.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43360-3
Format: 
Availability 
Online Library~1
Available:
Copies:
595. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521139.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
596. 
Cover image for Cebire giriş
Cebire giriş
Author 
Çevik, Ahmet Sinan
Preferred Shelf Number 
QA162 C485 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
597. 
Cover image for Lineer cebir : Teori ve Octave uygulamaları
Lineer cebir : Teori ve Octave uygulamaları
Author 
Gülmezoğlu, Mehmet Bilginer.
Preferred Shelf Number 
QA184.5 G85 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
598. 
Cover image for İşletme matematiği
İşletme matematiği
Author 
Önalan, Ömer.
Preferred Shelf Number 
HF5693.T8 O53 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
599. 
Cover image for Çözümlü Soyut cebir probremleri : gruplar ve halkalar
Çözümlü Soyut cebir probremleri : gruplar ve halkalar
Author 
Gezer, Betül. Bizim, Osman.
Preferred Shelf Number 
QA162 G494 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
600. 
Cover image for Multiscale Forecasting Models
Multiscale Forecasting Models
Author 
Barba Maggi, Lida Mercedes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94992-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action