License single eBooks

Your results

View Cart

Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Susanne Graf; Laurent Mounier

978-3-540-24732-6

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Grundlagen der soziologischen Theorie

Band 3: Sinnverstehen und Intersubjektivität - Hermeneutik, funktionale Analyse, Konversationsanalyse und Systemtheorie

Wolfgang Ludwig Schneider

978-3-531-91220-2

2009
Edition 2
- Theorie zum Lernen und Nachschlagen
€328
Maschinenelemente

Band 3: Schraubrad-, Kegelrad-, Schnecken-, Ketten-, Riemen-, Reibradgetriebe, Kupplungen, Bremsen, Freiläufe

Gustav Niemann; Burkhard Neumann; Hans Winter

978-3-642-17468-1

1983
Edition 2
- Das Standardwerk f? Maschinenelemente
- Referenz bei schadensrechtlichen Gutachten
- Besonders detailliert und praxisorientiert
€814
Web Information Systems Engineering - WISE 2008

9th International Conference, Auckland, New Zealand, September 1-3, 2008, Proceedings

James Bailey; David Maier; Klaus-Dieter Schewe; Bernhard Thalheim; X. Sean Wang

978-3-540-85481-4

2008
Edition 1
€100
Mesons and Light Nuclei ’95

Proceedings of the 6th International Conference, Stráž pod Ralskem, July 3–7, 1995

J. Adam; J. Dobes; R. Mach; M. Sotona; J. Dolejsi

978-3-7091-9453-9

1996
Edition 1
€180
Adaptive Mesh Refinement - Theory and Applications

Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3-5, 2003

Tomasz Plewa; Timur Linde; V. Gregory Weirs

978-3-540-27039-3

2005
Edition 1
€419
Versuche über die Widerstandsfähigkeit von Kesselwandungen

Heft 3. Untersuchungen über die Formänderungen und die Anstrengung flacher Böden

C. BACH

978-3-662-32624-4

1897
Edition 1
€187
Natural and Man-Made Hazards

Proceedings of the International Symposium held at Rimouski, Quebec, Canada, 3–9 August, 1986

Mohammed I. El-Sabh; Tad S. Murty

978-94-009-1433-9

1988
Edition 1
€280
Object-Oriented Technology.ECOOP 2006 Workshop Reader

ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

Mario Südholt; Charles Consel

978-3-540-71774-4

2007
Edition 1
€100
Advanced Information Systems Engineering Workshops

CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings

Henderik A. Proper; Janis Stirna

978-3-030-20948-3

2019
Edition 1
€100
Smart Computing Paradigms: Sustainable Computing

Proceedings of Sixth International Conference on Smart Computing and Informatics (SCI 2024), Volume 3

Vikrant Bhateja; Aimé Lay-Ekuakille; Suresh Limkar; V. V. S. S. S Chakravarthy

978-981-96-3939-7

2025
Edition 1
- Presents research works in the field of smart computing and informatics
- Provides original works presented at SCI 2024 held in Visakhapatnam, India
- Serves as a reference for researchers and practitioners in academia and industry
€499
Networks, Markets & People

Communities, Institutions and Enterprises Towards Post-humanism Epistemologies and AI Challenges, Volume 3

Francesco Calabrò; Livia Madureira; Francesco Carlo Morabito; María José Piñeira Mantiñán

978-3-031-74672-7

2024
Edition 1
- Provides an in-depth understanding of the technological regime knowledge domain over the urban/rural implications
- Shows theoretical and practical comprehension of resilience and transition and their metrics by data analytics tools
- Presents the outcomes of the symposium “Networks, Markets & People'
€440
Advances in Positioning and Reference Frames

IAG Scientific Assembly Rio de Janeiro, Brazil, September 3–9, 1997

Fritz K. Brunner

978-3-662-03714-0

1998
Edition 1
- Most recent advances in positioning
- Papers from members of the geodetic association
€400
Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection

International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings

Javier Bajo; María José Escalona; Sylvain Giroux; Patrycja Hoffa-Dąbrowska; Vicente Julián; Paulo Novais; Nayat Sánchez-Pi; Rainer Unland; Ricardo Azambuja-Silveira

978-3-319-39387-2

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
The Unified Modeling Language. <<UML>>'98: Beyond the Notation

First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers

Jean Bezivin; Pierre-Alain Muller

978-3-540-48480-6

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Operational Research

IO 2013 - XVI Congress of APDIO, Bragança, Portugal, June 3-5, 2013

João Paulo Almeida; José Fernando Oliveira; Alberto Adrego Pinto

978-3-319-20328-7

2015
Edition 1
€180
Comparative Physiology of the Heart: Current Trends

Proceedings of a Symposium held at Hanover, New Hampshire (USA) on 2 to 3 September 1968

Ernst M. Jucker; M. Martin-Smith

978-3-0348-6800-6

1969
Edition 1
€100
Die Verwaltungspraxis des Bundeskartellamtes

Zu den Höherstufigen Rationalisierungskartellen nach § 5 Absatz 2 und 3 GWB

Klaus Seemann

978-3-663-02266-4

1961
Edition 1
€201
Number Theory

Proceedings of the Third Matscience Conference Held at Mysore, India, June 3-6, 1981

K. Alladi

978-3-540-39279-8

1982
Edition 1
€50
Computer Performance Evaluation Modelling Techniques and Tools

9th International Conference, St. Malo, France, June 3-6, 1997 Proceedings

Raymond Marie; Brigitte Plateau; Maria Calzarossa; Gerardo Rubino

978-3-540-69131-0

1997
Edition 1
€100
Fachübergreifende Aspekte der Hämostaseologie II

4. Heidelberger Symposium über Hämostase in der Anästhesie, 3.–4. Mai 1996

Eike Martin; Peter Nawroth

978-3-642-60626-7

1997
Edition 1
€201
CONCUR 2004 -- Concurrency Theory

15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings

Philippa Gardner; Nobuko Yoshida

978-3-540-28644-8

2004
Edition 1
€100
Parallele Datenverarbeitung mit dem Transputer

3. Transputer-Anwender-Treffen TAT ’91, Aachen, 17.–18. September 1991

Reinhard Grebe; Martin Baumann

978-3-642-77447-8

1992
Edition 1
€201
Processing Declarative Knowledge

International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991. Proceedings

Harold Boley; Michael M. Richter

978-3-540-46667-3

1991
Edition 1
€100
Kommunikation in verteilten Systemen

Workshop der Gesellschaft für Informatik e.V., 3.–4. Dezember 1979, Berlin

S. Schindler; J. C. W. Schröder

978-3-642-67553-9

1979
Edition 1
€201
AI 2003: Advances in Artificial Intelligence

16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings

Tamas D. Gedeon; Lance C.C. Fung

978-3-540-24581-0

2003
Edition 1
€180
Advances in Mechanical Transmission: Innovations and Applications

Selected Contributions from 2025 International Conference on Mechanical Transmission (ICMT 2025), Volume 3

Shuxin Wang; Datong Qin; Fei Liu

978-981-95-3654-2

2026
Edition 1
- Highlights the latest advancements in mechanical transmission technologies
- Features contributions from leading researchers and professionals in the field
- Covers a wide range of industries, including automotive, aerospace, marine, robotics, and renewable energy
€559
Intelligence and Security Informatics

Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings

G. Alan Wang; Xiaolong Zheng; Michael Chau; Hsinchun Chen

978-3-642-39693-9

2013
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€90
Bilanzierung latenter Steuern bei Unternehmenszusammenschlüssen

Latente Steuern in der Erwerbsbilanzierung nach IFRS 3 und ED IAS 12

Meike Linzbach; Prof. Dr. Norbert Herzig

978-3-8349-9456-1

2009
Edition 1
€265
Computer und Gesellschaft

Roboter und KI als soziale Herausforderung – Grundlagen der Technikethik Band 3

Michael Funk

978-3-658-39020-4

2022
Edition 1
- Zeigt Grundlagen der Ethik im Umgang mit Robotern und Drohnen
- Mit praktischen Beispielen von Kinderzimmer und Pflegeheim bis zu Kriegseinsätzen
- Zeigt die besonderen Herausforderungen der Technikethik
€141
Software Engineering Education

SEI Conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990. Proceedings

Lionel E. Deimel

978-0-387-34802-5

1990
Edition 1
€100
Differential Equations and Mathematical Physics

Proceedings of an International Conference held in Birmingham, Alabama, USA, March 3-8, 1986

Ian W. Knowles; Yoshimi Saito

978-3-540-47983-3

1987
Edition 1
€88
Infrastructure Security

International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002 Proceedings

George Davida; Yair Frankel; Owen Rees

978-3-540-45831-9

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Praktikum Elektrische Meßtechnik

für Elektrotechniker, Technische Physiker und Maschinenbauer im 3. und 4. Semester

Gerhard Frühauf

978-3-663-02012-7

1970
Edition 1
€294
Sprachen für Datenbanken

Fachgespräch auf der 13. GI-Jahrestagung Hamburg, 3. – 7. Oktober, 1983

J.W. Schmidt

978-3-642-69297-0

1983
Edition 1
€201
Unconventional Computation

4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings

Cristian S. Calude; Michael J. Dinneen; Gheorghe Paun; Mario de Jesus Pérez-Jiménez; Grzegorz Rozenberg

978-3-540-32022-7

2005
Edition 1
€100
IUTAM Symposium on Turbulent Mixing and Combustion

Proceedings of the IUTAM Symposium held in Kingston, Ontario, Canada, 3–6 June 2001

Andrew Pollard; Sebastien Candel

978-94-017-1998-8

2002
Edition 1
€400
Cool Stars with Excesses of Heavy Elements

Proceedings of the Strasbourg Observatory Colloquium Held at Strasbourg, France, July 3–6, 1984

C. Jaschek; P.C. Keenan

978-94-009-5325-3

1985
Edition 1
€280
95. Kongreß der Deutschen Gesellschaft für Chirurgie, München, 3. bis 6. Mai 1978

F. Linder; H. Junghanns; H.-D. Röher; U. Mittmann

978-3-642-66906-4

1978
Edition 1
€201
International Conference on Civil Engineering Innovative Development in Engineering Advances (ICC IDEA - 2025) Volume 3

Next-Generation Composite Structures, Transportation, Structural Health Monitoring, and Disaster Resilience

Md. Abdul Mannan; Hemant S.Chore; R. Sathyanathan; S. Durgadevagi

978-981-95-2014-5

2026
Edition 1
- Highlights the latest advancements in composite materials for transportation systems and modern infrastructure
- Discusses innovative techniques in structural health monitoring and disaster resilience, with real-time assessment tools
- Addresses strategies for using advanced materials to mitigate natural hazards in civil engineering projects
€559
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Volume 1: Invited Lectures

Bruno Buchberger

978-3-540-39684-0

1985
Edition 1
€100
XXIX Brazilian Congress on Biomedical Engineering - Volume 3: Biomedical Informatics, and Biomedical Signal and Image Processing

Proceedings of CBEB 2024, September 2-6, 2024, Ribeirão Preto-SP, Brazil

Alcimar Barbosa Soares; Renata Ferranti Leoni; George Cunha Cardoso

978-3-031-94934-0

2025
Edition 1
- Covers applications of bioinformatics in epidemiology and early diagnosis
- Reports on machine learning methods applied to biomedical medical signal processing and data analysis
- Third volume of a 3-volume set
€479
Marine Isotope Stage 3 in Southern South America, 60 KA B.P.-30 KA B.P.

Germán Mariano Gasparini; Jorge Rabassa; Cecilia Deschamps; Eduardo Pedro Tonni

978-3-319-40000-6

2016
Edition 1
- Presents the latest findings from the Symposium on MIS 3, hosted by the University of La Plata and the CONICET Center
- Details the latest understanding of MIS 3 in South American with particular case studies and data from Brazil, Argentina and Uruguay
- A key resource for those interested in climatic variability and paleoenvironments
- Includes supplementary material: sn.pub/extras
€180
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Volume 2: Research Contributions

Bob F. Caviness

978-3-540-39685-7

1985
Edition 1
€180
5 T High Temperature Superconductor 3 Pole Wavelength Shifter Magnet for Accelerator-based Light Sources

Jeonghwan Park

978-981-96-8679-7

2025
Edition 1
- Nominated as an outstanding Ph.D. thesis by the Seoul National University
- Develops the world’s first 5 T conduction-cooled MI HTS WLS magnet, eliminating the need for liquid helium cooling
- Shares detailed information on manufacturing of the magnet and associate test results
€340
Die konstant gedrallten Strahlflächen mit einer kubischen Zentraltorse von der konstanten Böschung √3

Klaus Meirer

978-3-662-26180-4

1971
Edition 1
€187
Anlage zum Austenitformhärten von unlegiertem Stahldraht

Planung, Entwurf und Bau einer kontinuierlich arbeitenden Anlage zum Austenitformhärten von Draht und Schmalband aus unlegiertern und niedrig legiertem Stahl. Änderung der mechanischen Eigenschaften durch thermo-mechanische Behandlung am Beispiel eines unlegierten Stahles mit 0, 62 % C.

Max Vater

978-3-322-88297-4

1975
Edition 1
€181
Networked Systems

8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings

Chryssis Georgiou; Rupak Majumdar

978-3-030-67087-0

2021
Edition 1
€100
Computational Intelligence and Network Security

Second International Conference, ICCINS 2025, Raipur, India, April 3–4, 2025, Proceedings

Preeti Chandrakar; K. Jairam Naik; Zahid Akhtar; Chien Ming Chen; Karnati Mohan

978-3-032-09572-5

2026
Edition 1
€180
Information Security and Cryptology - ICISC 2010

13th International Conference, Seoul, Korea, December 1-3, 2010, Revised Selected Papers

Kyung-Hyune Rhee; DaeHun Nyang

978-3-642-24209-0

2011
Edition 1
- Up-to-date report
- Fast track conference proceedings
- State-of-the-art report
€100

Help library users learn, on good terms

License single eBooks to give your patrons unlimited Springer Nature Link access to the eBooks they need, with clear and generous terms for the library.